Pragmatic truth and approximation to truth

DOI10.2307/2273956zbMath0606.03009MaRDI QIDQ3744152

Irene F. Mikenberg, Newton C. A. Da Costa, Rolando B. Chuaqui

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273956

zbMATH Keywords

Löwenheim-Skolem theorem; Gentzen type derivation system; omitting- types theorem

Mathematics Subject Classification ID

03C30: Other model constructions

Related Items

Defeasible reasoning + partial models: A formal framework for the methodology of research programs, Superconductivity and structures: revisiting the London account, Quasi-truth, paraconsistency, and the foundations of science, Structural realism, scientific change, and partial structures, A modal view of the semantics of theoretical sentences, The logic of pragmatic truth, Schrödinger logics, On Jaśkowski's discussive logics, A procedural criterion for final derivability in inconsistency-adaptive logics, Physics, inconsistency, and quasi-truth, Theories: tools versus models, Abductive inference in defeasible reasoning: a model for research programmes, The theory of the process of explanation generalized to include the inconsistent case, Reinflating the semantic approach, Quasi-Truth, Supervaluations and Free Logic, ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY

Cites Work

• Large infinitary languages. Model theory
• Abstrakte Begründung der multiplikativen Idealtheorie
• Infinitary analogs of theorems from first order model theory