About: Supervaluationism     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Thinking105770926, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FSupervaluationism

In philosophical logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. It allows one to apply the tautologies of propositional logic in cases where truth values are undefined. Supervaluations were first formalized by Bas van Fraassen.

AttributesValues
rdf:type
rdfs:label
  • Supervaluationism (en)
rdfs:comment
  • In philosophical logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. It allows one to apply the tautologies of propositional logic in cases where truth values are undefined. Supervaluations were first formalized by Bas van Fraassen. (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • In philosophical logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. It allows one to apply the tautologies of propositional logic in cases where truth values are undefined. According to supervaluationism, a proposition can have a definite truth value even when its components do not. The proposition "Pegasus likes licorice", for example, is often interpreted as having no truth-value given the assumption that the name "Pegasus" fails to refer. If indeed reference fails for "Pegasus", then it seems as though there is nothing that can justify an assignment of a truth-value to any apparent assertion in which the term "Pegasus" occurs. The statement "Pegasus likes licorice or Pegasus doesn't like licorice", however, is an instance of the valid schema (" or not-"), so, according to supervaluationism, it should be true regardless of whether or not its disjuncts have a truth value; that is, it should be true in all interpretations. If, in general, something is true in all , supervaluationism describes it as "supertrue", while something false in all precisifications is described as "superfalse". Supervaluations were first formalized by Bas van Fraassen. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is notable ideas of
is notableIdea of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software