The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F,S4R,S4M and G

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5. Presented by Jacek Malinowski     

Notes for S. P. S. S. I. Members

Summary

It is argued that Levin (1) has answered a question Schneider (3) did not ask. Logically, then Levin's procedure does not question the answer Schneider reported, but is appropriate for answering the question he raises.     

On S

The sentential logic S extends classical logic by an implication-like connective. The logic was first presented by Chellas as the smallest system modelled by contraining the Stalnaker-Lewis semantics for counterfactual conditionals such that the conditional is effectively evaluated as in the ternary relations semantics for relevant logics. The resulting logic occupies a key position among modal and substructural logics. We prove completeness results and study conditions for proceeding from one family of logics to another.We are grateful to Peter Apostoli, Kosta Doen, and anonymous referees for their comments on an earlier version of this paper. A.F.'s work has been supported by a grant from the Volkswagen-Stiftung.Presented byJan Zygmunt     

Epistemologische betrachtungen zu [S4, S5]

Zusammenfassung Die zahlreichen modallogischen Systeme zwischen den Standardkalkülen S4 und S5 werden vom epistemologischen Standpunkt aus untersucht, indem Notwendigkeit wahlweise als Wissen bzw. als Überzeugt-sein gedeutet wird. Dabei stellt sich heraus, daß — unter gewissen andernorts begründeten Voraussetzungen über epistemische Logik-S4.4 als Logik der wahren Überzeugungen aufgefaßt werden kann, während die Systeme S4.3.2 und S4.2 als Logiken für solche Leute erscheinen, die das Schema Wissen = wahre Überzeugung nur eingeschränkt für ganz spezielle rein doxastische bzw. rein epistemische Sätze akzeptieren. S4.2 ist dabei allem Anschein nach die Logik des Wissens.

---

The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There is strong evidence in favor of the assumption that S4.2 is the logic of knowledge.

     

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.     

De Internationale Signifische Studiegroep (I.S.S.)

Sans résumé     

A P.S. on B.S.: Some Remarks on Humbug and Bullshit

While lies have attracted philosophical attention since antiquity, phenomena in the near area have generated considerably less interest. Lately, however, Max Black and Harry Frankfurt have visited a close relative: humbug or bullshit, as it's either more politely or more rudely called. In this article their views on humbug and bullshit are exposed, explained, critiqued, and, ultimately, rejected. An alternative view is then proposed and defended.     

The Melancholy Boy and the Religion of Humor: The Case of S. S. Adams

Drawing on earlier writings (Capps, Men, religion, and melancholia: James, Otto, Jung, and Erikson, 1997, 2004) in which I argue that male melancholia has its origins in the boy’s emotional separation from his mother at age 3–5 years old, and that the three main forms of male religion—honor, hope, and humor—are responses to this loss, I focus in this article on S. S. Adams, the inventor of several practical jokes, as an illustration of the religion of humor. I suggest that Adams, son of Danish immigrants, coped with his melancholia through the invention of practical jokes, including the Dribble Glass, the Razzberry Cushion, and the Joy Buzzer. I contend that these inventions have similar iconic value in the religion of male melancholia to the prayer cards, rosary beads, and votive candles of traditional Christianity. I also propose that the S. S. Adams Factory in Neptune, NJ, USA may be viewed as a pilgrimage site for devotees of male melancholic religion.