NDLI: Consistency, Truth and Ontology

Content Provider	Springer Nature Link
Author	Agazzi, Evandro
Copyright Year	2010
Abstract	After a brief survey of the different meanings of consistency, the study is restricted to consistency understood as non-contradiction of sets of sentences. The philosophical reasons for this requirement are discussed, both in relation to the problem of sense and the problem of truth (also with historical references). The issue of mathematical truth is then addressed, and the different conceptions of it are put in relation with consistency. The formal treatment of consistency and truth in mathematical logic is then considered, with particular attention paid to the relation between syntactic and semantic properties of sets and calculi. After the crisis of mathematical intuition and the dominance of the formalistic view, it seemed that consistency could totally replace the requirement of truth in mathematics, also in the sense that the existence of “objects” of axiomatic systems could be granted by their consistency. A rejection of this claim is presented, whose central point is a detailed analysis of the theorem that any consistent set S of sentences of first order logic has a model. A critical scrutiny shows that this model is very peculiar, being offered by the elements of the same language that is being interpreted, and the satisfiability conditions for any sentence being constituted by the mere fact of belonging to S. Though not being insignificant from a metatheoretical point of view, this theorem fails to endow consistency (even in this privileged case) with an “ontological creativity”, that is, with the capability of providing a model ontologically distinct from the language itself (which is the precondition for the classical notion of truth that is also preserved in the Tarskian semantics and model theory). A final discussion regarding the different “ontological regions” and the referential nature of truth clarifies the different aspects of the whole issue discussed.
Starting Page	7
Ending Page	29
Page Count	23
File Format	PDF
ISSN	00393215
Journal	Studia Logica
Volume Number	97
Issue Number	1
e-ISSN	15728730
Language	English
Publisher	Springer Netherlands
Publisher Date	2010-12-24
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Consistency non-contradiction non-triviality syntactic consistency semantic consistency semantic completeness analyticity consistency and satisfiability truth ontology ontological regions Computational Linguistics Mathematical Logic and Foundations Logic
Content Type	Text
Resource Type	Article
Subject	Logic History and Philosophy of Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Semantic Analysis of some Variants of Anderson-like Ontological Proofs

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

Truth Values and Proof Theory

The Logic of the Ontological Square

Ontological Proofs of Existence and Non-Existence

What is a Non-truth-functional Logic?

Consequence Operations Based on Hypergraph Satisfiability

Reductio ad contradictionem: An Algebraic Perspective

Consistency, Truth and Ontology

Similar Documents

Semantic Analysis of some Variants of Anderson-like Ontological Proofs

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

Truth Values and Proof Theory

The Logic of the Ontological Square

Ontological Proofs of Existence and Non-Existence

What is a Non-truth-functional Logic?

Consequence Operations Based on Hypergraph Satisfiability

Reductio ad contradictionem: An Algebraic Perspective

Consistency, Truth and Ontology