HTML Microdata document

This HTML5 document contains 133 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n16	https://web.archive.org/web/20080704110914/http:/comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n13	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
n20	http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/
freebase	http://rdf.freebase.com/ns/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
n22	http://plato.stanford.edu/entries/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:Probabilistic_logic_network
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Rudolf_Carnap
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbo:notableIdea: dbr:Intensional_logic

Subject Item: dbr:List_of_atheist_philosophers
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Montague_grammar
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Alice_ter_Meulen
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Pavel_Materna
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Peter_Ludlow
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Relevance
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Index_of_logic_articles
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Intension
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Intensional_logic
rdf:type: owl:Thing dbo:ProgrammingLanguage
rdfs:label: Intensional logic Logica intensionale Lógica intensional
rdfs:comment: Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados. Para entender lo que son estos aspectos intensionales, considérese el siguiente famoso ejemplo: "la estrella matutina" y "la estrella vespertina" son dos expresiones que los antiguos utilizaban para referir a la misma cosa: el planeta Venus. Sin embargo, los antiguos no sabían que la estrella matutina es idéntica a la estrella vespertina, y descubrirlo llevó muchos siglos de observación astronómica. De modo que la afirmación "la estrella matutina es la estrella vespertina" no es una afirmación obvia. En cambio, la afirmación "el planeta Venus es el planeta Venus" sí es una afirmación obvia. ¿Cuál es la diferencia entre ambas afirmaciones, dado que ambas dicen de la misma cosa
owl:differentFrom: dbr:Intentional_logic
dcterms:subject: dbc:Non-classical_logic dbc:Philosophical_logic dbc:Predicate_logic
dbo:wikiPageID: 1601765
dbo:wikiPageRevisionID: 1124840593
dbo:wikiPageWikiLink: dbr:Function_word dbr:Epistemic_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Sense_and_reference dbr:Predicate_logic dbr:Annals_of_Pure_and_Applied_Logic dbr:Possible_world dbr:Intensional_statement dbc:Philosophical_logic dbr:Proof_calculus dbr:Modal_logic dbr:Strict_implication dbr:First-order_logic dbr:Montague_grammar dbc:Non-classical_logic dbr:Aristotle dbr:Alonzo_Church dbr:Gottlob_Frege dbr:Extensionality dbr:Relevance dbr:Modal_operator dbr:Jaakko_Hintikka dbr:Truth_value dbr:Saul_Kripke dbr:Intension dbr:Melvin_Fitting dbr:Deductive_reasoning dbr:Metarule dbr:Variable_(programming) dbr:Two_dimensional_semantics dbr:Free_variables_and_bound_variables dbr:Extension_(predicate_logic) dbr:Richard_Montague dbr:Extension_(semantics) dbr:Frege–Church_ontology dbr:Syllogism dbr:De_Morgan's_laws dbr:Kripke_semantics dbr:Quantifier_(logic) dbr:Open_sentence dbr:Reference dbr:Logic dbr:Alethic_logic dbr:De_dicto_and_de_re dbr:Temperature_paradox dbr:Formal_semantics_(logic) dbr:Temporal_logic dbr:Transparent_intensional_logic dbr:Duality_(mathematics) dbr:Clarence_Irving_Lewis dbc:Predicate_logic dbr:William_Kneale_(logician) dbr:Dynamic_logic_(modal_logic)
dbo:wikiPageExternalLink: n16:foil.pdf n20:foil.pdf n22:logic-intensional
owl:sameAs: wikidata:Q6044335 freebase:m.03m3n50 n13:4njdy dbpedia-es:Lógica_intensional dbpedia-fa:منطق_معنایی dbpedia-it:Logica_intensionale
dbp:wikiPageUsesTemplate: dbt:Distinguish dbt:Main dbt:Cite_SEP dbt:Citation dbt:Webarchive dbt:Formal_semantics dbt:Reflist
dbp:date: 2008-07-04
dbp:url: n16:foil.pdf
dbo:abstract: Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados. Para entender lo que son estos aspectos intensionales, considérese el siguiente famoso ejemplo: "la estrella matutina" y "la estrella vespertina" son dos expresiones que los antiguos utilizaban para referir a la misma cosa: el planeta Venus. Sin embargo, los antiguos no sabían que la estrella matutina es idéntica a la estrella vespertina, y descubrirlo llevó muchos siglos de observación astronómica. De modo que la afirmación "la estrella matutina es la estrella vespertina" no es una afirmación obvia. En cambio, la afirmación "el planeta Venus es el planeta Venus" sí es una afirmación obvia. ¿Cuál es la diferencia entre ambas afirmaciones, dado que ambas dicen de la misma cosa que es idéntica a sí misma? ¿Por qué una es obvia y la otra no? La diferencia puede expresarse diciendo que si bien "la estrella matutina" y "la estrella vespertina" designan la misma cosa, lo hacen de manera distinta. A la cosa designada se la llama la extensión de la expresión, mientras que al modo de designarla, se la llama su intensión. Diferentes tipos de expresiones tienen diferentes tipos de extensiones e intensiones. Cuando se trata de nombres propios, la extensión es la entidad a la cual designan. Por ejemplo, la extensión del nombre "Aristóteles" es Aristóteles. En el caso de los predicados, la extensión es el conjunto de entidades sobre las cuales se aplican con verdad. Por ejemplo, la extensión del predicado "la estrella matutina" es un conjunto de una sola entidad, el planeta Venus, y la del predicado "planeta del sistema solar" es: Mercurio, Venus, Tierra, Marte, Júpiter, Saturno, Urano y Neptuno. Las oraciones con valor de verdad también tienen una extensión: su valor de verdad (0 o 1). Determinar cuál es la intención de cada tipo de expresiones es parte de la tarea de la lógica intensional. En algunos contextos, reemplazar una expresión por otra con la misma extensión conserva el valor de verdad de lo que se está diciendo. En la oración "Aristóteles fue el estudiante más eminente de Platón", si la expresión "Aristóteles" se reemplaza por otra con la misma extensión, entonces el valor de verdad de la oración se conserva. Por ejemplo: "el maestro más eminente de Alejandro Magno fue el estudiante más eminente de Platón". Contextos donde la verdad de las oraciones depende sólo de la extensión de las expresiones se llaman extensionales. En cambio, los contextos intensionales son aquellos donde la sustitución de una expresión por otra con la misma extensión no garantiza la conservación del valor de verdad. Por ejemplo, si la oración "Juan sabe que Aristóteles fue el estudiante más eminente de Platón" es verdadera, eso no implica que "Juan sabe que el maestro más eminente de Alejandro Magno fue el estudiante más eminente de Platón" también lo sea. Esto muestra que los contextos que involucran al conocimiento son contextos intensionales. La distinción entre extensión e intensión también ha sido introducida con otros nombres: denotación y connotación por John Stuart Mill, y referencia y sentido por Gottlob Frege. No debe confundirse a la intensión con la intención, que es otro concepto filosófico. La lógica intensional puede entenderse como proveyendo una teoría del significado para cierto rango de expresiones.
gold:hypernym: dbr:Approach
prov:wasDerivedFrom: wikipedia-en:Intensional_logic?oldid=1124840593&ns=0
dbo:wikiPageLength: 11537
foaf:isPrimaryTopicOf: wikipedia-en:Intensional_logic

