modal logic(redirected from Contingent truth)
Also found in: Thesaurus, Encyclopedia.
1. (Logic) the logical study of such philosophical concepts as necessity, possibility, contingency, etc
2. (Logic) the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts. See also alethic, deontic, epistemic, doxastic
3. (Logic) any formal system capable of being interpreted as a model for the behaviour of such concepts
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
Switch to new thesaurus
|Noun||1.||modal logic - the logical study of necessity and possibility|
logic - the branch of philosophy that analyzes inference
|2.||modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts|
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
alethic logic - the modal logic of necessity and possibility and contingency
deontic logic - the modal logic of obligation and permissibility
epistemic logic - the modal logic of knowledge and uncertainty and ignorance
doxastic logic - the modal logic of belief and disbelief
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.