Aristotle's logic at the university of buffalo's department of philosophy

Ideas Y Valores 58 (140):99-117 (2009)
  Copy   BIBTEX

Abstract

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..

Categories

Keywords

Reprint years

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Correction to FOIL axiomatized studia logica , 84:1–22, 2006.Melvin Fitting - 2007 - Studia Logica 85 (2):275 -.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Quasivarieties of logic, regularity conditions and parameterized algebraization.G. D. Barbour & J. G. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.
Quantification in English is Inherently Sortal.Edward L. Keenan - 1999 - History and Philosophy of Logic 20 (3-4):251-265.
Logics with Zero‐One Laws that Are Not Fragments of Bounded‐Variable Infinitary Logic.Iain A. Stewart - 1997 - Mathematical Logic Quarterly 43 (2):158-178.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
The addition of bounded quantification and partial functions to a computational logic and its theorem prover.Robert Boyer - manuscript
Peter Hare on the proposition.John Corcoran - 2010 - Transactions of the Charles S. Peirce Society 46 (1):21-34.
A Class of Simpler Logical Matrices for the Variable-Sharing Property.G. Robles & J. M. Méndez - 2011 - Logic and Logical Philosophy 20 (3):241-249.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.
A modal restriction of R-Mingle with the variable-sharing property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.

Analytics

Added to PP
2013-12-09

Downloads
342 (#59,927)

6 months
61 (#78,655)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Corcoran
PhD: Johns Hopkins University; Last affiliation: University at Buffalo

Citations of this work

Add more citations

References found in this work

Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.
What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.

View all 22 references / Add more references