-
2
-
-
33749281656
-
Aristotle's natural deduction system
-
J. Corcoran (ed.) Dordrecht: Reidel, 85-131
-
Corcoran, J. (1974) Aristotle's natural deduction system. In J. Corcoran (ed.), Ancient Logic and its Modern Interpretations (pp. 85-131). Dordrecht: Reidel, 85-131.
-
(1974)
Ancient Logic and its Modern Interpretations
, pp. 85-131
-
-
Corcoran, J.1
-
3
-
-
0000495135
-
Die Vollständigkeit der Axiome des logischen Funktionenkalkuls
-
translated as "The completeness of the axioms of the functional calculus of logic," in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge, MA: Harvard University Press, 1967, 582-91
-
Gödel, K. (1930) Die Vollständigkeit der Axiome des logischen Funktionenkalkuls. Montatshefte für Mathematik und Physik, 37, 349-60; translated as "The completeness of the axioms of the functional calculus of logic," in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge, MA: Harvard University Press, 1967, 582-91.
-
(1930)
Montatshefte für Mathematik und Physik
, vol.37
, pp. 349-360
-
-
Gödel, K.1
-
5
-
-
0009943356
-
The idea of a logical constant
-
McCarthy, T. (1981) The idea of a logical constant. Journal of Philosophy, 78, 499-523.
-
(1981)
Journal of Philosophy
, vol.78
, pp. 499-523
-
-
McCarthy, T.1
-
6
-
-
0009919997
-
What is a logical constant
-
Peacocke, C. (1976) What is a logical constant? Journal of Philosophy, 78, 221-40.
-
(1976)
Journal of Philosophy
, vol.78
, pp. 221-240
-
-
Peacocke, C.1
-
9
-
-
84947142886
-
What are logical notions
-
John Corcoran
-
Tarski, A. (1986) What are logical notions. In John Corcoran (ed.), History and Philosophy of Logic, 7, 143-54.
-
(1986)
History and Philosophy of Logic
, vol.7
, pp. 143-154
-
-
Tarski, A.1
-
11
-
-
0003782078
-
-
Princeton NJ: Princeton University Press. (An extensive study of logical consequence, arguing that the premises of a logical consequence must be relevant to its conclusion.)
-
Anderson, A. and Belnap, N. (1975) Entailment: The Logic of Relevance and Necessity I. Princeton, NJ: Princeton University Press. (An extensive study of logical consequence, arguing that the premises of a logical consequence must be relevant to its conclusion.)
-
(1975)
Entailment: The Logic of Relevance and Necessity I
-
-
Anderson, A.1
Belnap, N.2
-
13
-
-
4244143302
-
-
trans. R. George. Berkeley, University of California Press, 1972. (A presentation of a substitutional account of consequence, along the lines of (Sub).)
-
Bolzano, B. (1837) Theory of Science, trans. R. George. Berkeley, University of California Press, 1972. (A presentation of a substitutional account of consequence, along the lines of (Sub).)
-
(1837)
Theory of Science
-
-
Bolzano, B.1
-
14
-
-
0040701920
-
Meanings of implication
-
(Presents a lucid account of several different notions of consequence, focusing on the role of formal deductive systems and a relation like (Ded).)
-
Corcoran, J. (1973) Meanings of implication. Dialogos, 25, 59-76. (Presents a lucid account of several different notions of consequence, focusing on the role of formal deductive systems and a relation like (Ded).)
-
(1973)
Dialogos
, vol.25
, pp. 59-76
-
-
Corcoran, J.1
-
15
-
-
0004266443
-
-
Cambridge, MA: Harvard University Press. (A critical study of the influential account in Tarski (1935) and of contemporary modeltheoretic consequence. This book generated many responses, including Sánchez-Miguel (1993), Sher (1996), and Shapiro (1998)
-
Etchemendy, J. (1990) The Concept of Logical Consequence. Cambridge, MA: Harvard University Press. (A critical study of the influential account in Tarski (1935) and of contemporary modeltheoretic consequence. This book generated many responses, including Sánchez-Miguel (1993), Sher (1996), and Shapiro (1998).
-
(1990)
The Concept of Logical Consequence
-
-
Etchemendy, J.1
-
16
-
-
0004242804
-
-
2nd edn., Englewood Cliffs, NJ: Prentice-Hall. (An influential substitutional account, along the lines of (Sub), relating that conception to the formal notions of model-theoretic consequence and deducibility in a standard deductive system.)
-
Quine, W. V. O. (1986) Philosophy of Logic, 2nd edn., Englewood Cliffs, NJ: Prentice-Hall. (An influential substitutional account, along the lines of (Sub), relating that conception to the formal notions of model-theoretic consequence and deducibility in a standard deductive system.)
-
(1986)
Philosophy of Logic
-
-
Quine, W.V.O.1
-
17
-
-
84972535287
-
The grounds of the model-theoretic account of the logical properties
-
(A nice study of the role of modeltheoretic consequence, responding to Etchemendy (1990).)
-
Sánchez-Miguel, M. (1993) The grounds of the model-theoretic account of the logical properties. Notre Dame Journal of Formal Logic, 34, 107-31. (A nice study of the role of modeltheoretic consequence, responding to Etchemendy (1990).)
-
(1993)
Notre Dame Journal of Formal Logic
, vol.34
, pp. 107-131
-
-
Sánchez-Miguel, M.1
-
18
-
-
33746782356
-
Logical consequence: models and modality
-
M. Schirn (ed.) Oxford: Oxford University Press, (A defense of model-theoretic consequence, relating it to the various intuitive notions.)
-
Shapiro, S. (1998) Logical consequence: models and modality. In M. Schirn (ed.), The Philosophy of Mathematics Today. Oxford: Oxford University Press, 131-56. (A defense of model-theoretic consequence, relating it to the various intuitive notions.)
-
(1998)
The Philosophy of Mathematics Today
, pp. 131-156
-
-
Shapiro, S.1
-
19
-
-
0030538669
-
Did Tarski commit "Tarski's fallacy"
-
(A reaction to Etchemendy (1990), relating Tarski's account to the model-theoretic one.)
-
Sher, G. (1996) Did Tarski commit "Tarski's fallacy"? Journal of Symbolic Logic, 61, 653-86. (A reaction to Etchemendy (1990), relating Tarski's account to the model-theoretic one.)
-
(1996)
Journal of Symbolic Logic
, vol.61
, pp. 653-686
-
-
Sher, G.1
-
20
-
-
33746850381
-
On the concept of logical consequence
-
A. Tarski, Oxford: Clarendon Press, 1956; 2nd edn., edited and introduced by John Corcoran (Indianapolis: Hackett, 1983), (A very influential article, developing a notion of consequence evolving from (Sub) but avoiding the tie to the expressive resources of the base language. The notion of satisfaction is introduced. The connection between this Tarskian notion and the contemporary model-theoretic one is a matter of controversy.)
-
Tarski, A. (1935) On the concept of logical consequence. In A. Tarski, Logic, Semantics and Metamathematics. Oxford: Clarendon Press, 1956; 2nd edn., edited and introduced by John Corcoran (Indianapolis: Hackett, 1983), 417-29. (A very influential article, developing a notion of consequence evolving from (Sub) but avoiding the tie to the expressive resources of the base language. The notion of satisfaction is introduced. The connection between this Tarskian notion and the contemporary model-theoretic one is a matter of controversy.)
-
(1935)
Logic, Semantics and Metamathematics
, pp. 417-429
-
-
Tarski, A.1
|