Search results
From KYNNpedia
Page title matches
- ...inguistics]]. While philosophers since [[Aristotle]] have discussed modal logic, and [[Medieval Philosophy|Medieval philosophers]] such as [[Avicenna]], [[ ...[dynamic logic (modal logic)|dynamic logic]] to create [[dynamic epistemic logic]], which can be used to specify and reason about information change and exc ...23 KB (3,735 words) - 19:21, 10 February 2024
Page text matches
- ...inguistics]]. While philosophers since [[Aristotle]] have discussed modal logic, and [[Medieval Philosophy|Medieval philosophers]] such as [[Avicenna]], [[ ...[dynamic logic (modal logic)|dynamic logic]] to create [[dynamic epistemic logic]], which can be used to specify and reason about information change and exc ...23 KB (3,735 words) - 19:21, 10 February 2024
- A [[fallacy]] is the use of [[Validity (logic)|invalid]] or otherwise faulty reasoning in the construction of an argument ...al fallacy"]}} All formal fallacies are types of {{lang|la|[[Non sequitur (logic)|non sequitur]]}}. ...67 KB (9,176 words) - 11:02, 9 February 2024
- ...sciplinary science derived from and related to such fields as mathematics, logic, linguistics, psychology, computer technology, operations research, the gra ...to Laws of Thought...,'' which lays the foundations for [[Boolean algebra (logic)|Boolean algebra]], which is later used in [[information retrieval]].<ref>{ ...48 KB (6,575 words) - 00:41, 2 February 2024
- == Logic == * {{bl|Catch-22 (logic)|Catch-22}}: A situation in which someone is in need of something that can ...56 KB (8,549 words) - 17:21, 26 February 2024
- ...ity]]. The current version is an OWL ontology, but a [[Common Logic|Common-Logic]] compliant version is anticipated in the future. The ontology and explanat ...s the [[Web Ontology Language]] (OWL) version of DOLCE. It simplifies some modal axioms of DOLCE, and extends it to cover the Descriptions and Situations fr ...48 KB (7,017 words) - 00:49, 26 February 2024
- ...bastiano Moruzzi (eds.), ''Cuts and clouds. Vagueness, Its Nature, and Its Logic.'' Oxford University Press, 2009; Delia Graff & Timothy Williamson (eds.), ...d in: Radim Bělohlávek, [[Joseph W. Dauben]] & [[George J. Klir]], ''Fuzzy Logic and Mathematics: A Historical Perspective''. Oxford University Press, 2017. ...158 KB (23,235 words) - 23:06, 3 February 2024
- ...hikawa|Steup|2018|loc=§ 3. The Gettier Problem, § 4. No False Lemmas, § 5. Modal Conditions, § 6. Doing Without Justification?}}</ref> This can happen, for ...istemology]] studies knowledge using formal tools found in mathematics and logic.<ref>{{harvnb|Weisberg|2021}}</ref> An important issue in this field concer ...190 KB (25,701 words) - 08:43, 6 March 2024
- ...ng [[state space search|search]] and [[mathematical optimization]], formal logic, [[artificial neural network]]s, and methods based on [[statistics]], [[ope Representing categories and relations: [[Semantic network]]s, [[description logic]]s, [[Inheritance (object-oriented programming)|inheritance]] (including [[ ...211 KB (27,226 words) - 11:03, 8 March 2024
- ...d learning, [[computer-mediated communication]], cyber-learning, and multi-modal instruction, virtual education, personal learning environments, [[networked ...or use in their free time. This type of concept, called PLATO (programmed logic for automatic teaching operations), was rapidly introduced throughout the g ...181 KB (24,126 words) - 13:18, 7 March 2024
