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: 94,045

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

Objective Bayesianism with predicate languages.Jon Williamson - 2008 - Synthese 163 (3):341-356.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
The case against higher-order metaphysics.Thomas Hofweber - 2022 - Metaphysics 1 (5):29-50.
Classical First-Order Logic.Stewart Shapiro & Teresa Kouri Kissel - 2022 - Cambridge University Press.
The Case Against Higher-Order Metaphysics.Thomas Hofweber - forthcoming - Metaphysics 5 (1):29-50.
A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
A theory of truth for a class of mathematical languages and an application.S. Heikkilä - manuscript
Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.R. A. D. Soroush Rafiee - 2023 - Review of Symbolic Logic 16 (2):351-368.
A Philosophical Introduction to Higher-order Logics.Andrew Bacon - 2023 - Routledge.

Analytics

Added to PP
2009-01-28

Downloads
43 (#361,041)

6 months
8 (#505,181)

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