Dialectica 48 (2):83-123 (1994)

The question of finding a suitable formal account of meaning for the logical signs has troubled many philosophers and logicians since the early days of formal logic, whenever it is even recognised as a problem. Here I attempt to show how two operational approaches to the problem can still be shown to be ‘technically’ equivalent, despite having emerged from two different readings of a single philosophical account, and being essentially distinct with respect to the rôle of ‘will’ in the mathematical activity: on the one hand, the ‘semantics of use’, my own reformulation of P. Martin‐Löf's Intuitionistic Type Theory canonical‐values based semantics by taking the normalisation rules as the key semantical device; and, on the other hand, J. Hintikka's Game‐Theoretical Semantics, where the meaning of logical signs is given via semantical games. The philosophical account from which both emerge is precisely Wittgenstein's later account of propositions, where the notion of ‘language‐games’ is introduced as a key semantical device. Observing that the normalisation rules seem to be able to formalise the explanation of the consequences one can draw from a proposition,3 thus showing the function/purpose/usefulness of its main connective in the calculus of language, it seems reasonable to advocate that such a meta‐mathematical device can be a semantically useful notion which would lead to a more reasonable account of the problem of formulating the meaning of logical constants.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/dltc.1994.48.issue-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,363
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Language‐Games.Jaakko Hintikka - 1977 - Dialectica 31 (3‐4):225-245.
The Games of Logic and the Games of Inquiry.Jaakko Hintikka - 1995 - Dialectica 49 (2‐4):229-250.
Logic, Language Games and Ludics.Ahti-Veikko Pietarinen - 2003 - Acta Analytica 18 (30/31):89-123.
The Logic and Semantics of Definite Descriptions.Edward John Kulas - 1982 - Dissertation, The Florida State University
Wittgenstein, History and Hermeneutics.Christopher Lawn - 2003 - Philosophy and Social Criticism 29 (3):281-295.
The Method of Language-Games as a Method of Logic.Oskari Kuusela - 2014 - Philosophical Topics 42 (2):129-160.
Preuves et jeux sémantiques.Denis Bonnay - 2004 - Philosophia Scientiae 8 (2):105-123.
Language as a "Mirror of Nature".Jaakko Hintikka - 2000 - Sign Systems Studies 28:62-71.
Language as a "Mirror of Nature".Jaakko Hintikka - 2000 - Sign Systems Studies 28:62-71.
Logic After Wittgenstein.Paul Tomassi - 2001 - Nordic Journal of Philosophical Logic 6 (1):43-70.


Added to PP index

Total views
26 ( #418,206 of 62,327 )

Recent downloads (6 months)
2 ( #310,973 of 62,327 )

How can I increase my downloads?


My notes