modal logic

Also found in: Thesaurus, Encyclopedia, Wikipedia.

modal logic

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

ThesaurusAntonymsRelated WordsSynonymsLegend:

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

References in periodicals archive ?

Chapter 5 extends the analysis to modal vocabulary and, in particular, reconstructs Kripkean semantics for modal logic in incompatibility semantics.

TURBANTI, Giacomo. Robert Brandom's Normative Inferentialism

One might argue that, although classical modal logic adequately models metaphysical modality in most instances, there are certain cases where it breaks down and ceases to accurately capture metaphysical necessity and metaphysical possibility.

ORDINARY OBJECTS ARE NONMODAL OBJECTS

The paper extends the fuzzy modal logic [1,2, and 4], fuzzy enviromnent [3] and neutrosophic sets, numbers and operators [5-12], together with the last developments of the neutrosophic enviromnent {including (t, i, f)-neutrosophic algebraic structures, neutrosophic triplet structures, and neutrosophic overset / underset / offset} [13-15] passing through the symbolic neutrosophic logic [16], ultimately to neutrosophic modal logic.

Neutrosophic modal logic

This implies that the modal logic S4 is complete in any metric separable dense-in-itself space, for example, [R.sup.n].

Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces

(1) Professor of Philosophy, University of Chicago; author, Abriss der Logittik (1929), Logische Syntax der Spracbe (1934, published in English in 1937 as The Logical Syntax of Language), Philosophy and Logical Syntax (1935), Foundations of Logic and Mathematics (1939), Introduction to Semantics (1942), Formalization of Logic (1943), Meaning and Necessity: A Study in Semantics and Modal Logic (1947).

PROBABILITY AS A GUIDE IN LIFE

Among the topics are Barcan Marcus' courageous philosophical life and work, a philosopher's calling, Barcan formulas in second-order modal logic, whether identity is a functional property, Barcan Marcus on believing without a language, and moral dilemmas from a logical and from a moral point of view.

Modalities, Identity, Belief, and Moral Dilemmas: Themes From Barcan Marcus

Tony Street's study of Avicenna's modal logic is a further stage in his collaboration with Paul Thom in understanding the significance of this area of thought and particularly in seeing the connection between logic and metaphysics in the Avicennan corpus.

Islamic Philosophy, Science, Culture, and Religion: Studies in Honor of Dimitri Gutas

A Completeness Theorem in Modal Logic. In Journal of Symbolic Logic, 1959, vol.

On a class of syntactic bracketing paradoxes and its consequences

From this perspective it is worth mentioning that contemporary modal logic, discussed in the essay of Sanford Shieh (Chapter 13, 'Logic, Modality, and Metaphysics in Early Analytic Philosophy: C.I.

Leila Haaparanta and Heikki Koskinen (eds.): Categories of Being: Essays on Metaphysics and Logic

Full browser ?

CITE

Site: Follow: Share:

Open / Close