modal logic

(redirected from Contingent truth)
Also found in: Thesaurus, Encyclopedia.

modal logic

n
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
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.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
References in periodicals archive ?
Indeed, competitiveness is the key to contingency in that what it means to be a contingent truth is that it could have been otherwise if some other decision had been made or some other factor had gotten the upper hand.
A proposition is a contingent truth if it possesses the truth property in a contingent way, whereas it is a necessary truth if it possesses the truth property in a necessary way.
If a necessary truth is a truth that is always true, and cannot be otherwise, a contingent truth is a truth that only happens to be true, and could have been otherwise.
ii) He appeals implicitly to GE: R and D are epistemically equivalent; therefore, they share the epistemic status; since we mistake --GE claims-- the epistemic status for the modal status, we transfer the modal status of the contingent truth D to the epistemically equivalent truth R.
Indeed, while the statement '9 is greater than 7' is a necessary truth, the statement 'the number of planets is greater than 7' is a contingent truth.
Most of our cars run on four tires" is a contingent truth because it could have been otherwise; it is not necessarily so.
But I do not hold this to be a necessary truth as Sanders implies; I hold it to be a contingent truth.
The term "law" stands in the series "hypothesis, theory, law," the third term being the one used about a proposition when the relevant scientific community believes strongly in its contingent truth.
Griffin begins with Molina's account of middle knowledge, wherein a true proposition is part of God's middle knowledge just in case it is a contingent truth and beyond God's control.
While Molinists maintain that the truth of counterfactuals of freedom is not under God's control, Thomists claim that God retains control over all contingent truth, including what humans will freely do.
To begin, we may be certain a priori that any contingent truth whatever is made true, somehow, by the pattern of instantiation of fundamental properties and relations by particular things.
A necessary part of David Armstrong's account of truthmakers for modal truths is his possibility principle: any truthmaker for a contingent truth is also a truthmaker for the possibility of the complement of that contingent truth (if T makes p true and p is contingent, then T makes [?