-
4
-
-
0009373432
-
On second-order logic
-
G. BOOLOS, On second-order logic, Journal of Philosophy, vol. 72 (1975), pp. 509-27.
-
(1975)
Journal of Philosophy
, vol.72
, pp. 509-527
-
-
Boolos, G.1
-
5
-
-
0001599661
-
Nominalist platonism
-
_, Nominalist platonism, Philosophical Review, vol. 94 (1985), pp. 327-44.
-
(1985)
Philosophical Review
, vol.94
, pp. 327-344
-
-
-
11
-
-
0004148609
-
-
Northwestern, Evanston, translated by J. L. Austin
-
G. FREGE, The foundations of arithmetic, Northwestern, Evanston, 1884, translated by J. L. Austin, 1986.
-
(1884)
The Foundations of Arithmetic
-
-
Frege, G.1
-
12
-
-
84972535287
-
The grounds for the model-theoretic account of the logical properties
-
M. S.-M. GARCÍA-CARPINTERO, The grounds for the model-theoretic account of the logical properties, Notre Dame Journal of Formal Logic, vol. 34 (1993), pp. 107-31.
-
(1993)
Notre Dame Journal of Formal Logic
, vol.34
, pp. 107-131
-
-
García-Carpintero, M.S.-M.1
-
16
-
-
84879119765
-
Questions, quantifiers and crossing
-
J. HIGGINBOTHAM and R. MAY, Questions, quantifiers and crossing, Linguistic Review, vol. 1 (1981), pp. 41-79.
-
(1981)
Linguistic Review
, vol.1
, pp. 41-79
-
-
Higginbotham, J.1
May, R.2
-
18
-
-
0000121108
-
A semantic characterization of natural language determiners
-
E. L. KEENAN and J. STAVI, A semantic characterization of natural language determiners, Linguistics and Philosophy, vol. 9 (1986), pp. 253-329.
-
(1986)
Linguistics and Philosophy
, vol.9
, pp. 253-329
-
-
Keenan, E.L.1
Stavi, J.2
-
19
-
-
0002136379
-
Logic with the quantifier 'there exist uncountably many'
-
H.J. KEISLER, Logic with the quantifier 'there exist uncountably many', Annals of Mathematical Logic, vol. 1 (1970), pp. 1-93.
-
(1970)
Annals of Mathematical Logic
, vol.1
, pp. 1-93
-
-
Keisler, H.J.1
-
20
-
-
0039777615
-
Informal rigour and completeness proofs
-
(I. Lakatos, editor), North-Holland, Amsterdam
-
G. KREISEL, Informal rigour and completeness proofs, Problems in the philosophy of mathematics (I. Lakatos, editor), North-Holland, Amsterdam, 1969, pp. 138-71.
-
(1969)
Problems in the Philosophy of Mathematics
, pp. 138-171
-
-
Kreisel, G.1
-
22
-
-
0040369854
-
Is there a problem about substitutional quantification?
-
(Evans and McDowell, editors), Oxford
-
_, Is there a problem about substitutional quantification?, Truth and meaning (Evans and McDowell, editors), Oxford, 1976, pp. 325-419.
-
(1976)
Truth and Meaning
, pp. 325-419
-
-
-
24
-
-
84944813706
-
First order predicate logic with generalized quantifiers
-
P. LINDSTROM, First order predicate logic with generalized quantifiers, Theoria, vol. 32 (1966), pp. 186-95.
-
(1966)
Theoria
, vol.32
, pp. 186-195
-
-
Lindstrom, P.1
-
25
-
-
84946452618
-
Interpreting quantification
-
R. B. MARCUS, Interpreting quantification, Inquiry, vol. 5 (1962), pp. 252-9.
-
(1962)
Inquiry
, vol.5
, pp. 252-259
-
-
Marcus, R.B.1
-
26
-
-
0040369853
-
Quantification and ontology
-
_, Quantification and ontology, Noûs, vol. 6 (1972), pp. 240-50.
-
(1972)
Noûs
, vol.6
, pp. 240-250
-
-
-
27
-
-
0039185227
-
Interpreting logical form
-
R. MAY, Interpreting logical form, Linguistics and Philosophy, vol. 12 (1989), pp. 387-435.
-
(1989)
Linguistics and Philosophy
, vol.12
, pp. 387-435
-
-
May, R.1
-
28
-
-
0009943356
-
The idea of a logical constant
-
T. MCCARTHY, The idea of a logical constant, Journal of Philosophy, vol. 78 (1981), pp. 499-523.
-
(1981)
Journal of Philosophy
, vol.78
, pp. 499-523
-
-
McCarthy, T.1
-
30
-
-
0040369850
-
Two problems with Tarski's theory of consequence
-
_, Two problems with Tarski's theory of consequence, Proceedings of The Aristotelian Society, vol. 92 (1992), pp. 273-92.
-
(1992)
Proceedings of the Aristotelian Society
, vol.92
, pp. 273-292
-
-
-
31
-
-
0002400729
-
On a generalization of quantifiers
-
A. MOSTOWSKI, On a generalization of quantifiers, Fundamenta Mathematicae vol. 44 (1957) pp. 12-36.
-
(1957)
Fundamenta Mathematicae
, vol.44
, pp. 12-36
-
-
Mostowski, A.1
-
32
-
-
85033770957
-
A plea for substitutional quantification, 1971
-
Cornell
-
C. PARSONS, A plea for substitutional quantification, 1971, Mathematics in philosophy, Cornell, 1983.
-
(1983)
Mathematics in Philosophy
-
-
Parsons, C.1
-
33
-
-
0039777602
-
The structuralist view of mathematical objects
-
_, The structuralist view of mathematical objects, Synthese, vol. 84 (1990), pp. 303-46.
-
(1990)
Synthese
, vol.84
, pp. 303-346
-
-
-
34
-
-
0009919997
-
What is a logical constant?
-
C. PEACOCKE, What is a logical constant?, Journal of Philosophy, vol. 73 (1976), pp. 221-40.
-
(1976)
Journal of Philosophy
, vol.73
, pp. 221-240
-
-
Peacocke, C.1
-
35
-
-
33751136809
-
Mathematics without foundations, 1967
-
Cambridge
-
H. PUTNAM, Mathematics without foundations, 1967, Mathematics, matter and method: Philosophical papers I, Cambridge, 1975, pp. 43-59.
-
(1975)
Mathematics, Matter and Method: Philosophical Papers I
, pp. 43-59
-
-
Putnam, H.1
-
36
-
-
0039777614
-
Philosophy of logic, 1971
-
Cambridge
-
_, Philosophy of logic, 1971, Mathematics, matter and method: Philosophical papers I, Cambridge, 1975, pp. 323-57.
-
(1975)
Mathematics, Matter and Method: Philosophical Papers I
, pp. 323-357
-
-
-
38
-
-
0039777612
-
Existence and quantification
-
Columbia
-
_, Existence and quantification, Ontological relativity and other essays, Columbia 1969, pp. 91-113.
-
(1969)
Ontological Relativity and Other Essays
, pp. 91-113
-
-
-
39
-
-
0004242804
-
-
Prentice Hall, Englewood Cliffs
-
_, Philosophy of logic, Prentice Hall, Englewood Cliffs, 1970.
-
(1970)
Philosophy of Logic
-
-
-
41
-
-
0009029548
-
Mathematics as a science of patterns: Ontology and reference
-
M. D. RESNIK, Mathematics as a science of patterns: Ontology and reference, Noûs, vol. 15 (1981), pp. 529-50.
-
(1981)
Noûs
, vol.15
, pp. 529-550
-
-
Resnik, M.D.1
-
46
-
-
84931354487
-
A conception of Tarskian logic
-
G. SHER, A conception of Tarskian logic, Pacific Philosophical Quarterly, vol. 70 (1989), pp. 341-69.
-
(1989)
Pacific Philosophical Quarterly
, vol.70
, pp. 341-369
-
-
Sher, G.1
-
48
-
-
0040369843
-
A new solution to the problem of truth
-
_, A new solution to the problem of truth (abstract), Bulletin of Symbolic Logic, vol. 1 (1995), p. 131.
-
(1995)
Bulletin of Symbolic Logic
, vol.1
, pp. 131
-
-
-
50
-
-
0008334825
-
Semantics and logic
-
(S. Lappin, editor), Blackwell, Oxford
-
_, Semantics and logic, Handbook of contemporary semantic theory (S. Lappin, editor), Blackwell, Oxford, 1996, pp. 511-37.
-
(1996)
Handbook of Contemporary Semantic Theory
, pp. 511-537
-
-
-
51
-
-
0039777608
-
Bolzano, Tarski, and the limits of logic
-
P. SIMONS, Bolzano, Tarski, and the limits of logic, Philosophia Naturalis, vol. 24 (1987), pp. 378-405.
-
(1987)
Philosophia Naturalis
, vol.24
, pp. 378-405
-
-
Simons, P.1
-
57
-
-
84947142886
-
What are logical notions?
-
J. Corcoran, editor
-
_, What are logical notions?, 1966, History and philosophy of logic 7 (J. Corcoran, editor), 1986, pp. 143-54.
-
(1966)
History and Philosophy of Logic 7
, pp. 143-154
-
-
-
59
-
-
0039185223
-
Polyadic quantifiers
-
_, Polyadic quantifiers, Linguistics and Philosophy, vol. 12 (1989), pp. 437-64.
-
(1989)
Linguistics and Philosophy
, vol.12
, pp. 437-464
-
-
-
60
-
-
0040369846
-
Model theory before 1945
-
(Henkin et al., editors), AMS
-
R. L. VAUGHT, Model theory before 1945, Proceedings of the Tarski Symposium (Henkin et al., editors), AMS, 1974, pp. 153-72.
-
(1974)
Proceedings of the Tarski Symposium
, pp. 153-172
-
-
Vaught, R.L.1
-
61
-
-
0001886640
-
Quantifiers in formal and natural languages
-
(Gabbay and Guenthner, editors), Reidel, Dordrecht
-
D. WESTERSTÅHL, Quantifiers in formal and natural languages, Handbook of philosophical logic (Gabbay and Guenthner, editors), vol. 4, Reidel, Dordrecht, 1989.
-
(1989)
Handbook of Philosophical Logic
, vol.4
-
-
Westerståhl, D.1
-
62
-
-
0004236558
-
-
Routledge and Paul, translated by Pears and McGuinness
-
L. WITTGENSTEIN, Tractatus logico-philosophicus, Routledge and Paul, 1921, translated by Pears and McGuinness, 1961.
-
(1921)
Tractatus Logico-Philosophicus
-
-
Wittgenstein, L.1
|