Sense and Proof

In M. D'agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science,. College Publicationss (2010)
  Copy   BIBTEX

Abstract

In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Common Sense.Michael De Medeiros - 2009 - Weigl Publishers.
A note on formality and logical consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.
.[author unknown] - unknown
Names, Sense and Kripke’s Puzzle.Tim Crane - 1992 - From the Logical Point of View 2:11-26.
Frege: Two theses, two senses.Carlo Penco - 2003 - History and Philosophy of Logic 24 (2):87-109.
Rational Procedures.Carlo Penco - 2009 - The Dialogue - Yearbook of Philosophical Hermenutics, Lit Verlag. Berlin, 2009 4 (1):137-153.

Analytics

Added to PP
2010-01-02

Downloads
300 (#61,621)

6 months
43 (#81,083)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Carlo Penco
Università degli Studi di Genova
Daniele Porello
Università degli Studi di Genova

Citations of this work

Modelling Equivalent Definitions of Concepts.Daniele Porello - 2015 - In Modeling and Using Context - 9th International and Interdisciplinary Conference, {CONTEXT} 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings. Lecture Notes in Computer Science 9405. pp. 506-512.

Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel Guttenplan (ed.), Mind and Language. Oxford University Press.
Type-logical semantics.Bob Carpenter - 1997 - Cambridge, Mass.: MIT Press.
Frege: Two theses, two senses.Carlo Penco - 2003 - History and Philosophy of Logic 24 (2):87-109.

View all 8 references / Add more references