Online research in philosophy

This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace a proper introduction to semantics and is not intended as such, although parts of Chapter 1 and 4 could be used to supplement an introductory course in semantics. In contrast to other introductions it has a certain focus on ‘writing things down correctly.’ Proofs of metatheorems are omitted, though.

This is work in progress. Please send suggestions and corrigenda to erich@snafu.de. Have fun!

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems.

In this paper, I present the discussive adaptive logic DLI r . As is the case for other discussive logics, the intended application context of DLI r is the interpretation of discussions. What is new about the system is that it does not lead to explosion when some of the premises are self-contradictory. It is argued that this is important in view of the fact that human reasoners are not logically omniscient, and hence, that it may not be evident to discover the inconsistencies in one's beliefs. In addition to this, DLI r can handle cases in which different participants contradict each other. It is shown that, in both kinds of cases, DLI r leads to an interpretation of the discussion that is as rich as possible (even though no discussive connectives are introduced).

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski''s discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed.

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

In this paper, I present the modal adaptive logic $AJ^{r}$ (based on S5) as well as the discussive logic $D_{2}^{r}$ that is defined from it. $D_{2}^{r}$ is a (nonmonotonic) alternative for Jaśkowski's paraconsistent system D₂. Like D₂, $D_{2}^{r}$ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, $D_{2}^{r}$ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D₂, this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.

We expose the main ideas, concepts and results about Jakowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.