-
2
-
-
85048419937
-
On the meaning of expressions
-
English trans. K. Ajdukiewicz, J. Giedymin (ed.), D. Reidel, Dodrecht
-
'On the Meaning of Expressions', J. Giedymin, English trans. K. Ajdukiewicz: 1978, in J. Giedymin (ed.), The Scientific World-Perspective and Other Essays, 1931-1963, D. Reidel, Dodrecht, pp. 1-34.
-
(1978)
The Scientific World-Perspective and Other Essays, 1931-1963
, pp. 1-34
-
-
Giedymin, J.1
-
5
-
-
0003905788
-
-
A. C. Rancurello, D. B. Terrell and L. L. McAllister, English trans. Routledge and Kegan Paul, London
-
A. C. Rancurello, D. B. Terrell and L. L. McAllister, English trans., Psychology from an Empirical Standpoint. Routledge and Kegan Paul, London 1973.
-
(1973)
Psychology from an Empirical Standpoint
-
-
-
7
-
-
0003461807
-
-
English trans., John Benjamins, Amsterdam
-
Theory of Language, D. F. Goodwin, English trans., John Benjamins, Amsterdam (1990).
-
(1990)
Theory of Language
-
-
Goodwin, D.F.1
-
9
-
-
0003465610
-
-
English trans., Routledge and Kegan Paul, London
-
The Logical Syntax of Language, A. Smeaton, English trans., Routledge and Kegan Paul, London (1937).
-
(1937)
The Logical Syntax of Language
-
-
Smeaton, A.1
-
11
-
-
0542359458
-
Foundations of logic and mathematics
-
O. Neurath, R. Carnap and Ch. Morris (eds), The University of Chicago Press, Chicago
-
Carnap, R.: 1939, 'Foundations of Logic and Mathematics', in O. Neurath, R. Carnap and Ch. Morris (eds), The Encyclopedia of the Unity of Science, Vol. 1, No. 3, The University of Chicago Press, Chicago.
-
(1939)
The Encyclopedia of the Unity of Science
, vol.1
, Issue.3
-
-
Carnap, R.1
-
12
-
-
0039985957
-
-
Harvard University Press, Cambridge, MA
-
Carnap, R.: 1942, Introduction to Semantics, Harvard University Press, Cambridge, MA.
-
(1942)
Introduction to Semantics
-
-
Carnap, R.1
-
13
-
-
0009150444
-
Intellectual autobiography
-
P. A. Schilpp (ed.), Open Court, La Salle
-
Carnap, R.: 1963, 'Intellectual Autobiography', in P. A. Schilpp (ed.), The Philosophy of Rudolf Carnap, Open Court, La Salle, pp. 3-84.
-
(1963)
The Philosophy of Rudolf Carnap
, pp. 3-84
-
-
Carnap, R.1
-
15
-
-
52649164571
-
Self-profile
-
R. J. Bogdan (ed.), D. Reidel, Dordrecht
-
Chisholm, R.: 1986, 'Self-Profile', in R. J. Bogdan (ed.), Roderick M. Chisholm, D. Reidel, Dordrecht, pp. 3-77.
-
(1986)
Roderick M. Chisholm
, pp. 3-77
-
-
Chisholm, R.1
-
20
-
-
84925780843
-
Kurt Gödel: Conviction and caution
-
S. G. Shanker (ed.), Croom Helm, London
-
Feferman, S.: 1988, 'Kurt Gödel: Conviction and Caution', in S. G. Shanker (ed.), Gödel's Theorem in Focus, Croom Helm, London, pp. 96-114.
-
(1988)
Gödel's Theorem in Focus
, pp. 96-114
-
-
Feferman, S.1
-
21
-
-
0000495135
-
Über die vollständigkeit des logikkalküls
-
Gödel, K: 1930, 'Über die Vollständigkeit des Logikkalküls', Monatshefte für Mathematik und Physik 37, 349-360.
-
(1930)
Monatshefte für Mathematik und Physik
, vol.37
, pp. 349-360
-
-
Gödel, K.1
-
23
-
-
34347193348
-
Über formal unentscheibare sätze der principia mathematica und vervandter systeme I
-
Gödel, K.: 1931, 'Über formal unentscheibare Sätze der Principia Mathematica und vervandter Systeme I', Monatshefte für Mathematik und Physik 38, 173-198.
-
(1931)
Monatshefte für Mathematik und Physik
, vol.38
, pp. 173-198
-
-
Gödel, K.1
-
25
-
-
0003617288
-
-
S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort (eds), Oxford University Press, Oxford
-
Gödel, K.: 1986, in S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort (eds), Collected Works, Vol. I, Publications 1929-1936, Oxford University Press, Oxford.
-
(1986)
Collected Works, Vol. I, Publications 1929-1936
, vol.1
-
-
Gödel, K.1
-
28
-
-
2342621582
-
On the development of the model-theoretic tradition in logical theory
-
Hintikka, J.: 1988, 'On the Development of the Model-Theoretic Tradition in Logical Theory', Synthese 77, 1-36.
-
(1988)
Synthese
, vol.77
, pp. 1-36
-
-
Hintikka, J.1
-
29
-
-
0009274864
-
-
Ossollineum, Lwów.
-
Kotarbiński, T.: 1929, Elementy teorii poznania, logiki formalnej i metodologii nauk (Elements of Theory of Knowledge, Formal Logic and Methodology of Science), Ossollineum, Lwów.
-
(1929)
Elementy Teorii Poznania, Logiki Formalnej i Metodologii Nauk (Elements of Theory of Knowledge, Formal Logic and Methodology of Science)
-
-
Kotarbiński, T.1
-
31
-
-
0013104636
-
Gödel's excursions into intuitionistic logic
-
P. Weingartner and L. Schmetterer (eds), Bibliopolis, Napoli
-
Kreisel, G.: 1987, 'Gödel's Excursions into Intuitionistic Logic', in P. Weingartner and L. Schmetterer (eds), Gödel Remembered, Bibliopolis, Napoli, pp. 65-186.
-
(1987)
Gödel Remembered
, pp. 65-186
-
-
Kreisel, G.1
-
33
-
-
0004418012
-
Grundzüge eines neues system der grundlagen der mathematik
-
Leśniewski, S.: 1929, 'Grundzüge eines neues System der Grundlagen der Mathematik', Fundamenta Mathematicae 14, 1-81.
-
(1929)
Fundamenta Mathematicae
, vol.14
, pp. 1-81
-
-
Leśniewski, S.1
-
34
-
-
52649111083
-
Fundamentals of a new system of the foundations of mathematics
-
M. P. O'Neill, English trans., S. Leśniewski: in S. J. Surma, J. T. Srzednicki, D. I. Barnett and V. F. Rickey (eds), Kluwer Academic Publishers, Dordrecht
-
'Fundamentals of a New System of the Foundations of Mathematics', M. P. O'Neill, English trans., S. Leśniewski: in S. J. Surma, J. T. Srzednicki, D. I. Barnett and V. F. Rickey (eds), Collected Works, Vol. 2, Kluwer Academic Publishers, Dordrecht (1992), pp. 410-605.
-
(1992)
Collected Works
, vol.2
, pp. 410-605
-
-
-
35
-
-
0000507008
-
Über möglichkeiten im relativkalkül
-
Löwenheim, L.: 1918, 'Über Möglichkeiten im Relativkalkül, Mathematische Annalen 76, 447-470.
-
(1918)
Mathematische Annalen
, vol.76
, pp. 447-470
-
-
Löwenheim, L.1
-
36
-
-
26844504810
-
On possibilities in the calculus of relatives
-
English trans., J. von Heijenoort (ed.), Harvard University Press, Harvard
-
'On Possibilities in the Calculus of Relatives', S. Bauer-Mengelberg, English trans., In J. von Heijenoort (ed.), From Frege to Gödel. A Source Book in Mathematical Logic, Harvard University Press, Harvard (1967), pp. 228-251.
-
(1967)
From Frege to Gödel. A Source Book in Mathematical Logic
, pp. 228-251
-
-
Bauer-Mengelberg, S.1
-
37
-
-
0013688619
-
Foundations of the theory of signs
-
O. Neurath, R. Carnap and Ch. Morris (eds), The University of Chicago Press, Chicago
-
Morris, Ch.: 1938, 'Foundations of the Theory of Signs', in O. Neurath, R. Carnap and Ch. Morris (eds), The Encyclopedia of the Unity of Science, Vol. 1, No. 2, The University of Chicago Press, Chicago.
-
(1938)
The Encyclopedia of the Unity of Science
, vol.1
, Issue.2
-
-
Morris, Ch.1
-
38
-
-
2342468884
-
Undefinability of truth. The problem of priority: Tarski vs Gödel
-
Murawski, R.: 1998, 'Undefinability of Truth. The Problem of Priority: Tarski vs Gödel', History and Philosophy of Logic 19, 153-160.
-
(1998)
History and Philosophy of Logic
, vol.19
, pp. 153-160
-
-
Murawski, R.1
-
42
-
-
85179295280
-
-
R. Creath (ed.), University of California Press, Berkeley
-
Quine, W. V.: 1990, in R. Creath (ed.), Dear Carnap, Dear Van. The Quine-Carnap Correspondence and Related Work, University of California Press, Berkeley.
-
(1990)
Dear Carnap, Dear Van. The Quine-Carnap Correspondence and Related Work
-
-
Quine, W.V.1
-
43
-
-
52649149762
-
-
Benno Schwabe, Basel
-
Ritter, J. and Gründer, K.: 1995, Historisches Wörterbuch der Philosophie, Vol. 9, Benno Schwabe, Basel.
-
(1995)
Historisches Wörterbuch der Philosophie
, vol.9
-
-
Ritter, J.1
Gründer, K.2
-
45
-
-
0004070712
-
Logisch-kombinatorisch untersuchungen über die erfüllberkeit oder beweisberkeit mathematischen sätze nebst einer theoreme über dichte mengen
-
Skolem, Th.: 1920, 'Logisch-kombinatorisch Untersuchungen über die Erfüllberkeit oder Beweisberkeit mathematischen Sätze nebst einer Theoreme über dichte Mengen', Skrifter utgit av Videnskapsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse 4, 1-36.
-
(1920)
Skrifter Utgit av Videnskapsselskapet i Kristiania, I. Matematisk-Naturvidenskabelig Klasse
, vol.4
, pp. 1-36
-
-
Skolem, Th.1
-
46
-
-
2342612583
-
O pojêciu prawdy w odniesieniu do sformalizowanych nauk dedukcyjnych
-
Tarski, A.: 1930-1931, 'O pojêciu prawdy w odniesieniu do sformalizowanych nauk dedukcyjnych', (On the Concept of Truth in Reference to Formalized Deductive Sciences), Ruch Filozoficzny 12, 210-211.
-
(1930)
Ruch Filozoficzny
, vol.12
, pp. 210-211
-
-
Tarski, A.1
-
47
-
-
0009207917
-
Sur les ensembles définissables de nombres réels. I
-
Tarski, A.: 1931, 'Sur les ensembles définissables de nombres réels. I', Fundamenta Mathematicae 17, 210-239.
-
(1931)
Fundamenta Mathematicae
, vol.17
, pp. 210-239
-
-
Tarski, A.1
-
51
-
-
0001380310
-
Der wahrheitsbegriff in den formalisierten sprachen
-
German trans.
-
German trans. 'Der Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica 1, 1935, 261-405.
-
(1935)
Studia Philosophica
, vol.1
, pp. 261-405
-
-
-
55
-
-
2342625457
-
Contribution to the discussion of P. Bernays, Zur Beurteilung der Situation in der beweistheoretischen Forschung, of R. Braihtwaite, The Nature of Theoretical Concepts and the Role of Models in an Advanced Science, and of F. Gonseth, La preuve dans les sciences des réel
-
reprinted in A. Tarski (1986), pp. 711-716
-
Tarski, A.: 1954, 'Contribution to the Discussion of P. Bernays, Zur Beurteilung der Situation in der beweistheoretischen Forschung, of R. Braihtwaite, The Nature of Theoretical Concepts and the Role of Models in an Advanced Science, and of F. Gonseth, La preuve dans les sciences des réel', Revue Internationale des Philosophie 8, 16-20, 49-51, 59; reprinted in A. Tarski (1986), pp. 711-716.
-
(1954)
Revue Internationale des Philosophie
, vol.8
, pp. 16-20
-
-
Tarski, A.1
-
56
-
-
0004213353
-
-
Clarendon Press, Oxford (2nd ed., J. Corcoran(ed.), Hackett, IN)
-
Tarski, A.: 1956, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Clarendon Press, Oxford (2nd ed., J. Corcoran(ed.), Hackett, IN (1984)).
-
(1956)
Logic, Semantics, Metamathematics. Papers from 1923 to 1938
-
-
Tarski, A.1
-
57
-
-
52649117555
-
-
S. R. Givant and R. N. McKenzie (eds), Birkhäser, Basel
-
Tarski, A.: 1986, in S. R. Givant and R. N. McKenzie (eds), Collected Papers, Vol. IV, Birkhäser, Basel.
-
(1986)
Collected Papers
, vol.4
-
-
Tarski, A.1
-
58
-
-
52649172656
-
A letter to Otto Neurath
-
trans.
-
Tarski, A.: 1992, '[A Letter to Otto Neurath]', J. Tarski, trans., Grazer Philosophische Studien 43, 20-22.
-
(1992)
Grazer Philosophische Studien
, vol.43
, pp. 20-22
-
-
Tarski, A.1
Tarski, J.2
-
64
-
-
0004169601
-
-
Cambridge University Press, Cambridge
-
Whitehead, A. N. and Russell, B.: 1910, Principia Mathematica, Vol. I, Cambridge University Press, Cambridge.
-
(1910)
Principia Mathematica
, vol.1
-
-
Whitehead, A.N.1
Russell, B.2
-
65
-
-
0004236558
-
-
C. K. Ogden, trans., Kegan Paul, London
-
Wittgenstein, L.: 1922, Tractatus Logico-Philosophicus, C. K. Ogden, trans., Kegan Paul, London.
-
(1922)
Tractatus Logico-Philosophicus
-
-
Wittgenstein, L.1
-
66
-
-
1542670535
-
Gödel, Tarski and the undefinability of truth
-
published
-
Woleński, J.: 1991, 'Gödel, Tarski and the Undefinability of Truth', Yearbook 1991 of Kurt Gödel Society (published: 1993), pp. 97-108.
-
(1991)
Yearbook 1991 of Kurt Gödel Society
, pp. 97-108
-
-
Woleński, J.1
-
67
-
-
85032218856
-
Semantic revolution - Rudolf Carnap, Kurt GöDel, Alfred Tarski
-
J. Woleński and E. Köhler (eds), Kluwer Academic Publishers, Dordrecht 1998
-
Woleński, J.: 1998, 'Semantic Revolution - Rudolf Carnap, Kurt Gödel, Alfred Tarski', in J. Woleński and E. Köhler (eds), Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empiricism, Kluwer Academic Publishers, Dordrecht 1998, pp. 1-15.
-
(1998)
Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empiricism
, pp. 1-15
-
-
Woleński, J.1
|