Order: Listing date First author Impact Pub year Relevance Downloads Order
Infinite Counting. AgneS Kurucz Arrow Logic forthcoming - Studia Logica . details Kenneth Harris and Branden Fitelson/Comments on Some Completeness Theorems of Urquhart and Méndez & Salto 51–55 Dominic Gregory/Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actu. [REVIEW] Theodore Hailperin Ontologically Neutral Logic 2001 - Journal of Philosophical Logic 30 (1):617-618. details Mathematical Logic. Arch Math Logic 2003 - Archive for Mathematical Logic 42:563-568. details The Ambivalence of Creation: Debates Concerning Innovation and Artifice in Early China. By Michael Puett. Stanford: Stanford University Press, 2001. Pp. Viii+ 299. Hardcover $55.00. Ancestors in Post-Contact Religion: Roots, Ruptures, and Modernity's Memory. Edited by Steven J. Friesen. Cambridge: Harvard University Press for the Center. [REVIEW] Indian Logic A. Reader Surrey Richmond 2002 - Philosophy East and West 52 (4):501-503. details What is Neologicism? Symbolic Logic forthcoming - Bulletin of Symbolic Logic . details Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx. Patrick Blackburn Maarten Marx Hybrid Logic 2001 - Journal of Symbolic Logic 66 (3):977-1010. details Temporal Logic. Temporal Logic forthcoming - Stanford Encyclopedia of Philosophy . details Laura Giordano Iterated Belief Revision. Nicola Olivetti Conditional Logic 2002 - Studia Logica 70:23-47. details Russell and MacColl: Reply to Grattan-Guinness, Wolen Ski, and Read. Modal Logic 2001 - Nordic Journal of Philosophical Logic 6 (1):21-42. details Table Des Matieres Editorial Preface 3. Jair Minoro Abe Curry Algebras Pt Paraconsistent Logic Newton Ca da Costa Otavio Bueno Jacek Pasniczek Beyond Consistent Complete Possible Worlds Vm Popov Inverse Negation 1998 - Logique Et Analyse 41:1. details Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW] J. T. Baldwin U. Workshop on Model Theory in Mathematical Logic 1987 details Wise Choice on Dynamic Decision-Making Without Independence1. E. Ejerhed S. Lindstrom Action Logic 1997 - In Eva Ejerhed & Sten Lindström (eds.), Logic, Action, and Cognition: Essays in Philosophical Logic details Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. Leon Henkin Alfred Tarski Association for Symbolic Logic 1974 details Afterthoughts. Philosophical Logic 1989 - In John Perry, J. Almog & Howard K. Wettstein (eds.), Themes From Kaplan details Arthur Nieuwendijk. Navya-Nyaya Logic 1992 - Journal of Indian Philosophy 20:377-418. details Anna Zalewska an Application of Mizar Mse in a Course in Logic. A. Course In Logic 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic details Boston Colloquium for the Philosophy of Science. [REVIEW] What is Elementary Logic 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22:201-204. details David Bostock. On Motivating Higher-Order Logic 2004 - In T. J. Smiley & Thomas Baldwin (eds.), Studies in the Philosophy of Logic and Knowledge details For the Most Clearly Understood Models of (I) Belief,(Ii) How the Impact of Sensory Experience Changes Belief, and (Hi) How Beliefs Together with Desires Influence Actions. Meaning Logic 1983 - In Alex Orenstein & Rafael Stern (eds.), Developments in Semantics details Ian I-Iacking. Linguistically Invariant Inductive Logic 1970 - In Paul Weingartner & Gerhard Zecha (eds.), Induction, Physics, and Ethics details Juliet Flower MacCannell. Monstrous Logic 2004 - In Sinkwan Cheng (ed.), Law, Justice, and Power: Between Reason and Will details L86, L93, 203,236. Predicate Logic 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn details Marfa-Luisa Rivero. Antecedents of Contemporary Logical Linguistic Analyses in Scholastic Logic 1973 - Foundations of Language 10:55. details Pairs of Negative Syllogistic Premises Yielding Conclusions. Aristotelian Logic forthcoming - Logique Et Analyse . details Richard C. Jeffrey. Carnap'S. Inductive Logic 1975 - In Jaakko Hintikka (ed.), Rudolf Carnap, Logical Empiricist: Materials and Perspectives details Storage Operators and Second Order Lambda-Calculs. J. -L. Krivine Classical Logic 1994 - Annals of Pure and Applied Logic 68:53-78. details 94 the Question of Grammar in Logical Inx'estigations. Later Developments In Logic 2003 - In Anna-Teresa Tymieniecka (ed.), Phenomenology World-Wide details The Required Correction to Copi's Statement of Ug. Symbolic Logic 1966 - Logique Et Analyse 33:267. details Wesley C. Salmon. Inductive Logic 1969 - In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel details William S. Hatcher. I. Prologue on Mathematical Logic 1973 - In Mario Augusto Bunge (ed.), Exact Philosophy; Problems, Tools, and Goals details Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW] M. Nielsen Wolfgang Thomas European Association for Computer Science Logic 1998 details Dagfinn F0llesdal. Referential Opacity Modal Logic 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its Origins details Philosophy of Science, History of Science a Selection of Contributed Papers of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983. C. Pühringer Paul Weingartner Methodology and Philosophy of Science International Congress of Logic 1984 - A. Hain. details The Interpretation of Two Systems of Modal Logic. A. N. Prior Institute of Applied Logic 1954 - Institute of Applied Logic. details Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers. [REVIEW] D. van Dalen M. Bezem European Association for Computer Science Logic 1997 - Springer Verlag. details Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic. D. van Dalen Daniel Lascar T. J. Smiley Association for Symbolic Logic 1982 details Section 2. Model Theory. Va Vardanyan On Provability Resembling Computability Proving Aa Voronkov Constructive Logic 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 details Dirk Batens, Editorial Note 3 Andrzej Wisniewski, Questions and Inferences 5 Diderik Batens, a General Characterization of Adaptive Logics. 45 Mariusz Urbanski, Synthetic Tableaux and Erotetic Search Scenarios: Extension and Extraction 69. [REVIEW] Liza Verhoeven All Premises Are Equal But Some Are More Erik Weber Maarten van Dyck Adaptive Logic 2001 - Logique Et Analyse 44:1. details 1 NATO Science Committee Fakultat fiir Informatik, Technische Universitgt Mijnchen. M. Wirsing Jp Jouannoud A. Scedrov Bounded Linear Logic 1993 - Annals of Pure and Applied Logic 60:89. details Paul Redding. Transcendental Logic Sally Sedgwick 1991 - The Monist 74 (3):403-421. details A Comparison Between Two Different Tarski-Style Semantics for Linear Logic. Linear Logic M. Piazza 1994 - Epistemologia 17 (1):101-116. details Motion and the Dialectical View of the World. in Formal Logic 1990 - Studies in Soviet Thought 39:241-255. details Review of Symbolic Logic. [REVIEW] Symbolic Logic 2008 - Bulletin of Symbolic Logic 14 (3):276. details International Union of History and Philosophy of Science Uppsala University. Methodology Logic 1990 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 21:401-403. details 1.1. The Logistic Method. Church's Writings on Philosophical Matters Ex-Hibit an Unwavering Commitment to What He Called the “Logistic Method”. 3 The Term Did Not Catch on and Now One Would Just Speak of “Formalization”. The Use of These Ideas is Now so Common and Familiar Among Logicians. [REVIEW] Intensional Logic 1998 - Bulletin of Symbolic Logic 4 (2). details European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'93. Symbolic Logic 1995 - Bulletin of Symbolic Logic 1 (4):489-490. details Notice of Books Received. [REVIEW] Informal Logic 2022 - Informal Logic 42 (1):343-357. details Aristotelovská verzus stoická logika. J. BAŇAS Aristotelian Versus Stoic Logic 2003 - Filozofia 58 (8):551. details In the Following Pages Are to Be Found Sixteen of the Forty Papers Delivered at the Ontario Society for the Study of Argumentation (OSSA) Conference Held at Brock University, St. Catharines, Ontario in May of 1995. Most of the Papers Have Been Revised in Light of Comments Raised at the Conference and by Referees for These" Proceedings". [REVIEW] Informal Logic 1995 - Informal Logic 17 (2):123-126. details Philosophical Abstracts. Dispositions Laws Sortal Logic 1982 - American Philosophical Quarterly 19 (1). details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
