Abstract
In the previous chapters, LFIs have been approached exclusively from the propositional viewpoint. This is justified by the fact that the main notions and issues of paraconsistency in general, and LFIs, in particular, occur at the propositional level, related to their main connectives, namely, paraconsistent negation, consistency and inconsistency operators. This chapter gives a full account of LFIs for first-order languages, taking into account that quantified versions of LFIs are essential for mathematical applications such as set theory, and also for applications in computer science, such as databases and logic programming.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
That is: \(\bot _\beta {~\vdash _{\mathbf{QmbC}}} \psi \) for every \(\psi \).
- 2.
As usual, if \(\Theta \) is a subsignature of another signature \(\Theta '\), then any structure \(\mathfrak {A}\) over \(\Theta '\) can be seen as a structure over \(\Theta \), by ‘forgetting’ the interpretation of the symbols in \(\Theta '\) that do not belong to \(\Theta \). Such a structure over \(\Theta \) is called the reduct of \(\mathfrak {A}\) to \(\Theta \) (see [13]).
- 3.
Namely, an additional clause must be added: if t is a variable \(x_i\) then \(t^{\mathfrak {P}}_{\vec x}[\vec a]\) is \(a_i\).
References
da Costa, Newton C.A. 1993. Sistemas formais inconsistentes (Inconsistent formal systems, in Portuguese). Habilitation thesis, Universidade Federal do Paraná, Curitiba, Brazil, 1963. Republished by Editora UFPR, Curitiba, Brazil.
da Costa, Newton C.A. 1974. On the theory of inconsistent formal systems (Lecture delivered at the First Latin-American Colloquium on Mathematical Logic, held at Santiago, Chile, July 1970). Notre Dame Journal of Formal Logic 15(4): 497–510.
Alves, Elias H. 1984. Paraconsistent logic and model theory. Studia Logica 43(1/2): 17–32.
D’Ottaviano, Itala M.L. 1982. Sobre uma Teoria de Modelos Trivalente (On a three-valued model theory, in Portuguese). Ph.D. thesis, IMECC, State University of Campinas, Brazil.
D’Ottaviano, Itala M.L. 1985. The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matemáticas, XIX(1–2): 77–94.
D’Ottaviano, Itala M. L. 1985. The model extension theorems for J3-theories. In Methods in Mathematical Logic. Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1–6, 1983. Lecture Notes in Mathematics, vol. 1130, ed. by Carlos A. Di Prisco, 157–173. Berlin: Springer.
D’Ottaviano, Itala M.L. 1987. Definability and quantifier elimination for J3-theories. Studia Logica 46(1): 37–54.
Avron, Arnon, and Anna Zamansky. 2007. Many-valued non-deterministic semantics for first-order Logics of Formal (In)Consistency. In Algebraic and Proof-Theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the occasion of his 60th birthday. Lecture Notes in Computer Science, vol. 4460, ed. S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, 1–24. Springer.
Carnielli, Walter A., Marcelo E. Coniglio, Rodrigo Podiacki, and Tarcísio Rodrigues. 2014. On the way to a wider model theory: Completeness theorems for first-order logics of formal inconsistency. The Review of Symbolic Logic 7(3): 548–578. doi:10.1017/S1755020314000148.
Coniglio, Marcelo E., and Luiz H. Silvestrini. 2014. An alternative approach for quasi-truth. Logic Journal of the IGPL 22(2): 387–410. doi:10.1093/ljigpal/jzt026.
Shoenfield, Joseph R. 1967. Mathematical Logic. Reading, MA: Addison-Wesley.
Mendelson, Elliot. 1987. Introduction to Mathematical Logic, 3rd ed. New York: Chapman & Hall.
Chang, Chen C., and H. Jerome Keisler. 1990. Model theory. 3rd edn. Elsevier.
Carnielli, Walter A., Marcelo E. Coniglio, and João Marcos. 2007. Logics of Formal Inconsistency. In Handbook of Philosophical Logic ed. by Dov M. Gabbay and Franz Guenthner, 2nd edn, vol. 1–93. Springer. doi:10.1007/978-1-4020-6324-4_1.
Mikenberg, Irene, Newton C. A. da Costa, and Rolando Chuaqui. 1986. Pragmatic truth and approximation to truth. The Journal of Symbolic Logic 51(1): 201–221.
Bueno, Otávio, and Newton C. A. da Costa. 2007. Quasi-truth, paraconsistency, and the foundations of science. Synthese 154(3): 383–399.
Silvestrini, Luiz H. 2011. Uma Nova Abordagem Para A Noção De Quase-Verdade (A New Approach to the Notion of Quasi-Truth, in Portuguese). Ph.D. thesis, IFCH, State University of Campinas, Brazil. http://www.bibliotecadigital.unicamp.br/document/?code=000788964&opt=4&lg=en_US.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Carnielli, W., Coniglio, M.E. (2016). First-Order LFIs. In: Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science, vol 40. Springer, Cham. https://doi.org/10.1007/978-3-319-33205-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-33205-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33203-1
Online ISBN: 978-3-319-33205-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)