Property |
Value |
dbo:abstract
|
- La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente. (es)
- La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente. (es)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:apellidos
|
- Priest (es)
- Mosterín, Jesús (es)
- Ferrater Mora, J. (es)
- Honderich, T. (es)
- Padilla Gálvez (es)
- Deaño, Alfredo (es)
- Sacristán, Manuel (es)
- Priest (es)
- Mosterín, Jesús (es)
- Ferrater Mora, J. (es)
- Honderich, T. (es)
- Padilla Gálvez (es)
- Deaño, Alfredo (es)
- Sacristán, Manuel (es)
|
prop-es:año
|
- 1970 (xsd:integer)
- 1974 (xsd:integer)
- 1976 (xsd:integer)
- 1980 (xsd:integer)
- 1984 (xsd:integer)
- 2001 (xsd:integer)
- 2008 (xsd:integer)
- 2017 (xsd:integer)
|
prop-es:edición
| |
prop-es:editorial
|
- Cambridge University Press (es)
- Barcelona: Ariel (es)
- Madrid: Alianza Editorial (es)
- Barcelona. Alianza Diccionarios. (es)
- Madrid. Editorial Tecnos (es)
- Tirant Lo Blanch (es)
- Barcelona. Ariel. (es)
- Madrid: Taurusl (es)
- Cambridge University Press (es)
- Barcelona: Ariel (es)
- Madrid: Alianza Editorial (es)
- Barcelona. Alianza Diccionarios. (es)
- Madrid. Editorial Tecnos (es)
- Tirant Lo Blanch (es)
- Barcelona. Ariel. (es)
- Madrid: Taurusl (es)
|
prop-es:enlaceautor
|
- Jesús Padilla Gálvez (es)
- Jesús Padilla Gálvez (es)
|
prop-es:fechaacceso
| |
prop-es:fechaarchivo
| |
prop-es:isbn
|
- 84 (xsd:integer)
- 978 (xsd:integer)
|
prop-es:nombre
|
- Graham (es)
- J. (es)
- Graham (es)
- J. (es)
|
prop-es:título
|
- Lógica de primer orden (es)
- Diccionario de Filosofía (es)
- Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano (es)
- An introduction to non-classical logic: From if to is (es)
- Introducción a la lógica y al análisis formal (es)
- Las concepciones de la lógica (es)
- Verdad. Controversias Abiertas (es)
- Introducción a la lógica formal 2. La lógica de predicados (es)
- Introducción a la lógica formal 1. La lógica de enunciados (es)
- Lógica de primer orden (es)
- Diccionario de Filosofía (es)
- Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano (es)
- An introduction to non-classical logic: From if to is (es)
- Introducción a la lógica y al análisis formal (es)
- Las concepciones de la lógica (es)
- Verdad. Controversias Abiertas (es)
- Introducción a la lógica formal 2. La lógica de predicados (es)
- Introducción a la lógica formal 1. La lógica de enunciados (es)
|
prop-es:ubicación
|
- Nueva York (es)
- Valencia (es)
- Nueva York (es)
- Valencia (es)
|
prop-es:url
| |
prop-es:urlarchivo
| |
dct:subject
| |
rdfs:comment
|
- La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente. (es)
- La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente. (es)
|
rdfs:label
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:education
of | |
is dbo:gender
of | |
is dbo:genre
of | |
is dbo:knownFor
of | |
is dbo:literaryGenre
of | |
is dbo:nonFictionSubject
of | |
is dbo:occupation
of | |
is dbo:wikiPageRedirects
of | |
is prop-es:campo
of | |
is prop-es:género
of | |
is prop-es:habilidades
of | |
is prop-es:ocupación
of | |
is prop-es:otros
of | |
is prop-es:tema
of | |
is prop-es:área
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |