Search results

...nctive]] [[modal logic]] and its use in rebutting [[Saul Kripke|Kripke's]] modal argument against [[Descriptivist theory of names|description theories of pr [[Category:American logicians]] ...

...experience); and (3) The logical consequence relation has a [[modal logic|modal]] component.<ref name="iep" /> == Modal accounts == ...

...a matter of the argument's logical form. Many techniques are employed by logicians to represent an argument's logical form. A simple example, applied to two ...can be called valid, i.e. logical truth, in some systems of logic like in Modal logic if the statement is true in all interpretations. In Aristotelian logi ...

...= [[Grzegorczyk hierarchy]]<br />[[Normal modal logic#Common normal modal logics|Grzegorczyk logic (S4Grz)]] ...(2016): ''[http://www.mdpi.com/2075-1680/5/2/16/pdf Contribution of Warsaw Logicians to Computational Logic]''. Axioms, Volume 5, Issue 16, 8 pages ...

...wledge about Stoic logic as a system was lost until the 20th century, when logicians familiar with the modern [[propositional calculus]] reappraised the ancient ...il [[Philo the Dialectician|Philo]], who developed their own theories of [[Modal logic|modalities]] and of [[Material conditional|conditional propositions]] ...

...convert formulas from one logical system into another, for example, from [[modal logic]] to first-order logic. This form of logic translation is specificall ...lduc|Zach|2021|p=73-4, 259-60}} }}</ref> This opinion is not shared by all logicians and some, like [[Richard Mark Sainsbury|Mark Sainsbury]], argue that succes ...

As a combination of [[Dynamic logic (modal logic)|dynamic logic]] and [[epistemic logic]], dynamic epistemic logic is ...tledge|year = 1993|isbn = 978-0415057264}}</ref> The formal work, based on modal logic, that inaugurated contemporary research into epistemic logic dates ba ...

...ilosophical problems, often in the form of extended logical systems like [[modal logic]]. But other theorists draw the distinction between the philosophy of ...etween logic and philosophy is also reflected in the fact that many famous logicians were also philosophers.<ref name="Jacquette"/> The philosophy of logic is c ...

...nformal logic}} Formal logic is the traditionally dominant field, and some logicians restrict logic to formal logic.{{sfnm|1a1=Craig|1y=1996|1loc=Formal and inf ...t it is true under all interpretations of its non-logical terms. In some [[modal logic]]s, this means that the proposition is true in all possible worlds.{{ ...

{{see also|List of logicians}} {{defn |1=In modal logic, a relation that describes which worlds are accessible from other wor ...