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: 93,745

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 System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.
The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 , pp. 131–137. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
Intuitionistic Version of the Los-Tarski-Robinson Theorem.Kokio Shirai - 1975 - Annals of the Japan Association for Philosophy of Science 4 (5):323-332.
Humpty-Dumpty Theory and Meaning as Type : Reconstruction of Dummett's Argument.Akira Sato - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):1-17.
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau.Mitio Takano - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):47-56.
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
An Interpretation of Algebraic Quantum Field Theory from a Semirealistic Point of View (Issues in the Philosophy of Quantum Mechanics (1)).Yuichiro Kitajima - 2009 - Annals of the Japan Association for Philosophy of Science 17:47-53.
Abstract design theory.Yuzuru Kakuda & Makoto Kikuchi - 2001 - Annals of the Japan Association for Philosophy of Science 10 (3):109-125.

Analytics

Added to PP
2014-03-14

Downloads
20 (#181,865)

6 months
8 (#1,326,708)

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?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.
What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), What is a Theory of Meaning? Oxford: 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