Timothy Smiley

Biographic Data

ID1237598
NAMETimothy Smiley
GIVEN NAMESTimothy
FAMILY NAMESmiley
SIGNATURESMILEY T
AFFILIATIONSUniversity of Cambridge
VERIFIEDNo
TOTAL WORKS7
TOTAL CITATIONS4
WORKS AS AUTHOR7
WORKS AS EDITOR0
FIRST PUBLICATION YEAR1962
LATEST PUBLICATION YEAR2006
H-INDEX1

  • What Are Sets and What Are They For

    Open AccessAlex Oliver, Timothy SmileyARTICLEPhilosophical Perspectives2006References: 1

  • Abstraction by Recarving

    Michael Potter, Timothy SmileyARTICLEProceedings of the Aristotelian…2001

    Michael Potter, Timothy Smiley; Abstraction by Recarving, Proceedings of the Aristotelian Society, Volume 101, Issue 1, 1 June 2001, Pages 327–338, https:/

  • Strategies for a Logic of Plurals

    Alex Oliver, Timothy SmileyARTICLEThe Philosophical Quarterly2001Cited by: 4References: 14

    English has plural terms (e.g., ‘Oliver and Smiley’, ‘the co‐authors of this paper’) as well as singular terms. But our standard formal languages, e.g., the predicate calculus, feature only singular terms. How can the plural idiom be formalized?‘Changing the subject’ is by far the most common plurals strategy among both philosophers and linguists: a plural term is replaced by a singular term standing for some complex object (a set or an aggregate…

  • Aristotle’s Completeness Proof

    Timothy Smiley, Inc Mathesis PublicationsARTICLEAncient Philosophy1994

  • Multiple Conclusion Logic

    Neil Tennant, D J Shoesmith et al.ARTICLEThe Philosophical Quarterly1980

    Journal Article Book Reviews Get access Multiple Conclusion Logic. By D. J. Shoesmith and T. J. Smiley ( C.U.P. 1978. Pp. xiii + 396. Price £15.00) N. Tennant N. Tennant Search for other works by this author on: Oxford Academic Google Scholar The Philosophical Quarterly, Volume 30, Issue 121, October 1980, Pages 379–382, https://doi.org/10.2307/2219541 Published: 01 October 1980

  • Philosophical Problems of Many-valued Logic

    Timothy Smiley, T J Smiley et al.ARTICLEThe Philosophical Quarterly1966

    Journal Article Book Reviews Get access Philosophical Problems of Many-valued Logic. BY A. A. Zinov’ev. Edited and translated by Guido Küng and David Dinsmore Comey. (Dordrecht, D. Reidel Publishing Co. 1963. Pp. xiv + 155. Price Dfl. 23). T. J. Smiley T. J. Smiley Search for other works by this author on: Oxford Academic Google Scholar The Philosophical Quarterly, Volume 16, Issue 62, January 1966, Page 83, https://doi.org/10.2307/2217896 Publis…

  • Syllogism and quantification

    Open AccessTimothy SmileyARTICLEThe Journal of Symbolic Logic1962

    Anyone who reads Aristotle, knowing something about modern logic and nothing about its history, must ask himself why the syllogistic cannot be translated as it stands into the logic of quantification. It is now more than twenty years since the invention of the requisite framework, the logic of many-sorted quantification. In the familiar first-order predicate logic generality is expressed by means of variables and quantifiers, and each interpretat…