La concepción intuicionista de la lógica

A menudo se ha estudiado la lógica como una ciencia puramente formal, donde no se tiene en cuenta el sentido de las nociones lógicas, sino solamente sus propiedades formales. En este caso no se trata de ver si una proposición es verdadera o falsa, sino solamente de indagar las condiciones formales s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Heyting, Arend
Formato: Articulo
Lenguaje:Español
Publicado: 1968
Materias:
Humanidades
Filosofía
Lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/15130
http://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.1126/pr.1126.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-15130
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Humanidades
Filosofía
Lógica
spellingShingle Humanidades
Filosofía
Lógica
Heyting, Arend
La concepción intuicionista de la lógica
topic_facet Humanidades
Filosofía
Lógica
description A menudo se ha estudiado la lógica como una ciencia puramente formal, donde no se tiene en cuenta el sentido de las nociones lógicas, sino solamente sus propiedades formales. En este caso no se trata de ver si una proposición es verdadera o falsa, sino solamente de indagar las condiciones formales según las cuales se puede deducir una proposición a partir de otras proposiciones. Sin embargo, cuando se va a aplicar la lógica, se debe esclarecer la cuestión de la significación de la palabra "verdadero" y de los otros términos lógicos, y se llega entonces a enunciados como el siguiente: "Una proposición es verdadera si el estado de cosas que ella expresa existe en el mundo real". La definición varía según el punto de vista del filósofo, pero ella presupone siempre una concepción de lo real; esto quiere decir que la lógica necesita, para su interpretación, de una ontología. <i>(Párrafo extraído del texto a modo de resumen)</i>
format Articulo
Articulo
author Heyting, Arend
author_facet Heyting, Arend
author_sort Heyting, Arend
title La concepción intuicionista de la lógica
title_short La concepción intuicionista de la lógica
title_full La concepción intuicionista de la lógica
title_fullStr La concepción intuicionista de la lógica
title_full_unstemmed La concepción intuicionista de la lógica
title_sort la concepción intuicionista de la lógica
publishDate 1968
url http://sedici.unlp.edu.ar/handle/10915/15130
http://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.1126/pr.1126.pdf
work_keys_str_mv AT heytingarend laconcepcionintuicionistadelalogica
bdutipo_str Repositorios
_version_ 1764820462631649283

Ejemplares similares