There is (some) truth in that
In this paper I present a formal treatment for the notion “there is (some) truth in that”. I adopt a first order language and assume a bivalued interpretation. I claim that “there is (some) truth in x” behaves as a partial and not transparent truth attribution. I argue that it should be modeled usin...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Facultad de Filosofía y Letras, Universidad de Buenos Aires
2018
|
| Materias: | |
| Acceso en línea: | https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6502 https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=6502_oai |
| Aporte de: |
| id |
I28-R145-6502_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-6502_oai2025-11-17 Fiore, Camillo 2018-02-02 In this paper I present a formal treatment for the notion “there is (some) truth in that”. I adopt a first order language and assume a bivalued interpretation. I claim that “there is (some) truth in x” behaves as a partial and not transparent truth attribution. I argue that it should be modeled using a predicate rather than an operator. I introduce a predicate and consider three alternative criteria to characterize its semantics. I prove that, with any of the criteria, the predicate trivializes any classical theory that adopts a strong self-referential procedure. En este trabajo presento un tratamiento formal para la expresión “hay (algo de) verdad en eso”. Adopto un lenguaje de primer orden y asumo una interpretación bivaluada. Sostengo que “hay (algo de) verdad en x” se comporta como una atribución de verdad parcial y no transparente. Argumento que debe ser modelada utilizando un predicado y no un operador. Introduzco un predicado y considero tres criterios alternativos para caracterizar su semántica. Pruebo que, con cualquiera de los criterios, el predicado trivializa toda teoría clásica que adopte un mecanismo de autorreferencia fuerte. application/pdf https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6502 10.34096/cf.n70.6502 spa Facultad de Filosofía y Letras, Universidad de Buenos Aires https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6502/5810 Cuadernos de filosofía; Núm. 70 (2018); 57-67 2362-485X 0590-1901 formal semantics truth predicate paradoxes logical expressions semántica formal predicado veritativo paradojas expresiones lógicas There is (some) truth in that Hay (algo de) verdad en eso info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=6502_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| language |
Español |
| orig_language_str_mv |
spa |
| topic |
formal semantics truth predicate paradoxes logical expressions semántica formal predicado veritativo paradojas expresiones lógicas |
| spellingShingle |
formal semantics truth predicate paradoxes logical expressions semántica formal predicado veritativo paradojas expresiones lógicas Fiore, Camillo There is (some) truth in that |
| topic_facet |
formal semantics truth predicate paradoxes logical expressions semántica formal predicado veritativo paradojas expresiones lógicas |
| description |
In this paper I present a formal treatment for the notion “there is (some) truth in that”. I adopt a first order language and assume a bivalued interpretation. I claim that “there is (some) truth in x” behaves as a partial and not transparent truth attribution. I argue that it should be modeled using a predicate rather than an operator. I introduce a predicate and consider three alternative criteria to characterize its semantics. I prove that, with any of the criteria, the predicate trivializes any classical theory that adopts a strong self-referential procedure. |
| format |
Artículo publishedVersion |
| author |
Fiore, Camillo |
| author_facet |
Fiore, Camillo |
| author_sort |
Fiore, Camillo |
| title |
There is (some) truth in that |
| title_short |
There is (some) truth in that |
| title_full |
There is (some) truth in that |
| title_fullStr |
There is (some) truth in that |
| title_full_unstemmed |
There is (some) truth in that |
| title_sort |
there is (some) truth in that |
| publisher |
Facultad de Filosofía y Letras, Universidad de Buenos Aires |
| publishDate |
2018 |
| url |
https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6502 https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=6502_oai |
| work_keys_str_mv |
AT fiorecamillo thereissometruthinthat AT fiorecamillo hayalgodeverdadeneso |
| _version_ |
1851375859043139584 |