Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic \. (...) Sequent calculus is then used to close a set of prima-facie injunctions under a restricted form of monotonicity, using specificity to avoid conflicts. We establish decidability and complexity results, and investigate the potential use of the resulting system for Mīmāṃsā philosophy and, more generally, for the formal interpretation of normative statements. (shrink)

Tylman has recently pointed out some striking conceptual and methodological analogies between philosophy and computer science. In this paper, I focus on one of Tylman’s most convincing cases, viz. the similarity between Plato’s theory of Ideas and the object-oriented programming paradigm, and analyze it in some more detail. In particular, I argue that the platonic doctrine of the Porphyrian tree corresponds to the fact that most object-oriented programming languages do not support multiple inheritance. This analysis further reinforces Tylman’s point regarding (...) the conceptual continuity between classical metaphysical theorizing and contemporary computer science. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...) for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

This work is an investigation into philosophical method and rational argument in moral philosophy. It makes an original contribution to human understanding, by taking some of the tools and techniques that Gordon Baker identifies in the later work of Wittgenstein, and using them as a way of fending for oneself in an area of philosophy that neither Baker, nor Wittgenstein, wrote on. More specifically, a discussion of some different aspects of the contemporary literature on Dancy’s moral particularism is used as (...) a vehicle for illustrating how Baker’s therapeutic conception of philosophy offers alternative possibilities for how we can do philosophy, and what counts as rational argument in moral philosophy. I maintain that, by considering some indicative ways in which Baker’s therapeutic approach to philosophy can dissolve, rather than solve, the kinds of perplexities found in the existing literature on Dancy’s moral particularism, we can liberate ourselves from the traditional/theoretical view of how we ought to do philosophy, and an understanding of rational argument in moral philosophy, to which we need not be committed. (shrink)

The aim of this thesis is to understand and critically evaluate deductivism as a theory of inferential sufficiency in informal logic. I distinguish three different types of deductivism: strong normative deductivism, weak normative deductivism, and reconstructive deductivism. I also discuss some potential justificatory strategies that might be invoked in an attempt to justify strong normative deductivism and reconstructive deductivism. I apply this categorization scheme to develop an interpretation of Leo Groarke's version of reconstructive deductivism. I then evaluate some of the (...) criticisms of deductivism raised in the informal logic literature. I focus in particular on the criticisms of Ralph Johnson and Trudy Govier. I follow up this evaluation by raising some problems for the justificatory strategies used to support deductivism. I also show how these problems apply to Groarke's reconstructive deductivism. (shrink)

This article provides a brief selective overview and discussion of recent research into natural language argumentation that may inform the study of human reasoning on the assumption that an episode of argumentation issues an invitation to accept a corresponding inference. As this research shows, arguers typically seek to establish new consequences based on prior information. And they typically do so vis-à-vis a real or an imagined opponent, or an opponent-position, in ways that remain sensitive to considerations of context, audiences, and (...) goals. Deductively valid inferences remain a limiting case of such reasoning. In view of these insights, it may appear less surprising that allegedly “irrational” behavior can regularly be produced in experimental settings that expose subjects to standardized reasoning tasks. (shrink)

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)