Reason and the Heart: A Prolegomenon to a Critique of Passional Reason

International Journal for Philosophy of Religion -     

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent but not bisimilar, and showing how these GL-models can be converted to Veltman models with the same properties. In the process we develop some useful constructions: games on Veltman models, chains, and general method of transformation from GL-models/frames to Veltman ones.     

A Theory of Hypermodal Logics: Mode Shifting in Modal Logic

A hypermodality is a connective whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.     

Intuitionism and the Modal Logic of Vagueness

Journal of Philosophical Logic - Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics...     

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.     

Knowledge,Authority and Identity: A Prolegomenon to an Epistemology of the Clinic

Disputes about theory in bioethics almost invariablyrevolve around different understandings of morality or practicalreasoning; I here suggest that the field would do well to becomemore explicitly contentious about knowledge, and start the taskof putting together a clinical epistemology. By way of providingsome motivation for such a discussion, I consider two cases ofresistance to shifts in clinical practice that are, by and large,not ethically controversial, highlighting how differentconceptions of epistemic authority may contribute to clinicians'unwillingness to adopt these changes, and sketching out someinitial suggestions for epistemic analysis of clinical practice.     

Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy

In this article I argue that there is a sense in which logic is empirical, and hence open to influence from science. One of the roles of logic is the modelling and extending of natural language reasoning. It does so by providing a formal system which succeeds in modelling the structure of a paradigmatic set of our natural language inferences and which then permits us to extend this structure to novel cases with relative ease. In choosing the best system of those that succeed in this, we seek certain virtues of such structures such as simplicity and naturalness (which will be explained). Science can influence logic by bringing us, as in the case of quantum mechanics, to make natural language inferences about new kinds of systems and thereby extend the set of paradigmatic cases that our formal logic ought to model as simply and naturally as possible. This can alter which structures ought to be used to provide semantics for such models. I show why such a revolution could have led us to reject one logic for another through explaining why complex claims about quantum mechanical systems failed to lead us to reject classical logic for quantum logic.     

Sated but Thirsty: A Prolegomenon to Multidimensional Measures of Need-Based Justice

Axiomathes - In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the...     

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically necessary.     

Term Kinds and the Formality of Aristotelian Modal Logic

Recent formalizations of Aristotle's modal syllogistic have made use of an interpretative assumption with precedent in traditional commentary: That Aristotle implicitly relies on a distinction between two classes of terms. I argue that the way Rini (2011. Aristotle's Modal Proofs: Prior Analytics A8–22 in Predicate Logic, Dordrecht: Springer) employs this distinction undermines her attempt to show that Aristotle gives valid proofs of his modal syllogisms. Rini does not establish that Aristotle gives valid proofs of the arguments which she takes to best represent Aristotle's modal syllogisms, nor that Aristotle's modal syllogisms are instances of any other system of schemata that could be used to define an alternative notion of validity. On the other hand, I argue, Robert Kilwardby's ca. 1240 commentary on the Prior Analytics makes use of a term-kind distinction so as to provide truth conditions for Aristotle's necessity propositions which render Aristotle's conversion rules and first figure modal syllogisms formally valid. I reconstruct a suppositio semantics for syllogistic necessity propositions based on Kilwardby's text, and yield a consequence relation which validates key results in the assertoric, pure necessity and mixed necessity-assertoric syllogistics.     

Prolegomenon to the structure of emotion: Gleanings from neuropsychology

Abstract

This article presents a model of the structure of emotion developed primarily from a consideration of neuropsychological evidence and behavioural data which have bearing on neuropsychological theories. Valence is first considered and highlighted as a defining characteristic of emotion. Next, the use of facial behaviour and autonomic nervous system patterns as defining characteristics of discrete emotions is questioned on empirical and conceptual grounds. The regulation of emotion is considered and proposed to affect the very structure of emotion itself. If there is an invariant pattern of biological activity across different instantiations of the same emotion, it is likely to be found in higher-order associative networks of central nervous system activity, the very same networks that subserve goal-directed behaviour and other cognitive functions. Drawing upon evolutionary considerations, it is argued that what is basic about emotion are the dimensions of approach and withdrawal. The nature of the linkage between such action tendencies and emotion is discussed.     

Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic

We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.

     

Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic

Modern logicians have sought to unlock the modal secrets of Aristotle's Syllogistic by assuming a version of essentialism and treating it as a primitive within the semantics. These attempts ultimately distort Aristotle's ontology. None of these approaches make full use of tests found throughout Aristotle's corpus and ancient Greek philosophy. I base a system on Aristotle's tests for things that can never combine (polarity) and things that can never separate (inseparability). The resulting system not only reproduces Aristotle's recorded results for the apodictic syllogistic in the Prior Analytics but it also generates rather than assumes Aristotle's distinctions among ‘necessary’, ‘essential’ and ‘accidental’. By developing a system around tests that are in Aristotle and basic to ancient Greek philosophy, the system is linked to a history of practices, providing a platform for future work on the origins of logic.     

Refutations,Proofs, and Models in the Modal Logic K4

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.     

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.