A Normative Model of Classical Reasoning in Higher Order Languages

Synthese 148 (2):309-343 (2006)
  Copy   BIBTEX

Abstract

The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version. §0 deals with reasoning in first order languages. is introduced as a first order set.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-004-6225-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.
Normative conflicts in legal reasoning.Giovanni Sartor - 1992 - Artificial Intelligence and Law 1 (2-3):209-235.
A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.
Higher-Order Multi-Valued Resolution.Michael Kohlhase - 1999 - Journal of Applied Non-Classical Logics 9 (4):455-477.
Higher-order global states (HOGS) An alternative higher-order model.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins. pp. 67.
Higher-order semantics and extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Reflective Reasoning in Groups.Christina Slade - 1995 - Informal Logic 17 (2).
On Normative Practical Reasoning.Georg Spielthenner - 2013 - Abstracta 7 (1).
A realistic look at Putnam's argument against realism.Vadim Batitsky - 2000 - Foundations of Science 5 (3):299-321.
Hohfeld in cyberspace and other applications of normative reasoning in agent technology.Christen Krogh & Henning Herrestad - 1999 - Artificial Intelligence and Law 7 (1):81-96.
Normative Practical Reasoning.Christian Piller - 2001 - Aristotelian Society Supplementary Volume 75 (1):175 - 216.
Is the higher order of linguistic thought model of feeling adequate?Robert Van Gulick - 2000 - Behavioral and Brain Sciences 23 (2):218-219.

Analytics

Added to PP
2009-01-28

Downloads
58 (#277,875)

6 months
5 (#647,370)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The roots of reference.W. V. Quine - 1974 - LaSalle, Ill.,: Open Court.
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.

Add more references