This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Most recently added entries found
Search inside:
(import / add options)   Sort by:
1 — 50 / 1441
  1. added 2014-04-15
    T. Parent, The Modal Liar.
    If ‘necessarily’ is treated as an operator on propositions (as is standard), reflexive access allows us to generate paradox. The reasoning behind the modal liar is not immediately obvious--however, from the proposition “This very proposition is not necessary,” one can derive a contradiction.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  2. added 2014-04-13
    Barry Smith (1989). Logic and the Sachverhalt. The Monist 72:52–69.
    Logic is often conceived as a science of propositions, or of relations between propositions. There is an alternative view, however, defended by Meinong, Pfänder, Reinach and others, which sees logic as a science of “Sachverhalte” or states of affairs. A consideration of this view, which was defended especially by thinkers within the tradition of Brentano, throws new light on the problems of intentionality and of mental content. It throws light also on the development of logic in Poland. Here the influence (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. added 2014-04-11
    Michael Shenefelt & Heidi White (forthcoming). Comment on R.T. Cook's Review of If A, Then B: How the World Discovered Logic. History and Philosophy of Logic:1-1.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. added 2014-04-09
    Saloua Chatti (2014). Syncategoremata in Arabic Logic, Al-Fārābī and Avicenna. History and Philosophy of Logic 35 (2):167-197.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. added 2014-04-08
    R. M. Victoria Marshall (forthcoming). Higher Order Reflection Principles. Journal of Symbolic Logic.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2014-04-08
    William M. Farmer (1989). Krajíček Jan and Pudlák Pavel. The Number of Proof Lines and the Size of Proofs in First Order Logic. Archive for Mathematical Logic, Vol. 27 (1988), Pp. 69–84. [REVIEW] Journal of Symbolic Logic 54 (3):1107-1108.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. added 2014-04-08
    J. M. Font (1989). V. Verd U. An Abstract Approach to Modal Logics. Journal of Symbolic Logic 54 (3):1042-1062.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  8. added 2014-04-08
    Linda Wetzel (1989). Daniels Charles B., Freeman James B., and Charlwood Gerald W.. Toward an Ontology of Number, Mind and Sign. Scots Philosophical Monographs, No. 10. Aberdeen University Press, Aberdeen, and Humanities Press, Atlantic Highlands, NJ, 1986, Vii+ 155 Pp. [REVIEW] Journal of Symbolic Logic 54 (3):1102-1104.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. added 2014-04-08
    D. N. Hoover (1989). Hurd Albert E. And Loeb Peter A.. An Introduction to Nonstandard Real Analysis, Pure and Applied Mathematics, No. 118. Academic Press, Orlando Etc. 1985, Xii+ 232 Pp. Stroyan KD in Collaboration with Luxemburg WAJ, Introduction to the Theory of Infinitesimals, Pure and Applied Mathematics, No. 72. Academic Press, New York, San Francisco, and London, 1976, Xv+ 326 Pp. [REVIEW] Journal of Symbolic Logic 54 (2):631-633.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  10. added 2014-04-08
    H. B. Enderton (1989). Hodges Wilfrid. Elementary Predicate Logic. Handbook of Philosophical Logic, Volume I, Elements of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Pp. 1–131. [REVIEW] Journal of Symbolic Logic 54 (3):1089-1090.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. added 2014-04-08
    I. Grattan-Guinness (1989). Logic, Semantics, Metamathematics, Papers From 1923 to 1938, by Tarski Alfred, Translated by Woodger JH, Edited and Introduced by Corcoran John, Hackett Publishing Company, Indianapolis 1983, Xxx+ 506 Pp. [REVIEW] Journal of Symbolic Logic 54 (1):281-282.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  12. added 2014-04-08
    John P. Burgess (1989). Boolos George. To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables). The Journal of Philosophy, Vol. 81 (1984), Pp. 430–449. Boolos George. Nominalist Platonism, The Philosophical Review, Vol. 94 (1985), Pp. 327–344. [REVIEW] Journal of Symbolic Logic 54 (2):616-617.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  13. added 2014-04-08
    Martin Weese (1989). Roitman Judy. Height and Width of Superatomic Boolean Algebras. Proceedings of the American Mathematical Society, Vol. 94 (1985), Pp. 9–14. Baumgartner James E. And Shelah Saharon. Remarks on Superatomic Boolean Algebras. Annals of Pure and Applied Logic, Vol. 33 (1987), Pp. 109–129. [REVIEW] Journal of Symbolic Logic 54 (3):1108-1109.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. added 2014-04-08
    Juha Oikkonen (1989). Bennet Christian. On a Problem by D. Guaspari, Logic and Abstraction, Essays Dedicated to Per Lindström on His Fiftieth Birthday, Edited by Furberg Mats, Wetterström Thomas, and Åberg Claes, Acta Philosophica Gothoburgensia, No. 1, Acta Universitatis Gothobargensis, Göteborg 1986, Pp. 61–69. [REVIEW] Journal of Symbolic Logic 54 (2):630-630.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  15. added 2014-04-08
    Joseph V. Terza & A. Ason Okoruwa (1989). Estimation of Poisson Regressions. History and Philosophy of Logic 14 (4):853-866.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  16. added 2014-04-08
    Arnold W. Miller (1989). Shelah Saharon, Can You Take Solovay's Inaccessible Away? Israel Journal of Mathematics, Vol. 48 (1984), Pp. 1–47. Raisonnier Jean, A Mathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Results, Israel Journal of Mathematics, Vol. 48 (1984), Pp. 48–56. [REVIEW] Journal of Symbolic Logic 54 (2):633-635.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  17. added 2014-04-08
    E. Engeler (1989). Mirkowska G. And Salwicki A.. Algorithmic Logic. D. Reidel Publishing Company, Dordrecht Etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, Xi+ 372 Pp. [REVIEW] Journal of Symbolic Logic 54 (3):1105-1106.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. added 2014-04-08
    Matthew Valeriote (1989). Freese Ralph and McKenzie Ralph. Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, No. 125. Cambridge University Press, Cambridge Etc. 1987, Iii+ 227 Pp. [REVIEW] Journal of Symbolic Logic 54 (3):1114-1115.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  19. added 2014-04-08
    Penelope Maddy (1989). A Survey/Expository Paper: The Roots of Contemporary Platonism. Journal of Symbolic Logic 54 (4):1121-1144.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  20. added 2014-04-08
    A. Wasilewska (1989). Linguistically Definable Concepts and Dependencies. Journal of Symbolic Logic 54 (2):671-672.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  21. added 2014-04-08
    F. Delon & F. Lucas (1989). Ordered Abelian-Group Products and Inclusions Studied in the 1st-Order. Journal of Symbolic Logic 54 (2):499-511.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  22. added 2014-04-08
    Steven T. Kuhn (1989). Bull Robert and Segerberg Krister. Basic Modal Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 1–88. Burgess John P.. Basic Tense Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and ... [REVIEW] Journal of Symbolic Logic 54 (4):1472-1477.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  23. added 2014-04-08
    Richard D. Carmichael (1989). Distributional and L 2 Boundary Values on the Topological Boundary of Tubes. History and Philosophy of Logic 11 (2):135-153.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. added 2014-04-08
    Peter van Emde Boas (1989). Wagner K. And Wechsung G., Computational Complexity, Mathematics and its Applications. VEB Deutscher Verlag der Wissenschaften, Berlin, and D. Reidel Publishing Company, Dordrecht Etc., 1986, 551 Pp. [REVIEW] Journal of Symbolic Logic 54 (2):622-624.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  25. added 2014-04-08
    Dan Velleman (1989). Todorčević Stevo B., Trees, Subtrees and Order Types, Annals of Mathematical Logic, Vol. 20 (1981), Pp. 233–268. Todorcevic Stevo, Aronszajn Trees and Partitions, Israel Journal of Mathematics, Vol. 52 (1985), Pp. 53–58. [REVIEW] Journal of Symbolic Logic 54 (2):638-639.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  26. added 2014-04-08
    Juha Oikkonen (1989). Ranger Stig, Unavoidability, Logic and Abstraction, Essays Dedicated to Per Lindström on His Fiftieth Birthday, Edited by Furberg Mats, Wetterström Thomas, and Åberg Claes, Acta Philosophica Gothoburgensia, No. 1, Acta Universitatis Gothobargensis, Göteborg 1986, Pp. 227–236. [REVIEW] Journal of Symbolic Logic 54 (2):631-631.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  27. added 2014-04-08
    Andreas Blass & Jacob Plotkin (1989). Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988. Journal of Symbolic Logic 54 (2):674-677.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  28. added 2014-04-08
    Peter Gács (1989). Review of Algorithmic Information Theory by Gregory J. Chaitin. [REVIEW] Journal of Symbolic Logic 54 (2):624-637.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  29. added 2014-04-08
    D. Osherson & S. Weinstein (1989). A Universal Inductive Turing Machine. Journal of Symbolic Logic 56:661-672.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. added 2014-04-08
    Helmut Pfeiffer (1989). Girard Jean-Yves. Proof Theory and Logical Complexity. Volume I. Studies in Proof Theory, No. 1. Bibliopolis, Naples 1987, Also Distributed by Humanities Press, Atlantic Highlands, NJ, 503 Pp. [REVIEW] Journal of Symbolic Logic 54 (4):1493-1494.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  31. added 2014-04-08
    Maria Luisa Dalla Chiara & Roberto Giuntini (1989). Paraconsistent Quantum Logics. Foundations of Physics 19 (7):891-904.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  32. added 2014-04-08
    John W. Dawson (1989). Gödel Remembered, Salzburg 10–12 July 1983, Edited by Weingartner Paul and Schmetterer Leopold, History of Logic, No. 4, Bibliopolis, Naples 1987, 187 Pp. [REVIEW] Journal of Symbolic Logic 54 (1):282-284.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  33. added 2014-04-08
    Samuel Buss (1989). Immerman Neil. Upper and Lower Bounds for First Order Expressibility. Journal of Computer and System Sciences, Vol. 25 (1982), Pp. 76–98. Immerman Neil. Relational Queries Computable in Polynomial Time. Information and Control, Vol. 68 (1986), Pp. 86–104. Immerman Neil. Languages That Capture Complexity Classes. SIAM Journal on Computing, Vol. 16 (1987), Pp. 760–778. [REVIEW] Journal of Symbolic Logic 54 (1):287-288.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  34. added 2014-04-08
    H. Luckhardt (1989). Herbrand Analysis of 2 Proofs of the Roth Theorem-Polynomial Bounds. Journal of Symbolic Logic 54 (1):234-263.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  35. added 2014-04-08
    J. L. Bell (1989). Aczel Peter. Non-Well-Founded Sets. With a Foreword by Jon Barwise. CSLI Lecture Notes, No. 14. Center for the Study of Language and Information, Stanford 1988, Also Distributed by the University of Chicago Press, Chicago, Xx+ 131 Pp. [REVIEW] Journal of Symbolic Logic 54 (3):1111-1114.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  36. added 2014-04-08
    Dirk Siefkes (1989). Börger Egon. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität. Edited by Rödding Dieter. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden 1985, Xvii+ 469 Pp. Börger Egon. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität. Edited by Rodding Dieter. Second Corrected Edition of the Preceding. Friedr. Vieweg & Sohn, Brunswick ... [REVIEW] Journal of Symbolic Logic 54 (4):1490-1493.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. added 2014-04-08
    Peter Clote (1989). Modèles Non Standard En Arithmétique Et Théorie des Ensembles, Publications Mathématiques de l'Université Paris VII, No. 22, UER de Mathématiques, Paris 1987, 147 Pp. [REVIEW] Journal of Symbolic Logic 54 (1):284-287.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. added 2014-04-08
    Martin Davies (1989). Leblanc Hugues. Alternatives to Standard First-Order Semantics. Handbook of Philosophical Logic, Volume I, Elements of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Pp. 189–274. [REVIEW] Journal of Symbolic Logic 54 (4):1483-1484.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  39. added 2014-04-08
    K. Kunen, A. Nerode, A. Prestel, P. Aczel, Hp Barendregt, E. Borger, Jn Crossley, E. Engeler, P. Hajek & Ba Kushner (1984). Managing Editors D. Van Dalen Y. Gurevich J. Hartmanis. Annals of Pure and Applied Logic 26:101.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. added 2014-04-08
    Sy D. Friedman (1984). Model Theory for< I> L_< Sub>∞ Ω1. Annals of Pure and Applied Logic 26 (2):103-122.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  41. added 2014-04-08
    David R. Guichard (1984). A Note on R-Maximal Subspaces of V< Sub>∞. Annals of Pure and Applied Logic 26 (1):1-9.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  42. added 2014-04-08
    K. Kunen, Madison W. I. H. Rogers Jr, D. van Dalen & Utrecht Y. Gurevich (1984). Managing Editors. Annals of Pure and Applied Logic 26.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  43. added 2014-04-07
    A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  44. added 2014-04-07
    Maarten de Rijke (1991). A Note on the Interpretability Logic of Finitely Axiomatized Theories. Studia Logica 50 (2):241-250.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. added 2014-04-07
    Dick de Jongh & Franco Montagna (1991). Rosser Orderings and Free Variables. Studia Logica 50 (1):71-80.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  46. added 2014-04-07
    I. Németi (1991). Shortened Version Appeared As. Studia Logica 50 (3-4):458-569.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  47. added 2014-04-07
    Dick de Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51-69.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  48. added 2014-04-07
    Li Xiang (1990). The Characterization Problem for the Medium Logic MP'&MF'. Journal of Symbolic Logic 55 (4):414.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  49. added 2014-04-07
    Saharon Shelah & Charles Steinhorn (1990). The Nonαxiomαtizαbility of 1.(0^) by Finitely Many Schemata. Notre Dame Journal of Formal Logic 31 (1).
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  50. added 2014-04-07
    D. Leivant (1990). Abstraction and Computational Complexity. Journal of Symbolic Logic 55:379-80.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
1 — 50 / 1441