| http://dbpedia.org/ontology/abstract
|
認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種で … 認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。 1950年代には知識を扱う論理体系に関する論文が多数書かれたが、その元となったのは1951年に Georg Henrik von Wright が書いた論文 An Essay in Modal Logic である。1962年には、ヤーッコ・ヒンティッカの Knowledge and Belief が発表された。これは、知識の意味論を様相性で捉えることを示唆した最初の書籍である。これはそれまでの先人の築いたものの上に成り立っていたが、研究が本格化したのはこれ以降であった。例えばその後、認識論理にの考え方を導入することで公開的告知の論理 (public announcement logic) や product update logic が生まれ、会話における認識の微妙な点をモデル化しようとした。pdate logic が生まれ、会話における認識の微妙な点をモデル化しようとした。
, Эпистемическая логика (от греч. επιστήμη — … Эпистемическая логика (от греч. επιστήμη — знание; также логика знаний) — подвид модальной логики, имеющий дело с высказываниями о состоянии познания. Оперирует понятиями «знает», «полагает». Отдельные аспекты эпистемической логики обсуждали Аристотель, некоторые средневековые философы, в том числе Оккам и Дунс Скотт. Первые систематические исследования темы провёл в 1912 году, он же ввёл символику; современную форму направлению придали Сол Крипке (1963), Георг Хенрик фон Вригт, Яакко Хинтикка (1962). Логику знаний к экономике применил Роберт Ауман (Нобелевская премия по экономике 2005 года).обелевская премия по экономике 2005 года).
, De epistemische logica is een vorm van mod … De epistemische logica is een vorm van modale logica waarin kennis kan worden gemodelleerd. De epistemische logica voegt aan de taal van de propositielogica een operator K toe die aangeeft dat een propositie φ kennis is (Kφ). In de meeste toepassingen wordt aan deze operator weer een subscript toegevoegd dat aangeeft welke actor de kennis φ bezit (Kaφ). Daarmee is een multi-modale logica gevormd. Met behulp van deze operatoren kan ook gemeenschappelijke kennis geformaliseerd worden. Voor de semantiek van de epistemische logica wordt gebruikgemaakt van kripkemodellen, waarin de 'werelden' mogelijke toestanden van de werkelijkheid voorstellen. De epistemische logica vindt toepassingen in de filosofie en de theoretische informatica. Door toevoeging van andere modaliteiten dan kennis kunnen complexe verschijnselen als communicatie (onder andere in computernetwerken) effectief worden gemodelleerd; er is dan sprake van dynamisch-epistemische logica (DEL). De toevoeging van kansrekening leidt tot de probabilistische dynamisch-epistemische logica (PDEL).sche dynamisch-epistemische logica (PDEL).
, A Lógica Epistêmica é uma lógica complemen … A Lógica Epistêmica é uma lógica complementar da Lógica Clássica que trata do conhecimento. Enquanto a epistemologia tem uma longa tradição filosófica que remonta à Grécia Antiga, a lógica epistêmica é um desenvolvimento mais recente, com aplicações em diversos campos, como a filosofia, ciência da computação, inteligência artificial, economia e linguística. Enquanto filósofos desde Aristóteles têm discutido a lógica modal e filósofos medievais tais como Guilherme de Ockham e Duns Scotus desenvolveram muitas observações, foi Clarence Irving Lewis quem escreveu, em 1912, o primeiro tratado sistemático e simbólico dessa lógica. O desenvolvimento dessa lógica continuou amadurecendo, alcançando sua forma moderna em 1963, a partir do trabalho de Kripke. Durante a década de 1950, publicaram-se numerosos trabalhos que mencionam uma lógica epistêmica, porém o ensaio An Essay in Modal Logic (em inglês: Um Ensaio sobre a Lógica Modal), de 1951, é reconhecido como o primeiro documento a respeito do assunto. Em 1962, Jaakko Hintikka, escreveu Conhecimento e Crença, o primeiro livro em que se sugere o uso de modalidades para captar a semântica do conhecimento em vez de adotar as premissas aléticas com que tipicamente se desenvolve a lógica modal. Embora esse trabalho tenha fixado as bases desta lógica, desde então muitas pesquisas e avanços têm sido realizadas. Por exemplo, a lógica epistêmica foi recentemente combinada com algumas ideias da lógica dinâmica para criar uma e uma , que tentam modelar as sutilezas epistêmicas dos diálogos. Os trabalhos neste campo foram desenvolvidos por autores como Johan van Benthem, Baltag, Moss, Solecki, entre outros.them, Baltag, Moss, Solecki, entre outros.
, 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episte … 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。 认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。 认识逻辑与真势模态逻辑共享某些特征。例如模式 T， , 陈述必然的事物是真的，这好像是正确的。它的认识版本是 , 陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4， , 当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本 , 陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。 认识逻辑的早期提议者包括和雅各·辛提卡。他知道这个事情，这不是个很明显的一个原理。 认识逻辑的早期提议者包括和雅各·辛提卡。
, La lògica epistèmica és un camp de la lògi … La lògica epistèmica és un camp de la lògica modal que s'ocupa del raonament sobre el coneixement. Mentre que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la lògica epistèmica és un desenvolupament molt més recent amb aplicacions en nombrosos camps, com ara filosofia, ciència computacional teòrica, intel·ligència artificial, economia i lingüística. Mentre que els filòsofs a partir d'Aristòtil han discutit la lògica modal, i els filòsofs medievals com Guillem d'Occam i Duns Escot van desenvolupar nombroses observacions, va ser Clarence Irving Lewis qui el 1912 va realitzar el primer tractament simbòlic i sistemàtic d'aquest tema. El tema va continuar madurant, arribant a la seva forma moderna a 1963 a partir del treball de Saul Kripke. Durant la dècada de 1950 es van publicar nombrosos treballs que feia esment en passar una lògica del coneixement, però és acabat el treball de titulat «An Essay in Modal Logic» publicat a 1951 el qual és reconegut com el document fundacional. No va ser fins a 1962 que Jaakko Hintikka, escriu «Knowledge and Belief», el primer treball extens que suggereix utilitzar modalitats per capturar la semàntica del coneixement en comptes d'utilitzar les premisses aletes amb què típicament es desenvolupa la lògica modal. Si bé aquest treball va establir les bases del tema, des de llavors s'han realitzat nombroses investigacions i avenços. Per exemple, la lògica epistèmica ha estat recentment combinada amb algunes idees preses de la per crear una i una , que intenten modelar les subtileses epistèmiques de les converses. Els treballs fundacionals en aquest camp són els realitzats per , , i , , i . camp són els realitzats per , , i , , i .
, Epistemic modal logic is a subfield of mod … Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.dern form in 1963 with the work of Kripke.
, La epistema logiko estas kampo de la modal … La epistema logiko estas kampo de la modala logiko, kiu temas pri la raciigo pri la sciaro. Dum la epistemologio posedas longan filozofian tradicion, kiu devenas el la Antikva Grekio, la epistema logiko estas disvolvigo multe pli ĵusa kun aplikaĵoj en nombraj kampoj, kiaj filozofio, teoria informadiko, artefarita intelekto, ekonomiko kaj lingvistiko. Dum la filozofoj el Aristotelo diskutis la modalan logikon, kaj la mezepokaj filozofoj kiaj Okhamo kaj Duns Skoto disvolvigis nombrajn observojn, estis Clarence Irving Lewis kiu en 1912 realigis la unuan simbolan kaj sisteman traktadon de tiu temo, kiu plue maturiĝis, atingante sian modernan formon en 1963 el la verkaro de Saul Kripke. Dum la 1950-aj jaroj oni publikigis nombrajn verkojn, kiuj simple menciis logikon de la sciaro, sed pli ĵusa estas la verko de la svedlinga finno Georg Henrik von Wright titolita Eseo pri modala logiko publikigita en 1951, kiu estas agnoskita kiel fonda dokumento. Nur en 1962 alia finno, nome Jaakko Hintikka, verkis Kono kaj kredo, nome la unua etenda verko, en kiu li sugestas uzi modalojn por kapti la semantikon de la sciaro anstataŭ uzi la aletajn premisojn, per kiuj tipe oni disvolvigas la modalan logikon.j tipe oni disvolvigas la modalan logikon.
, La lógica epistémica es un campo de la lóg … La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica, inteligencia artificial, economía y lingüística. Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. Lewis quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. El tema continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke. Durante la década de 1950 se publicaron numerosos trabajos que mencionaban al pasar una lógica del conocimiento, pero es recién el trabajo de von Wright titulado An Essay in Modal Logic publicado en 1951 el que es reconocido como el documento fundacional. No fue sino hasta 1962 en que Hintikka, escribe Knowledge and Belief, el primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento en vez de utilizar las premisas aléticas con que típicamente se desarrolla la lógica modal. Si bien este trabajo sentó las bases del tema, desde entonces se han realizado numerosas investigaciones y avances. Por ejemplo, la lógica epistémica ha sido recientemente combinada con algunas ideas tomadas de la para crear una y una , que intentan modelar las sutilezas epistémicas de las conversaciones. Los trabajos fundacionales en este campo son los realizados por Plaza, , y Baltag, Moss, y Solecki.os por Plaza, , y Baltag, Moss, y Solecki.
, Die epistemische Logik (von griechisch ἐπι … Die epistemische Logik (von griechisch ἐπιστήμη ‚Wissenschaft, Wissen‘), auch Wissenslogik, befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen. Ziel von Untersuchungen mittels epistemischer Logik ist oft ein dynamisches oder flexibles Modell von Meinungs- und Wissenszuständen. Dieser Zweig der philosophischen Logik ist ein Teilbereich der Modallogik und fällt im Bereich von Glauben und Meinungen (Überzeugungen) häufig mit der doxastischen Logik zusammen.äufig mit der doxastischen Logik zusammen.
, La logique épistémique est une logique mod … La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005.Robert Aumann, Prix Nobel d'économie 2005.
, 인식 논리(認識論理, epistemic logic)는 앎의 개념을 나타내는 양상 논리 체계의 일종이다. 본래 C. I. Lewis 등이 연구한 바 있으며 솔 크립키의 등장 이후 논리적으로 형식화되었다. 철학을 비롯하여 컴퓨터 과학, 경제학, 언어학 등 다양한 분야에서 체계화와 연구가 진행되고 있다. 다만 이것이 실질적으로 인식론에 적용될 수 있을 것이라는 데에는 회의를 표하는 학자들도 있다.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.informatik.uni-leipzig.de/~duc/Thesis/node8.html +
, http://www.masfoundations.org/download.html +
, https://www.sciencedirect.com/science/article/pii/0004370294000603/pdf%3Fmd5=b2f5e10f33035cd64943bcd95f81b8a1&pid=1-s2.0-0004370294000603-main.pdf +
, http://www.masfoundations.org +
, https://archive.org/details/knowledgebeliefi00hint_0 +
, https://www.ubiquitypress.com/site/books/10.5334/bbh/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
3827197
|
| http://dbpedia.org/ontology/wikiPageLength
|
23636
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1115228458
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/William_of_Ockham +
, http://dbpedia.org/resource/Dynamic_epistemic_logic +
, http://dbpedia.org/resource/Two-dimensionalism +
, http://dbpedia.org/resource/Economics +
, http://dbpedia.org/resource/Ancient_Greece +
, http://dbpedia.org/resource/Modal_operator +
, http://dbpedia.org/resource/Doxastic_logic +
, http://dbpedia.org/resource/P_versus_NP_problem +
, http://dbpedia.org/resource/Multimodal_logic +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Symmetric_relation +
, http://dbpedia.org/resource/Saul_Kripke +
, http://dbpedia.org/resource/Philosophical_logic +
, http://dbpedia.org/resource/Timothy_Williamson +
, http://dbpedia.org/resource/Logic_in_computer_science +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Philosophical_Explanations +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Reflexive_relation +
, http://dbpedia.org/resource/Johan_van_Benthem_%28logician%29 +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Validity_%28logic%29 +
, http://dbpedia.org/resource/Linguistics +
, http://dbpedia.org/resource/Masked-man_fallacy +
, http://dbpedia.org/resource/Blackwell_Publishing +
, http://dbpedia.org/resource/Domain_of_discourse +
, http://dbpedia.org/resource/Alethic_modality +
, http://dbpedia.org/resource/Distributed_knowledge +
, http://dbpedia.org/resource/S5_%28modal_logic%29 +
, http://dbpedia.org/resource/Cornell_University_Press +
, http://dbpedia.org/resource/Mathematical_economics +
, http://dbpedia.org/resource/Intension +
, http://dbpedia.org/resource/Possible_world +
, http://dbpedia.org/resource/Princeton_University_Press +
, http://dbpedia.org/resource/Game_theory +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Identity_of_indiscernibles +
, http://dbpedia.org/resource/Multi-agent_systems +
, http://dbpedia.org/resource/Category:Artificial_intelligence +
, http://dbpedia.org/resource/Contraposition_%28traditional_logic%29 +
, http://dbpedia.org/resource/Event_%28philosophy%29 +
, http://dbpedia.org/resource/Ubiquity_Press +
, http://dbpedia.org/resource/Common_knowledge_%28logic%29 +
, http://dbpedia.org/resource/Medieval_Philosophy +
, http://dbpedia.org/resource/Epistemic_closure +
, http://dbpedia.org/resource/Euclidean_relation +
, http://dbpedia.org/resource/MIT_Press +
, http://dbpedia.org/resource/Epistemology +
, http://dbpedia.org/resource/Knowledge_representation +
, http://dbpedia.org/resource/Syllogism +
, http://dbpedia.org/resource/Relational_semantics +
, http://dbpedia.org/resource/Category:Formal_epistemology +
, http://dbpedia.org/resource/False_belief +
, http://dbpedia.org/resource/Mutual_knowledge_%28logic%29 +
, http://dbpedia.org/resource/C._I._Lewis +
, http://dbpedia.org/resource/Goldbach%27s_conjecture +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 +
, http://dbpedia.org/resource/Robert_Stalnaker +
, http://dbpedia.org/resource/Modus_ponens +
, http://dbpedia.org/resource/Tautology_%28logic%29 +
, http://dbpedia.org/resource/Jaakko_Hintikka +
, http://dbpedia.org/resource/Duns_Scotus +
, http://dbpedia.org/resource/Georg_Henrik_von_Wright +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Premise +
, http://dbpedia.org/resource/Knowledge +
, http://dbpedia.org/resource/Transitive_relation +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Conditional_proof +
, http://dbpedia.org/resource/Equivalence_relation +
, http://dbpedia.org/resource/University_of_Pittsburgh_Press +
, http://dbpedia.org/resource/Avicenna +
, http://dbpedia.org/resource/Richard_Montague +
, http://dbpedia.org/resource/Rule_of_inference +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Kripke_semantics +
, http://dbpedia.org/resource/Aristotle +
|
| http://dbpedia.org/property/date
|
October 2022
|
| http://dbpedia.org/property/reason
|
similar to syllogism
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_IEP +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:InPho +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:PhilPapers +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Non-classical_logic +
, http://dbpedia.org/resource/Template:Typo_help_inline +
, http://dbpedia.org/resource/Template:Cite_SEP +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Artificial_intelligence +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Category:Formal_epistemology +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Subfield +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Epistemic_modal_logic?oldid=1115228458&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Epistemic_modal_logic +
|
| owl:sameAs |
http://he.dbpedia.org/resource/%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%90%D7%A4%D7%99%D7%A1%D7%98%D7%9E%D7%99%D7%AA +
, http://ca.dbpedia.org/resource/L%C3%B2gica_epist%C3%A8mica +
, http://dbpedia.org/resource/Epistemic_modal_logic +
, http://d-nb.info/gnd/4152538-3 +
, http://it.dbpedia.org/resource/Logica_modale_epistemica +
, http://es.dbpedia.org/resource/L%C3%B3gica_epist%C3%A9mica +
, http://www.wikidata.org/entity/Q1347436 +
, http://de.dbpedia.org/resource/Epistemische_Logik +
, https://global.dbpedia.org/id/NENh +
, http://fr.dbpedia.org/resource/Logique_%C3%A9pist%C3%A9mique +
, http://ko.dbpedia.org/resource/%EC%9D%B8%EC%8B%9D_%EB%85%BC%EB%A6%AC +
, http://sw.cyc.com/concept/Mx4rvm4PNZwpEbGdrcN5Y29ycA +
, http://rdf.freebase.com/ns/m.0b1_ky +
, http://eo.dbpedia.org/resource/Epistema_logiko +
, http://fi.dbpedia.org/resource/Episteeminen_logiikka +
, http://zh.dbpedia.org/resource/%E8%AE%A4%E8%AF%86%E9%80%BB%E8%BE%91 +
, http://nl.dbpedia.org/resource/Epistemische_logica +
, http://ru.dbpedia.org/resource/%D0%AD%D0%BF%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 +
, http://ja.dbpedia.org/resource/%E8%AA%8D%E8%AD%98%E8%AB%96%E7%90%86 +
, http://pt.dbpedia.org/resource/L%C3%B3gica_epist%C3%AAmica +
|
| rdf:type |
http://dbpedia.org/ontology/Disease +
|
| rdfs:comment |
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episte … 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。 认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。 认识逻辑与真势模态逻辑共享某些特征。例如模式 T， , 陈述必然的事物是真的，这好像是正确的。它的认识版本是 , 陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4， , 当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本 , 陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。 认识逻辑的早期提议者包括和雅各·辛提卡。他知道这个事情，这不是个很明显的一个原理。 认识逻辑的早期提议者包括和雅各·辛提卡。
, Die epistemische Logik (von griechisch ἐπι … Die epistemische Logik (von griechisch ἐπιστήμη ‚Wissenschaft, Wissen‘), auch Wissenslogik, befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen. Ziel von Untersuchungen mittels epistemischer Logik ist oft ein dynamisches oder flexibles Modell von Meinungs- und Wissenszuständen. Dieser Zweig der philosophischen Logik ist ein Teilbereich der Modallogik und fällt im Bereich von Glauben und Meinungen (Überzeugungen) häufig mit der doxastischen Logik zusammen.äufig mit der doxastischen Logik zusammen.
, Epistemic modal logic is a subfield of mod … Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.dern form in 1963 with the work of Kripke.
, 인식 논리(認識論理, epistemic logic)는 앎의 개념을 나타내는 양상 논리 체계의 일종이다. 본래 C. I. Lewis 등이 연구한 바 있으며 솔 크립키의 등장 이후 논리적으로 형식화되었다. 철학을 비롯하여 컴퓨터 과학, 경제학, 언어학 등 다양한 분야에서 체계화와 연구가 진행되고 있다. 다만 이것이 실질적으로 인식론에 적용될 수 있을 것이라는 데에는 회의를 표하는 학자들도 있다.
, A Lógica Epistêmica é uma lógica complemen … A Lógica Epistêmica é uma lógica complementar da Lógica Clássica que trata do conhecimento. Enquanto a epistemologia tem uma longa tradição filosófica que remonta à Grécia Antiga, a lógica epistêmica é um desenvolvimento mais recente, com aplicações em diversos campos, como a filosofia, ciência da computação, inteligência artificial, economia e linguística. Enquanto filósofos desde Aristóteles têm discutido a lógica modal e filósofos medievais tais como Guilherme de Ockham e Duns Scotus desenvolveram muitas observações, foi Clarence Irving Lewis quem escreveu, em 1912, o primeiro tratado sistemático e simbólico dessa lógica. O desenvolvimento dessa lógica continuou amadurecendo, alcançando sua forma moderna em 1963, a partir do trabalho de Kripke.a em 1963, a partir do trabalho de Kripke.
, La lògica epistèmica és un camp de la lògi … La lògica epistèmica és un camp de la lògica modal que s'ocupa del raonament sobre el coneixement. Mentre que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la lògica epistèmica és un desenvolupament molt més recent amb aplicacions en nombrosos camps, com ara filosofia, ciència computacional teòrica, intel·ligència artificial, economia i lingüística. Mentre que els filòsofs a partir d'Aristòtil han discutit la lògica modal, i els filòsofs medievals com Guillem d'Occam i Duns Escot van desenvolupar nombroses observacions, va ser Clarence Irving Lewis qui el 1912 va realitzar el primer tractament simbòlic i sistemàtic d'aquest tema. El tema va continuar madurant, arribant a la seva forma moderna a 1963 a partir del treball de Saul Kripke. 1963 a partir del treball de Saul Kripke.
, La logique épistémique est une logique mod … La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005.Robert Aumann, Prix Nobel d'économie 2005.
, De epistemische logica is een vorm van mod … De epistemische logica is een vorm van modale logica waarin kennis kan worden gemodelleerd. De epistemische logica voegt aan de taal van de propositielogica een operator K toe die aangeeft dat een propositie φ kennis is (Kφ). In de meeste toepassingen wordt aan deze operator weer een subscript toegevoegd dat aangeeft welke actor de kennis φ bezit (Kaφ). Daarmee is een multi-modale logica gevormd. Met behulp van deze operatoren kan ook gemeenschappelijke kennis geformaliseerd worden.schappelijke kennis geformaliseerd worden.
, 認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種で … 認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。
, Эпистемическая логика (от греч. επιστήμη — … Эпистемическая логика (от греч. επιστήμη — знание; также логика знаний) — подвид модальной логики, имеющий дело с высказываниями о состоянии познания. Оперирует понятиями «знает», «полагает». Отдельные аспекты эпистемической логики обсуждали Аристотель, некоторые средневековые философы, в том числе Оккам и Дунс Скотт. Первые систематические исследования темы провёл в 1912 году, он же ввёл символику; современную форму направлению придали Сол Крипке (1963), Георг Хенрик фон Вригт, Яакко Хинтикка (1962). Логику знаний к экономике применил Роберт Ауман (Нобелевская премия по экономике 2005 года).обелевская премия по экономике 2005 года).
, La lógica epistémica es un campo de la lóg … La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica, inteligencia artificial, economía y lingüística. Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. Lewis quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. El tema continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke.na en 1963 a partir del trabajo de Kripke.
, La epistema logiko estas kampo de la modal … La epistema logiko estas kampo de la modala logiko, kiu temas pri la raciigo pri la sciaro. Dum la epistemologio posedas longan filozofian tradicion, kiu devenas el la Antikva Grekio, la epistema logiko estas disvolvigo multe pli ĵusa kun aplikaĵoj en nombraj kampoj, kiaj filozofio, teoria informadiko, artefarita intelekto, ekonomiko kaj lingvistiko. Dum la filozofoj el Aristotelo diskutis la modalan logikon, kaj la mezepokaj filozofoj kiaj Okhamo kaj Duns Skoto disvolvigis nombrajn observojn, estis Clarence Irving Lewis kiu en 1912 realigis la unuan simbolan kaj sisteman traktadon de tiu temo, kiu plue maturiĝis, atingante sian modernan formon en 1963 el la verkaro de Saul Kripke.rmon en 1963 el la verkaro de Saul Kripke.
|
| rdfs:label |
Epistema logiko
, Lógica epistémica
, Epistemische Logik
, 認識論理
, Epistemic modal logic
, Lògica epistèmica
, Logica modale epistemica
, Lógica epistêmica
, Logique épistémique
, Epistemische logica
, Эпистемическая логика
, 인식 논리
, 认识逻辑
|
