Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants
Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto, por lo que respecta a Kolmogorov y Heyting,...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional Autónoma de México (UNAM)
2019-01-01
|
| Series: | Crítica |
| Online Access: | https://critica.filosoficas.unam.mx/index.php/critica/article/view/891 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849344117965848576 |
|---|---|
| author | Gustavo Fernández Díez |
| author_facet | Gustavo Fernández Díez |
| author_sort | Gustavo Fernández Díez |
| collection | DOAJ |
| description |
Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto, por lo que respecta a Kolmogorov y Heyting, ellos mismos las percibieron como tales), el conciso estudio que presento en este artículo demuestra la existencia de diferencias sutiles pero nada triviales entre ellas, diferencias cuyas consecuencias filosóficas he explorado en detalle en otras publicaciones.
|
| format | Article |
| id | doaj-art-243ecdc72acf4c8ebc1984eb29be935d |
| institution | Kabale University |
| issn | 0011-1503 1870-4905 |
| language | English |
| publishDate | 2019-01-01 |
| publisher | Universidad Nacional Autónoma de México (UNAM) |
| record_format | Article |
| series | Crítica |
| spelling | doaj-art-243ecdc72acf4c8ebc1984eb29be935d2025-08-20T03:42:45ZengUniversidad Nacional Autónoma de México (UNAM)Crítica0011-15031870-49052019-01-01329610.22201/iifs.18704905e.2000.891Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical ConstantsGustavo Fernández Díez0Facultad de Filosofía, Universidad de Murcia Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto, por lo que respecta a Kolmogorov y Heyting, ellos mismos las percibieron como tales), el conciso estudio que presento en este artículo demuestra la existencia de diferencias sutiles pero nada triviales entre ellas, diferencias cuyas consecuencias filosóficas he explorado en detalle en otras publicaciones. https://critica.filosoficas.unam.mx/index.php/critica/article/view/891 |
| spellingShingle | Gustavo Fernández Díez Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants Crítica |
| title | Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants |
| title_full | Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants |
| title_fullStr | Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants |
| title_full_unstemmed | Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants |
| title_short | Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants |
| title_sort | kolmogorov heyting and gentzen on the intuitionistic logical constants |
| url | https://critica.filosoficas.unam.mx/index.php/critica/article/view/891 |
| work_keys_str_mv | AT gustavofernandezdiez kolmogorovheytingandgentzenontheintuitionisticlogicalconstants |