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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n11https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Epistemic_humility
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Epistemic_modal_logic
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:List_of_academic_fields
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Modal_logic
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Löb's_theorem
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Moore's_paradox
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Belief
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Index_of_analytic_philosophy_articles
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Index_of_contemporary_philosophy_articles
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Index_of_philosophy_articles_(D–H)
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Intellectual_courage
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:List_of_logic_symbols
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Modal_operator
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Semantic_reasoner
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Quantum_Bayesianism
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Dempster–Shafer_theory
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Doxa
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Doxastic_attitudes
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Doxastic_logic
rdfs:label
Doxastische Logik Lógica doxástica Lògica doxàstica Доксастична логіка Doksasta logiko Doxastic logic Logica doxastica Lógica doxástica Logique doxastique
rdfs:comment
La lògica doxàstica (del grec antic δόξα, doxa, "creença") és una lògica modal que s'ocupa del raonament sobre les creences. Típicament, una lògica doxàstica utilitza l'expressió per significar "el raonador c creu que p és veritable", i el conjunt es refereix al conjunt de creences de c. Hi ha un paral·lelisme complet entre els raonadors que creuen en proposicions i els sistemes matemàtics que demostren proposicions. Utilitzant la lògica doxàstica, es pot expressar l'equivalent epistèmic del teorema d'incompletesa de Gödel, com també el , i altres resultats matemàtics. Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic derives from the Ancient Greek δόξα (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation to mean "It is believed that is the case", and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. Доксастична логіка — тип логіки, предметом якої є розмірковування про віру. Термін доксастична походить від старогрецького слова δόξα, , що означає «віра». Типово доксастична логіка використовує позначення для висловлювання «вірити в те, що має місце », і позначення для множини вірувань. Доксастична логіка трактує віру як . La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar "el razonador c cree que p es verdadero", y el conjunto se refiere al conjunto de creencias de c. Lógica doxástica é um tipo de lógica modal preocupada com o raciocínio sobre crenças. O termo doxástico é derivado do grego antigo δόξα (doxa), que significa "crença" ou "opinião". Tipicamente, uma lógica do tipo doxástico utiliza Bx para referir-se a "Acredita-se que x é o caso," e o conjunto denota um . Na lógica doxástica, a crença é tratada como um operador modal. : {} La doksasta logiko (de la antikva greka δόξα, doksa, "kredo") estas modala logiko kiu temas pri la rezonado pri la kredoj. Tipe, doksasta logiko uzas la esprimon por signifi "la rezonanto c krdas, ke p estas vera", kaj la aro referencas al kredaro de c. Ekzistas kompleta paralelismo inter la rezonantoj kiuj kredas en propozicioj kaj la matematikaj sistemoj miuj pruvas propoziciojn. Uzante la doksastan logikon, oni povas esprimi la episteman ekvivalenton de la teoremo de la nekompleteco de Gödel, same kiel la teoremon de Löb, kaj aliajn metamatematikajn rezultojn. Die doxastische Logik ist eine Modale Logik, welche logische Aspekte des Glaubens oder Meinens formalisiert. Der Begriff „doxastisch“ stammt vom altgriechischen doxa, „der Glaube“. In einer doxastischen Logik wird ein neuer Operator der Art B(x) eingeführt, der intuitiv die Bedeutung „Es wird geglaubt, dass x der Fall ist.“ trägt. Die Menge meint dann eine Menge von Meinungen oder Glaubenssätzen. Ein Glaube wird somit als ein modaler Operator formalisiert: : {} La logica doxastica è la branca della logica modale che si occupa della credenza. L'aggettivo doxastico presente nel nome deriva dal greco antico δόξα doxa “opinione”. In logica doxastica la credenza funziona convenzionalmente come un operatore logico. Alcuni famosi paradossi della filosofia di tradizione analitica, come il paradosso di Moore, si prestano ad essere formalizzati mediante questo tipo di logica. L'unione della logica doxastica e della logica epistemica costituisce la base per la logica epistemica dinamica. La logique doxastique est un type de logique modale qui s'intéresse au raisonnement sur les croyances.
dcterms:subject
dbc:Modal_logic dbc:Belief dbc:Belief_revision dbc:Reasoning
dbo:wikiPageID
12065590
dbo:wikiPageRevisionID
1084694646
dbo:wikiPageWikiLink
dbr:Gödel's_incompleteness_theorem dbr:Deductive_closure dbr:Self_awareness dbr:George_Boolos dbr:Formal_proof dbr:Moore's_paradox dbr:Löb's_Theorem dbr:Formal_system dbr:Logical_equivalence dbr:Belief_revision dbr:Truth_tables dbc:Modal_logic dbr:Propositional_logic dbr:Erkenntnis dbr:Proposition dbr:Epistemic_modal_logic dbr:Common_knowledge_(logic) dbr:Tautology_(logic) dbc:Belief dbr:Löb's_theorem dbr:Theory_(mathematical_logic) dbr:Journal_of_Philosophy dbr:De_dicto_and_de_re dbr:Raymond_Smullyan dbr:Modal_operator dbr:Modus_ponens dbc:Belief_revision dbr:Lottery_paradox dbr:Types_of_logic dbr:Ancient_Greek dbr:Doxa dbr:Epistemic_logic dbr:Denotation dbr:Modal_logic dbr:Metalogic dbc:Reasoning dbr:Kripke_semantics dbr:Rewriting dbr:Reasoning dbr:Jaakko_Hintikka dbr:Dense_order dbr:Belief
owl:sameAs
dbpedia-pt:Lógica_doxástica n11:4qorb dbpedia-es:Lógica_doxástica dbpedia-fi:Doksastinen_logiikka dbpedia-it:Logica_doxastica wikidata:Q669180 dbpedia-eo:Doksasta_logiko dbpedia-sk:Doxastická_logika dbpedia-ca:Lògica_doxàstica dbpedia-fr:Logique_doxastique freebase:m.02vnngq dbpedia-uk:Доксастична_логіка dbpedia-de:Doxastische_Logik
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Portal dbt:Wt dbt:Non-classical_logic dbt:Reflist
dbo:abstract
Die doxastische Logik ist eine Modale Logik, welche logische Aspekte des Glaubens oder Meinens formalisiert. Der Begriff „doxastisch“ stammt vom altgriechischen doxa, „der Glaube“. In einer doxastischen Logik wird ein neuer Operator der Art B(x) eingeführt, der intuitiv die Bedeutung „Es wird geglaubt, dass x der Fall ist.“ trägt. Die Menge meint dann eine Menge von Meinungen oder Glaubenssätzen. Ein Glaube wird somit als ein modaler Operator formalisiert: : {} La logique doxastique est un type de logique modale qui s'intéresse au raisonnement sur les croyances. Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic derives from the Ancient Greek δόξα (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation to mean "It is believed that is the case", and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief. La lògica doxàstica (del grec antic δόξα, doxa, "creença") és una lògica modal que s'ocupa del raonament sobre les creences. Típicament, una lògica doxàstica utilitza l'expressió per significar "el raonador c creu que p és veritable", i el conjunt es refereix al conjunt de creences de c. Hi ha un paral·lelisme complet entre els raonadors que creuen en proposicions i els sistemes matemàtics que demostren proposicions. Utilitzant la lògica doxàstica, es pot expressar l'equivalent epistèmic del teorema d'incompletesa de Gödel, com també el , i altres resultats matemàtics. La doksasta logiko (de la antikva greka δόξα, doksa, "kredo") estas modala logiko kiu temas pri la rezonado pri la kredoj. Tipe, doksasta logiko uzas la esprimon por signifi "la rezonanto c krdas, ke p estas vera", kaj la aro referencas al kredaro de c. Ekzistas kompleta paralelismo inter la rezonantoj kiuj kredas en propozicioj kaj la matematikaj sistemoj miuj pruvas propoziciojn. Uzante la doksastan logikon, oni povas esprimi la episteman ekvivalenton de la teoremo de la nekompleteco de Gödel, same kiel la teoremon de Löb, kaj aliajn metamatematikajn rezultojn. Oni atentas pri tre diversaj tipoj de rezonantoj, inter kiuj preciza, malpreciza, supozita, konsistanta, normala, pekuliara, regulara, refleksiva, stabila, nestabila, modesta, rara kaj timida. Доксастична логіка — тип логіки, предметом якої є розмірковування про віру. Термін доксастична походить від старогрецького слова δόξα, , що означає «віра». Типово доксастична логіка використовує позначення для висловлювання «вірити в те, що має місце », і позначення для множини вірувань. Доксастична логіка трактує віру як . Існує повна відповідність між вірою особи в певні висловлювання й формальною системою, що виводить ці висловлювання. Використовуючи доксастичну логіку, можна сформуювати епістемічна відповідники теореми Геделя про неповноту металогіки, а також теорему Леба та інші результати металогіки у термінах віри. La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar "el razonador c cree que p es verdadero", y el conjunto se refiere al conjunto de creencias de c. Existe un paralelismo completo entre los razonadores que creen en proposiciones y los sistemas matemáticos que demuestran proposiciones. Utilizando la lógica doxástica, se puede expresar el equivalente epistémico del teorema de la incompletitud de Gödel, como también el teorema de Löb, y otros resultados metamatemáticos.​ Lógica doxástica é um tipo de lógica modal preocupada com o raciocínio sobre crenças. O termo doxástico é derivado do grego antigo δόξα (doxa), que significa "crença" ou "opinião". Tipicamente, uma lógica do tipo doxástico utiliza Bx para referir-se a "Acredita-se que x é o caso," e o conjunto denota um . Na lógica doxástica, a crença é tratada como um operador modal. : {} Existe um paralelismo completo entre uma pessoa que acredita em proposições e um sistema formal que deriva proposições. Usando a lógica doxástica, é possível expressar a contrapartida epistêmica do Teorema da Incompletude de Gödel, assim como o Teorema de Löb, e outros resultados metalógicos em termos de crença. La logica doxastica è la branca della logica modale che si occupa della credenza. L'aggettivo doxastico presente nel nome deriva dal greco antico δόξα doxa “opinione”. In logica doxastica la credenza funziona convenzionalmente come un operatore logico. Alcuni famosi paradossi della filosofia di tradizione analitica, come il paradosso di Moore, si prestano ad essere formalizzati mediante questo tipo di logica. L'unione della logica doxastica e della logica epistemica costituisce la base per la logica epistemica dinamica.
prov:wasDerivedFrom
wikipedia-en:Doxastic_logic?oldid=1084694646&ns=0
dbo:wikiPageLength
13554
foaf:isPrimaryTopicOf
wikipedia-en:Doxastic_logic
Subject Item
dbr:Doxastic_voluntarism
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Foundationalism
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Basic_belief
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Formal_ethics
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Hannes_Leitgeb
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Interpretations_of_quantum_mechanics
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Jaakko_Hintikka
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Masked-man_fallacy
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Popper_and_After
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Raymond_Smullyan
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:I_know_that_I_know_nothing
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Evidentialism
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Exclusivism
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Fitch's_paradox_of_knowability
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Outline_of_philosophy
dbo:wikiPageWikiLink
dbr:Doxastic_logic
Subject Item
dbr:Doxastic
dbo:wikiPageWikiLink
dbr:Doxastic_logic
dbo:wikiPageRedirects
dbr:Doxastic_logic
Subject Item
dbr:Reasonable_belief
dbo:wikiPageWikiLink
dbr:Doxastic_logic
dbo:wikiPageRedirects
dbr:Doxastic_logic
Subject Item
wikipedia-en:Doxastic_logic
foaf:primaryTopic
dbr:Doxastic_logic