Search results
Results From The WOW.Com Content Network
Fischer's first sole-authored monograph was Modal Justification via Theories, [5] in which he defends a "Theory-Based Epistemology of Modality". According to this account, agents can have a justified belief in modal claims about certain kinds of "extraordinary" matters (e.g., philosophical issues) only if the claim follows from a theory in which they have a justified belief.
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.
Epistemic modality is a sub-type of linguistic modality that encompasses knowledge, belief, or credence in a proposition. Epistemic modality is exemplified by the English modals may, might, must. However, it occurs cross-linguistically, encoded in a wide variety of lexical items and grammatical structures.
Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge.Also called "theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowledge in the form of skills, and knowledge by acquaintance as a familiarity through experience.
The mathematical structure of modal logic, namely Boolean algebras augmented with unary operations (often called modal algebras), began to emerge with J. C. C. McKinsey's 1941 proof that S2 and S4 are decidable, [39] and reached full flower in the work of Alfred Tarski and his student Bjarni Jónsson (Jónsson and Tarski 1951
Modalities are fundamental to understanding the concept behind structuration. According to Anthony Giddens, modalities explain the properties of the structure. The structure is said to have both structural and individual qualities. Giddens refers to these structural modalities as "rules" and "resources" respectively.
The same should go for possible worlds. Since these constructs have helped us make sense of key philosophical concepts in epistemology, metaphysics, philosophy of mind, etc., their existence should be accepted on pragmatic grounds. Lewis believes that the concept of alethic modality can be reduced to talk
Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy , computer science , economics , and statistics .