Robert L. Martin and Peter W. Woodruff. On representing ‘true-in-L' in L. Philosophia (Ramat-Gan), vol. 5 no. 3 (1975), pp. 213–217. (Reprinted in Language in focus: foundation, methods and systems, Essays in memory of Yehoshua Bar-Hillel, edited by Asa Kasher, Boston studies in the philosophy of science, vol. 43, Synthese library, vol. 89, D. Reidel Publishing Company, Dordrecht and Boston 1976, pp. 113–117.) - Saul Kripke. Outline of a theory of truth. The journal of philosophy, vol. 72 (1975), pp. 690–716. - Anil Gupta. Truth and paradox. Journal of philosophical logic, vol. 11 (1982), pp. 1–60. - Hans G. Herzberger. Notes on naive semantics. Journal of philosophical logic, vol. 11 (1982), pp. 61–102.

1985 ◽  
Vol 50 (4) ◽  
pp. 1068-1071 ◽  
Author(s):  
Geoffrey Hellman
Keyword(s):  
Philosophy Of Science ◽  
Publishing Company ◽  
Reidel Publishing Company ◽  
Philosophical Logic ◽  
Saul Kripke ◽  
Anil Gupta

J. I. Zucker. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 (1978), pp. 517–535. - J. I. Zucker and R. S. Tragesser. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516. - Dag Prawitz. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40. - Dag Prawitz. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 (1977), pp. 2–40. - M. A. E. Dummett. The justification of deduction. Proceedings of the British Academy, vol. 59 (for 1973, pub. 1975), pp. 201–232. - Michael Dummett. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, edited by H. E. Rose and J.C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 5–40. - Ian Hacking. Do-it-yourself semantics for classical sequent calculi, including ramified type theory. Logic, foundations of mathematics, and computahility theory, Part one of the proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in Philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 371–390. - Ian Hacking. What is logic?The journal of philosophy, vol. 76 (1979), pp. 285–319. - Göran Sundholm. Hacking's logic. The journal of philosophy, vol. 78 (1981), pp. 160–168. - Christopher Peacocke. Hacking on logic: two comments. The journal of philosophy, vol. 78 pp. 168–175.

1982 ◽  
Vol 47 (3) ◽  
pp. 689-694 ◽  
Author(s):  
Richard E. Grandy
Keyword(s):  
New York ◽  
Philosophy Of Science ◽  
Intuitionistic Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Reidel Publishing Company ◽  
Philosophical Logic ◽  
Ian Hacking ◽  
Michael Dummett ◽  
Do It Yourself

William L. Harper. A sketch of some recent developments in the theory of conditionals. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 3–38. - Robert C. Stalnaker. A theory of conditionals. A reprint of XLVII 470. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 41–55. - David Lewis. Counterfactuals and comparative possibility. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 57–85. (Reprinted from Journal of philosophical logic, vol. 2 (1973), pp. 418–446; also reprinted in Contemporary research in philosophical logic and linguistic semantics, Proceedings of a conference held at the University of Western Ontario, London, Canada, edited by D. Hockney, W. Harper, and B. Freed, The University of Western Ontario series in philosophy of science, vol. 4, D. Reidel Publishing Company, Dordrecht and Boston 1975, pp. 1–29.) - Robert C. Stalnaker. A defense of conditional excluded middle. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 87–104.

1984 ◽  
Vol 49 (4) ◽  
pp. 1411-1413
Author(s):  
Barry Loewer
Keyword(s):  
Philosophy Of Science ◽  
David Lewis ◽  
Publishing Company ◽  
Reidel Publishing Company ◽  
Philosophical Logic ◽  
Contemporary Research ◽  
Recent Developments ◽  
The University ◽  
Excluded Middle

George Boolos. The iterative conception of set. The journal of philosophy, vol. 68 (1971), pp. 215–231. - Dana Scott. Axiomatizing set theory. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 207–214. - W. N. Reinhardt. Remarks on reflection principles, large cardinals, and elementary embeddings. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 189–205. - W. N. Reinhardt. Set existence principles of Shoenfield, Ackermann, and Powell. Fundament a mathematicae, vol. 84 (1974), pp. 5–34. - Hao Wang. Large sets. Logic, foundations of mathematics, and computahility theory. Part one of the proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 309–333. - Charles Parsons. What is the iterative conception of set?Logic, foundations of mathematics, and computahility theory. Part one of the proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 335–367.

1985 ◽  
Vol 50 (2) ◽  
pp. 544-547 ◽  
Author(s):  
John P. Burgess
Keyword(s):  
Philosophy Of Science ◽  
Set Theory ◽  
American Mathematical Society ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Reidel Publishing Company ◽  
Pure Mathematics ◽  
Iterative Conception ◽  
The University ◽  
Axiomatic Set Theory

Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 167–247. - James W. Garson. Quantification in modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 249–307. - Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 309–353.

1989 ◽  
Vol 54 (4) ◽  
pp. 1472-1477 ◽  
Author(s):  
Steven T. Kuhn
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Correspondence Theory ◽  
Tense Logic ◽  
Publishing Company ◽  
Reidel Publishing Company ◽  
Philosophical Logic
Sign in / Sign up

Export Citation Format

Share Document