Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Intensional logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Approach to predicate logic
Property
Value
dbo:
description
approach to predicate logic
(en)
dbo:
wikiPageExternalLink
https://web.archive.org/web/20080704110914/http:/comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/foil.pdf
http://plato.stanford.edu/entries/logic-intensional
http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/foil.pdf
dbo:
wikiPageWikiLink
dbr
:Modal_operator
dbc
:Non-classical_logic
dbr
:Gottlob_Frege
dbr
:Richard_Montague
dbc
:Predicate_logic
dbr
:Quantifier_(logic)
dbr
:De_dicto_and_de_re
dbr
:First-order_logic
dbr
:Reference
dbr
:Saul_Kripke
dbr
:Free_variables_and_bound_variables
dbr
:Possible_world
dbr
:Frege–Church_ontology
dbr
:Sense_and_reference
dbr
:Syllogism
dbr
:Deductive_reasoning
dbr
:Aristotle
dbc
:Philosophical_logic
dbr
:Logic
dbr
:Duality_(mathematics)
dbr
:Kripke_semantics
dbr
:Modal_logic
dbr
:Relevance
dbr
:Extension_(predicate_logic)
dbr
:Proof_calculus
dbr
:Extensionality
dbr
:Montague_grammar
dbr
:Function_word
dbr
:Alonzo_Church
dbr
:Truth_value
dbr
:Dynamic_logic_(modal_logic)
dbr
:Extension_(semantics)
dbr
:Intension
dbr
:Transparent_intensional_logic
dbr
:De_Morgan's_laws
dbr
:Jaakko_Hintikka
dbr
:Temporal_logic
dbr
:Stanford_Encyclopedia_of_Philosophy
dbr
:Melvin_Fitting
dbr
:Alethic_logic
dbr
:Annals_of_Pure_and_Applied_Logic
dbr
:Formal_semantics_(logic)
dbr
:Epistemic_logic
dbr
:Clarence_Irving_Lewis
dbr
:Intensional_statement
dbr
:Temperature_paradox
dbr
:Predicate_logic
dbr
:Strict_implication
dbr
:Open_sentence
dbr
:Metarule
dbr
:William_Kneale_(logician)
dbr
:Two_dimensional_semantics
dbr
:Variable_(programming)
dbp:
date
2008-07-04
(xsd:date)
dbp:
url
https://web.archive.org/web/20080704110914/http:/comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/foil.pdf
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:Reflist
dbt
:Cite_SEP
dbt
:Citation
dbt
:Formal_semantics
dbt
:Distinguish
dbt
:Webarchive
dbt
:Short_description
dct:
subject
dbc
:Non-classical_logic
dbc
:Predicate_logic
dbc
:Philosophical_logic
gold:
hypernym
dbr
:Approach
rdfs:
label
Intensional logic
(en)
Lógica intensional
(es)
Logica intensionale
(it)
owl:
differentFrom
dbr
:Intentional_Logic
owl:
sameAs
freebase
:Intensional logic
wikidata
:Intensional logic
dbpedia-it
:Intensional logic
dbpedia-es
:Intensional logic
dbpedia-fa
:Intensional logic
dbpedia-global
:Intensional logic
prov:
wasDerivedFrom
wikipedia-en
:Intensional_logic?oldid=1251530722&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Intensional_logic
is
dbo:
knownFor
of
dbr
:Alonzo_Church
is
dbo:
notableIdea
of
dbr
:Arthur_Prior
dbr
:Rudolf_Carnap
is
dbo:
wikiPageDisambiguates
of
dbr
:Intensional
is
dbo:
wikiPageRedirects
of
dbr
:Extensional_logic
is
dbo:
wikiPageWikiLink
of
dbr
:Alice_ter_Meulen
dbr
:Arthur_Prior
dbr
:Extensional_and_intensional_definitions
dbr
:Intuitionistic_type_theory
dbr
:Peter_Ludlow
dbr
:Possible_world
dbr
:Object_of_the_mind
dbr
:Formal_semantics_(natural_language)
dbr
:Rudolf_Carnap
dbr
:Sense_and_reference
dbr
:Relevance
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Intensional
dbr
:Index_of_logic_articles
dbr
:Probabilistic_logic_network
dbr
:Semantics_of_logic
dbr
:Montague_grammar
dbr
:Raili_Kauppi
dbr
:Alonzo_Church
dbr
:Extensional_context
dbr
:Intension
dbr
:Transparent_intensional_logic
dbr
:Glue_semantics
dbr
:List_of_atheist_philosophers
dbr
:Edward_N._Zalta
dbr
:Paul_Gochet
dbr
:Pavel_Tichý
dbr
:Outline_of_logic
dbr
:Pavel_Materna
dbr
:Temperature_paradox
dbr
:Claudio_E.A._Pizzi
dbr
:Extensional_logic
is
dbp:
knownFor
of
dbr
:Alonzo_Church
is
dbp:
notableIdeas
of
dbr
:Arthur_Prior
is
owl:
differentFrom
of
dbr
:Intentional_Logic
is
foaf:
primaryTopic
of
wikipedia-en
:Intensional_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International