Harmony and autonomy in classical logic

Journal of Philosophical Logic

Volumn 29, Issue 2, 2000, Pages 123-154

  Read, Stephen ^a  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

Author keywords

Classical negation; Dummett; Fundamental assumption; Gentzen; Multiple conclusion logic

Indexed keywords

EID: 42149102173     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004787622057     Document Type: Review

References (24)

1. Belnap, N. (1961-62): Tonk, plonk and plink, Analysis 22, 30-34.
2. Boricic, B. (1985): On sequence-conclusion natural deduction systems, J. Philos. Logic 14, 359-377.
3. Carnap, R. (1937): The Logical Syntax of Language, Routledge, London.
4. Church, A. (1956): Introduction to Mathematical Logic, Princeton University Press, Princeton.
5. Dummett, M. (1991): The Logical Basis of Metaphysics, Harvard University Press, Cambridge, Mass.
6. Gentzen, G. (1969): Untersuchungen tiberdas logische Schliessen, in The Collected Papers of Gerhard Gentzen, tr. M. Szabo, North-Holland, Amsterdam.
7. Hacking, I. (1979): What is logic?, J. Philos. 76, 285-319.
8. Isaacson, D. (1992): Some considerations on arithmetical truth and the ω-rule, in M. Detlefsen (ed.), Proof, Logic and Formalization, Routledge, London.
9. Milne, P. (1998): Disjunction and disjunctive syllogism, Canad. J. Philos. 28, 21-32.
10. Nordström, B., Petersson, K. and Smith, J. (1990): Programming in Martin-Löf's Type Theory, Clarendon Press, Oxford.
11. Prawitz, D. (1965): Natural Deduction, Almqvist and Wiksell, Stockholm.
12. Prawitz, D. (1973): Towards a foundation of general proof theory, in P. Suppes et al. (eds), Logic, Methodology and Philosophy of Science, IV, North-Holland, Amsterdam.
13. Prawitz, D. (1977): Meaning and proofs: On the conflict between intuitionistic and classical logic, Theoria 43, 2-40.
14. Prawitz, D. (1994): Review of M. Dummett 'The Logical Basis of Metaphysics', Mind 103, 373-376.
15. Prior, A. (1960-61): The runabout inference ticket, Analysis 21, 38-39.
16. Read, S. (1992): Conditionals are not truth-functional: An argument from Peirce, Analysis 52, 5-12.
17. Read, S. (1994): Formal and material consequence, J. Philos. Logic 23, 247-265.
18. Shapiro, S. (1998): Induction and indefinite extensibility: The Gödel sentence is true, but did someone change the subject?, Mind 107, 597-624.
19. Shoesmith, D. and Smiley, T. (1978): Multiple-Conclusion Logic, Cambridge University Press, Cambridge.
20. Sundholm, G. (1981): Hacking's logic, J. Philos. 78, 160-168.
21. Tarski, A. (1956): Fundamental concepts of the methodology of the deductive sciences, in Logic, Semantics, Metamathematics, ed. and tr. J. Woodger, Clarendon Press, Oxford, pp. 60-109.
22. Troelstra, A. and Schwichtenberg, H. (1996): Basic Proof Theory, Cambridge Univ. Press, Cambridge.
23. Ungar, A. M. (1992): Normalization, Cut-Elimination and the Theory of Proofs, CSLI, Stanford.
24. von Kutschera, F. (1962): Zum Deduktionsbegriff der klassischen Prädikatenlogik erster Stufe, in H. von Max Käsbauer and F. von Kutschera (eds), Logik und Logikkalkül, Alber, Freiburg, pp. 211-236.