Subject Item: dbr:Intentional_Logic
owl:differentFrom: dbr:Intensional_logic

Subject Item: dbr:Intuitionistic_type_theory
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Intensional
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbo:wikiPageDisambiguates: dbr:Intensional_logic

Subject Item: dbr:Possible_world
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Edward_N._Zalta
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbp:mainInterests: dbr:Intensional_logic
dbo:mainInterest: dbr:Intensional_logic

Subject Item: dbr:Claudio_E.A._Pizzi
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Alonzo_Church
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbp:knownFor: dbr:Intensional_logic
dbo:knownFor: dbr:Intensional_logic

Subject Item: dbr:Formal_semantics_(natural_language)
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Glue_semantics
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Sense_and_reference
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Arthur_Prior
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbp:notableIdeas: dbr:Intensional_logic
dbo:notableIdea: dbr:Intensional_logic

Subject Item: dbr:Pavel_Tichý
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Semantics_of_logic
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Extensional_and_intensional_definitions
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Extensional_context
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Raili_Kauppi
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Object_of_the_mind
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Paul_Gochet
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Outline_of_logic
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Transparent_intensional_logic
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Temperature_paradox
dbo:wikiPageWikiLink: dbr:Intensional_logic

Subject Item: dbr:Extensional_logic
dbo:wikiPageWikiLink: dbr:Intensional_logic
dbo:wikiPageRedirects: dbr:Intensional_logic

Subject Item: wikipedia-en:Intensional_logic
foaf:primaryTopic: dbr:Intensional_logic