An Interpretation of Łukasiewicz’s 4-Valued Modal Logic

A simple, bivalent semantics is defined for ?ukasiewicz’s 4-valued modal logic ?m4. It is shown that according to this semantics, the essential presupposition underlying ?m4 is the following: A is a theorem iff A is true conforming to both the reductionist (rt) and possibilist (pt) theses defined as follows: rt: the value (in a bivalent sense) of modal formulas is equivalent to the value of their respective argument (that is, ‘ A is necessary’ is true (false) iff A is true (false), etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in ?m4.     

Is Explanatoriness a Guide to Confirmation? A Reply to Climenhaga

We (2013, 2014) argued that explanatoriness is evidentially irrelevant in the following sense: Let H be a hypothesis, O an observation, and E the proposition that H would explain O if H and O were true. Then our claim is that Pr(H | O & E) = Pr(H | O). We defended this screening-off thesis (SOT) by discussing an example concerning smoking and cancer. Climenhaga (Philos Sci, forthcoming) argues that SOT is mistaken because it delivers the wrong verdict about a slightly different smoking-and-cancer case. He also considers a variant of SOT, called “SOT*”, and contends that it too gives the wrong result. We here reply to Climenhaga’s arguments and suggest that SOT provides a criticism of the widely held theory of inference called “inference to the best explanation”.     

Scientific Realism Within Perspectivism and Perspectivism Within Scientific Realism

Perspectivism is often understood as a conception according to which subjective conditions inevitably affect our knowledge and, therefore, we are never confronted with reality and facts but only with interpretations. Hence, subjectivism and anti-realism are usually associated with perspectivism. The thesis of this paper is that, especially in the case of the sciences, perspectivism can be better understood as an appreciation of the cognitive attitude that consists in considering reality only from a certain ‘point of view’, in a way that can avoid subjectivism. Whereas the way of conceiving a notion is strictly subjective, the way of using it is open to intersubjective agreement, based on the practice of operations whose nature is neither mental nor linguistic. Therefore, intersubjectivity (that is a ‘weak’ sense of objectivity) is possible within perspectivism. Perspectivism can also help understand the notion of ‘scientific objects’ in a referential sense: they are those ‘things’ that become ‘objects’ of a certain science by being investigated from the ‘point of view’ of that science. They are ‘clipped out’ of things (and constitute the ‘domain of objects’ or the ‘regional ontology’ of that particular science) by means of standardized operations which turn out to be the same as those granting intersubjectivity. Therefore this ‘strong’ sense of objectivity, which is clearly realist, coincides with the ‘weak’ one. The notion of truth appears fully legitimate in the case of the sciences, being clearly defined for the regional ontology of each one of them and, since this truth can be extended in an analogical sense to the theories elaborated in each science, it follows that are real also the unobservable entities postulated by those theories.     

Atoms vs. Extended Simples: Towards a Dispositionalist Reconciliation

There are four main theories concerning the ultimate constitution of matter: atomism version 1 (matter has as fundamental constituents unextended point-particles), atomism version 2 (matter has as fundamental constituents extended but indivisible particles), the theory of gunk (on which every material object is composed of actual proper parts that are themselves material objects composed of actual proper parts that are themselves material objects…etc. ad infinitum), and the theory of extended simples (matter bottoms out in objects that are spatially extended and divisible but lacking in actual proper parts). These four theories are usually seen as diametrically opposed. Here I take a stab at ecumenism, and argue that atomism version 1 and the theory of extended simples can be reconciled and rendered compatible by reference to the reality of dispositions.     

Moral responsibility for actions and omissions: a new challenge to the asymmetry thesis

This paper presents a new challenge to the thesis that moral responsibility for an omission requires the ability to do the omitted action, whereas moral responsibility for an action does not require the ability to do otherwise than that action. Call this the asymmetry thesis. The challenge arises from the possibility of cases in which an omission is identical to an action. In certain of such cases, the asymmetry thesis leads to a contradiction. The challenge is then extended to recent variations of the asymmetry thesis defended by John Martin Fischer and Carolina Sartorio. Finally, a possible objection to the challenge is addressed.     

“This Is a White Space”: On Restorative Possibilities of Hospitality in a Raced Space

In a restorative classroom inspired by a vision of racial equity, race consciousness is a necessity and a restorative outcome is conceptualized in terms of a sustainable interdependent right-relation, a species of racial justice. Yet, regardless of intent, the constructed space is white. Race-based inequity is reproduced as White students get more of everything from class than do students of Color. What made the space white? How might hospitality affect the restorative possibilities of and in the space? I explore these questions and reconceptualize right-relation as that which necessitates hospitality.     

Zero tolerance for pragmatics

The proposition expressed by a sentence is relative to a context. But what determines the content of the context? Many theorists would include among these determinants aspects of the speaker’s intention in speaking. My thesis is that, on the contrary, the determinants of the context never include the speaker’s intention. My argument for this thesis turns on a consideration of the role that the concept of proposition expressed in context is supposed to play in a theory of linguistic communication. To illustrate an alternative approach, I present an original theory of the reference of demonstratives according to which the referent of a demonstrative is the object that adequately and best satisfies certain accessibility criteria. Although I call my thesis zero tolerance for pragmatics, it is not an expression of intolerance for everything that might be called “pragmatics.”     

Compound figures: priority and speech-act structure

Compound figures are a rich, and under-explored area for tackling fundamental issues in philosophy of language. This paper explores new ideas about how to explain some features of such figures. We start with an observation from Stern (2000) that in ironic-metaphor, metaphor is logically prior to irony in the structure of what is communicated. Call this thesis Logical-MPT. We argue that a speech-act-based explanation of Logical-MPT is to be preferred to a content-based explanation. To create this explanation we draw on Barker’s (2004) expressivist speech-act theory, in which speech-acts build on other speech-acts to achieve the desired communicative effects. In particular, we show how Barker’s general ideas explain metaphor as an assertive-act, and irony as a ridiculing-act. We use Barker’s notion of proto-illocutionary-acts to show how metaphorical-acts and ironic-acts can build one on the other. Finally, we show that while an ironic-act can build on a metaphorical-act, a metaphorical-act cannot build on an ironic-act. This restriction on how they can be composed establishes Logical-MPT via a different route.     

Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem

In this paper we shall introduce two types of contextual-hierarchical (from now on abbreviated by ‘ch’) approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r ⁿ and T r ⁿ⁺¹ of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r ⁿ⁺¹-schema should hold for all sentences of \(\mathcal {L}^{n}\). In contrast, the alternative ch-reconstruction, for which we shall argue in section four, is motivated by the idea that T r ⁿ and T r ⁿ⁺¹ are coherent in the sense that the same sentences of \(\mathcal {L}^{n}\) should be true according to T r ⁿ and T r ⁿ⁺¹. We show that instances of the standard ch-reconstruction can be obtained by iterating Kripke’s strong Kleene jump operator. Furthermore, we will demonstrate how instances of the alternative ch-reconstruction can be obtained by a slight modification of the iterated axiom system KF and of the iterated strong Kleene jump operator.     

The Modal Logic of Gödel Sentences

The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of ‘true but unprovable’ sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk’s Logic, where modality can be interpreted as ‘true and provable’. As we show, GS and Grzegorczyk’s Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of ‘Essence and Accident’ proposed by Marcos (Bull Sect Log 34(1):43–56, 2005). We also clarify the relationships between GS and the provability logic GL and between GS and Intuitionistic Propositional Logic.     

The Problem of <Emphasis Type="Italic">Bildung</Emphasis> and the Basic Structure of <Emphasis Type="Italic">Bildungstheorie</Emphasis>

In this article, an attempt is made to introduce a systematization of the loosely connected group of authors called Bildungstheorie. This ought to not only be of significance for German-speaking educational science, for the concept of Bildung is also increasingly used internationally for the formulation and development of pedagogical issues. It is proposed that the concept of complexity could be suitable for bringing attention to common presuppositions in the theoretical dealing with the problem of Bildung. The thesis is that Bildung in theories of Bildung is described from various perspectives as complex, meaning it is an open and uncertain interplay of components irreducibly associated with planning and governance problems. As this thesis is corroborated by means of selected positions within Bildungstheorie, evidence is provided that complexity in educational science—differently than it may seem at first glance—is not for the first time today a theme of importance. Rather, it is demonstrated that a nascent discipline-specific complexity research can be linked to already existing traditions.     

Obligation as Optimal Goal Satisfaction

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.     

Thinking emergence as interaffecting: approaching and contextualizing Eugene Gendlin’s Process Model

Prior to A Process Model, Gendlin’s theoretical and practical work focused on the interfacing of bodily-felt meaningfulness and symbolization. In A Process Model, Gendlin does something much wider and more philosophically primary. The hermeneutic and pragmatist distinction between the concept of experience, on the one hand, and actual experiential process, on the other, becomes for Gendlin the methodological basis for a radical reconceptualization of the body. Wittgenstein’s formulation of “meaning” as “language-use in situations” is spelled out by Gendlin in embodied terms, yielding a profound new grasp of language, meaning, situation, language-use and culture as interactional body-process. Gendlin, in building his text, answers the pragmatist critique of a wrong progression of thinking where the results of an inquiry are read back to be its premises. With his central concept “eveving” (“everything interaffected by everything”) Gendlin shows how the seeming determinacy of preceding structure is opened in the actual occurring. He thereby elaborates a new conception of continuity where the possibility for responsive novelty is emergent in the event itself. The conceptual development of the text itself instances this kind of emergent novelty. We will somewhat follow Gendlin’s own path in using language-in-situations as entry-point into his more fundamental process-thinking, thereby asking ourselves how to engage his new kind of model. In the last part, we introduce some of the philosophical roots of Gendlin’s A Process Model.     

Why Leibniz thinks Descartes was wrong and the Scholastics were right

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead conjoins it with a structural diversity thesis, according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world—a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world.     

Brain activation upon ideal-body media exposure and peer feedback in late adolescent girls

Media’s prevailing thin-body ideal plays a vital role in adolescent girls’ body image development, but the co-occurring impact of peer feedback is understudied. The present study used functional magnetic resonance imaging (fMRI) to test media imagery and peer feedback combinations on neural activity related to thin-body ideals. Twenty-four healthy female late adolescents rated precategorized body sizes of bikini models (too thin or normal), directly followed by ostensible peer feedback (too thin or normal). Consistent with prior studies on social feedback processing, results showed increased brain activity in the dorsal medial prefrontal cortex (dmPFC)/anterior cingulate cortex (ACC) and bilateral insula in incongruent situations: when participants rated media models’ body size as normal while peer feedback indicated the models as too thin (or vice versa). This effect was stronger for girls with lower self-esteem. A subsequent behavioral study (N = 34 female late adolescents, separate sample) demonstrated that participants changed behavior in the direction of the peer feedback: precategorized normal sized models were rated as too thin more often after receiving too thin peer feedback. This suggests that the neural responses upon peer feedback may influence subsequent choice. Our results show that media-by-peer interactions have pronounced effects on girls’ body ideals.     

Logically Incorrect Arguments

What do we learn when we find out that an argument is logically incorrect? If logically incorrect means the same as not logically correct, which in turn means not having a valid logical form, it seems that we do not learn anything too useful—an argument which is logically incorrect can still be conclusive. Thus, it seems that it makes sense to fix a stronger interpretation of the term under which a logically incorrect argument is guaranteed to be wrong (and is such for purely logical reasons). In this paper, we show that pinpointing this stronger sense is much trickier than one would expect; but eventually we reach an explication of the notion of (strong) logical incorrectness which we find non-trivial and viable.     

The Fallaciousness of Threats: Character and <Emphasis Type="Italic">Ad Baculum</Emphasis>

Robert Kimball, in “What’s Wrong with Argumentum Ad Baculum?” (Argumentation, 2006) argues that dialogue-based models of rational argumentation do not satisfactorily account for what is objectionable about more malicious uses of threats encountered in some ad baculum arguments. We review the dialogue-based approach to argumentum ad baculum, and show how it can offer more than Kimball thinks for analyzing such threat arguments and ad baculum fallacies.     

The multidimensional randomized response design: Estimating different aspects of the same sensitive behavior

The conventional randomized response design is unidimensional in the sense that it measures a single dimension of a sensitive attribute, like its prevalence, frequency, magnitude, or duration. This paper introduces a multidimensional design characterized by categorical questions that each measure a different aspect of the same sensitive attribute. The benefits of the multidimensional design are (i) a substantial gain in power and efficiency, and the potential to (ii) evaluate the goodness-of-fit of the model, and (iii) test hypotheses about evasive response biases in case of a misfit. The method is illustrated for a two-dimensional design measuring both the prevalence and the magnitude of social security fraud.     

Open knowledge and changing the subject

Knowledge is closed under (known) implication, according to standard theories. Orthodoxy can allow, though, that apparent counterexamples to closure exist, much as Kripkeans recognize the existence of illusions of possibility (IPOs) which they seek to explain away. Should not everyone, orthodox or not, want to make sense of “intimations of openness” (IONs)? This paper compares two styles of explanation: (1) evidence that boosts P’s probability need not boost that of its consequence Q; (2) evidence bearing on P’s subject matter may not bear on the subject matter of Q.     

Melancholy,Acculturation, and Relief: A Brief Essay on the Religion of Ordinarity

Han is not an idiosyncratic, psychological experience that is peculiar to Koreans, but a multifaceted mode of melancholy experienced by many and various people. What makes this psychological experience particularly familiar to Koreans, however, is that this phenomenon is colored by various, macroscopic factors common in the Korean context, such as sociocultural rigidness, historical instability, political feudality, and economic vulnerability. In this sense, han is an acculturated, multifaceted melancholy. Not only that, it has developed its own religiousness, the goal of which is the restoration of ordinarity, because the state of han premises extraordinary, abnormal, or tension-provoking situations. The explicit and implicit religious idioms developing in the religion of han, such as tongsung-kido and wishing-for-blessing, evolve around this religious telos, helping individuals in Korea restore and live ordinarity.