| http://dbpedia.org/ontology/abstract
|
In logica modale, la formula di Barcan e l'inverso della formula di Barcan definiscono una relazione tra quantificatori e operatori modali.
, Die Barcan-Formeln sind Schemata der quant … Die Barcan-Formeln sind Schemata der quantifizierten Modallogik. Sie drücken syntaktisch Prinzipien der Interaktion von Quantoren und Modaloperatoren aus; deren semantische Entsprechung ist eine Beziehung zwischen Gegenstandsbereichen möglicher Welten. Benannt sind sie nach der amerikanischen Philosophin Ruth Barcan Marcus, die sie als Axiome ihrer Erweiterung propositionaler Modallogik durch Quantifikation einführte.Modallogik durch Quantifikation einführte.
, En la lógica modal cuantificada, la fórmul … En la lógica modal cuantificada, la fórmula de Barcan y la fórmula de Barcan inversa (más exactamente, esquemas en lugar de fórmulas) (i) establecen sintácticamente principios de intercambio entre cuantificadores y modalidades; (ii) establecen semánticamente una relación entre dominios de mundos posibles. Las fórmulas fueron introducidas como axiomas por Ruth Barcan Marcus, en las primeras extensiones de la lógica modal proposicional para incluir la cuantificación. Las fórmulas relacionadas incluyen la . Las fórmulas relacionadas incluyen la .
, In quantified modal logic, the Barcan form … In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula.ated formulas include the Buridan formula.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20060826180747/http:/www.unl.edu/philosop/people/faculty/hayaki/ContingentObjectsAndBF.pdf +
, http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/Barcan.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
245298
|
| http://dbpedia.org/ontology/wikiPageLength
|
2989
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1008890392
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Actualism +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/English_language +
, http://dbpedia.org/resource/Commutative_property +
, http://dbpedia.org/resource/Buridan_formula +
, http://dbpedia.org/resource/Antecedent_%28logic%29 +
, http://dbpedia.org/resource/Ruth_Barcan_Marcus +
, http://dbpedia.org/resource/Category:Modal_logic +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Logic-stub +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Modal_logic +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Barcan_formula?oldid=1008890392&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Barcan_formula +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.01kh_j +
, http://es.dbpedia.org/resource/F%C3%B3rmula_de_Barcan +
, http://dbpedia.org/resource/Barcan_formula +
, http://de.dbpedia.org/resource/Barcan-Formel +
, http://www.wikidata.org/entity/Q3748370 +
, http://it.dbpedia.org/resource/Formula_di_Barcan +
, https://global.dbpedia.org/id/3TsQy +
|
| rdfs:comment |
En la lógica modal cuantificada, la fórmul … En la lógica modal cuantificada, la fórmula de Barcan y la fórmula de Barcan inversa (más exactamente, esquemas en lugar de fórmulas) (i) establecen sintácticamente principios de intercambio entre cuantificadores y modalidades; (ii) establecen semánticamente una relación entre dominios de mundos posibles. Las fórmulas fueron introducidas como axiomas por Ruth Barcan Marcus, en las primeras extensiones de la lógica modal proposicional para incluir la cuantificación. Las fórmulas relacionadas incluyen la . Las fórmulas relacionadas incluyen la .
, Die Barcan-Formeln sind Schemata der quant … Die Barcan-Formeln sind Schemata der quantifizierten Modallogik. Sie drücken syntaktisch Prinzipien der Interaktion von Quantoren und Modaloperatoren aus; deren semantische Entsprechung ist eine Beziehung zwischen Gegenstandsbereichen möglicher Welten. Benannt sind sie nach der amerikanischen Philosophin Ruth Barcan Marcus, die sie als Axiome ihrer Erweiterung propositionaler Modallogik durch Quantifikation einführte.Modallogik durch Quantifikation einführte.
, In quantified modal logic, the Barcan form … In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula.ated formulas include the Buridan formula.
, In logica modale, la formula di Barcan e l'inverso della formula di Barcan definiscono una relazione tra quantificatori e operatori modali.
|
| rdfs:label |
Fórmula de Barcan
, Formula di Barcan
, Barcan-Formel
, Barcan formula
|
