Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language

Annals of the Japan Association for Philosophy of Science 14 (2):113-121 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.14.113

Links

PhilArchive



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

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

Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
The property-theoretical, performative-nominalistic theory of proper names.Francesco Orilia - 2000 - Dialectica 54 (3):155–176.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.
Towards an explanation of copula effects.Gerhard Jäger - 2003 - Linguistics and Philosophy 26 (5):557-593.
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknown
Type Theory with Records and Unification-based Grammar.Robin Cooper - unknown
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
On the theory of relations based on the theory of objects.S. Kaczorowski - 1962 - Studia Logica 13 (1):37-38.
The use theory of meaning.Jaroslav Peregrin - unknown
On Husserl's Theory of the Constitution of Objectifying Meaning [Translated title].V. Zatka - 1990 - Filosoficky Casopis (3):333-345.
The Art Type Theory of Art.Robert S. Fudge - 2015 - Philosophical Papers 44 (3):321-343.

Analytics

Added to PP
2014-03-14

Downloads
31 (#530,378)

6 months
8 (#411,621)

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

What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), Truth and Meaning: Essays in Semantics. Oxford: Clarendon Press.
What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.
Anti-realist semantics.Wolfram Hinzen - 2000 - Erkenntnis 52 (3):281-311.

View all 6 references / Add more references