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

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

Simon Kochen and E. P. Specker. Logical structures arising in quantum theory. A reprint of XL 507(21). The logieo-algebraic approach to quantum mechanics, Volume I, Historicale evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 263–276. - Simon Kochen and E. P. Specker. The calculus of partial propositional functions. A reprint of XL 508(20). The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 277–292. - P.D. Finch. On the structure of quantum logic. The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 415–425. (Reprinted from The journal of symbolic logic, vol. 34 (1969), pp. 275–282.) - Stanley P. Gudder. Partial algebraic structures associated with orthomodular posets. Pacific journal of mathematics, vol. 41 (1972), pp. 717–730. - Janusz Czelakowski. Logics based on partial Boolean σ-algebras (1). Studia logica, vol. 33 (1974), pp. 371–396. - Gary M. Hardegree and Patricia J. Frazer. Charting the labyrinth of quantum logics: a progress report. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 53–76. - Janusz Czelakowski. Partial referential matrices for quantum logics. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 131–146.

1985 ◽  
Vol 50 (2) ◽  
pp. 558-566 ◽  
Author(s):  
R. I. G. Hughes

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

Sign in / Sign up

Export Citation Format

Share Document