On being ultimately composed of atoms

Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts lacking proper parts. Standardly, this thesis is characterized by an axiom that says, more simply, that everything has atomic parts. Anthony Shiver has argued that this characterization is satisfied by models that are not atomistic, and is therefore inadequate. I argue that Shiver’s conclusion can and ought to be resisted, for (i) the models in question are atomistic in the intended sense, and (ii) even though the standard characterization does not say that everything is composed of atoms, it implies so. If there is a sense in which the relevant models are problematic, it lies elsewhere.     

Spacetime the one substance

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.     

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.     

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.     

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.     

Mindless accuracy: on the ubiquity of content in nature

It is widely held in contemporary philosophy of mind that states with underived representational content are ipso facto psychological states. This view—the Content View—underlies a number of interesting philosophical projects, such as the attempt to pick out a psychological level of explanation, to demarcate genuinely psychological from non-psychological states, and to limn the class of states with phenomenal character. The most detailed and influential theories of underived representation in philosophy are the tracking theories developed by Fodor, Dretske, Millikan and others. Tracking theorists initially hoped to ‘naturalize’ underived representation by showing that although it is distinctively psychological it is not irreducibly so, yet they ended up developing theories of representation that by their own lights don’t pick out a distinctively psychological phenomenon at all. Burge (Origins of objectivity, Oxford University Press, Oxford, 2010) sets out to develop a theory of underived representation that does pick out a distinctively psychological phenomenon. His theory promises to vindicate the Content View and the various philosophical projects that depend on it. In this paper I argue that Burge’s theory dementalizes representation for the same reason tracking theories do: These theories hold that representations are states with underived accuracy conditions, yet such states are found in all sorts of mindless systems, like plants.     

The Laruellean Clinamen: François Laruelle and French Atomism

According to François Laruelle, French thought has been unduly influenced by corpuscular or atomist thinking, yet Laruelle has himself employed key atomist terms—in particular, that of the clinamen or swerve—in framing his own style of thought. This essay looks at this tension between atomism and anti-atomism in Laruelle’s thought, taking the measure of his contribution to a larger stream of postwar French thinking about the relevance and stakes of ancient atomism. Its contention is that Laruelle subtly but really outlines a quantum theoretical resumption of ancient atomist philosophy—one that deserves closer attention and comparative study in the larger context of French philosophical interest in the atomists. A first section of the paper briefly describes Laruelle’s general project, along with his claim that he differs from his contemporaries because he uniquely escapes the dangers of what he calls corpuscular thought. A second section addresses the apparent tension between Laruelle’s claim to produce a non-corpuscular thinking and his consistent recent use of the atomist image of the clinamen, ultimately arguing that Laruelle sides with the clinamen against two forms of corpuscularity supposedly avoided by the clinamen itself but nonetheless usefully embodied in atomist thought. The final section of the paper draws up in preliminary terms a comparison between Laruelle’s understanding of his relationship to atomism and that of his contemporaries, focusing in particular on Alain Badiou.     

Michael Wolff über Kant als Logiker. Eine Stellungnahme zu Wolffs Metakritik

In an earlier article (see J Gen Philos Sci (2009) 40: 357–372) I have discussed the arguments brought forward by Michael Wolff against the interpretation given in the commentary by Ebert and Nortmann on Aristotle’s syllogistic theory (Aristoteles Analytica Priora Buch I, übersetzt und erläutert von Theodor Ebert und Ulrich Nortmann. Berlin 2007) and against the critique of Kant’s adaption of the syllogistic logic. I have dealt with Wolff’s arguments concerning (Ebert/Nortmann’s interpretation of) Aristotle in the paper mentioned and with his attempts to defend his critique in this subsequent article (part 1; see J Gen Phils Sci (2010) 41: 215–231). Part 2 (the paper below) is concerned with Wolff’s renewed attempts to defend Kant as a logician. In particular I point out that if, as Wolff claims, the nota notae relation in Kant is restricted to subordinated concepts, then it can hardly serve as a principle for syllogistic logic, as Kant claims. Against Wolff’s attempts to defend Kant’s claim that o-propositions are simpliciter convertible, I point out two arguments: (1) Even if Kant, following the Vernunftlehre by Meier, has assumed that an o-proposition can be turned into an i-proposition, this conversion is useless for the reduction to first figure syllogisms since we are no longer dealing with three syllogistic terms but with four. (2) It is quite unlikely that Kant has a conversion of this type in mind since the texts of his students always talk of the group of either the particular propositions or else of the negative propositions. Given Kant’s mistakes concerning the convertibility simpliciter of o-propositions, it is no wonder that he overlooks the special status of the moods Baroco and Bocardo. Wolff’s attempts to provide Kant with what he claims are direct proofs for these moods can be shown to rely on a reductio ad impossibile. Kant mistook what are parts of the proofs for the validity of moods in figures two to four as parts of these moods themselves. Wolff—who tries to defend Kant on this point—is forced to an artificial and unconvincing reading of the Kantian texts.     

Higher-order theories of consciousness and what-it-is-like-ness

Ambitious higher-order theories of consciousness aim to account for conscious states when these are understood in terms of what-it-is-like-ness. This paper considers two arguments concerning this aim, and concludes that ambitious theories fail. The misrepresentation argument against HO theories aims to show that the possibility of radical misrepresentation—there being a HO state about a state the subject is not in—leads to a contradiction. In contrast, the awareness argument aims to bolster HO theories by showing that subjects are aware of all their conscious states. Both arguments hinge on how we understand two related notions which are ubiquitous in discussions of consciousness: those of what-it-is-like-ness and there being something it is like for a subject to be in a mental state. This paper examines how HO theorists must understand the two crucial notions if they are to reject the misrepresentation argument but assert the awareness argument. It shows that HO theorists can and do adopt an understanding—the HO reading—which seems to give them what they want. But adopting the HO reading changes the two arguments. On this reading, the awareness argument tells us nothing about those states there is something it is like to be in, and so offers no support to ambitious HO theories. And to respond to the misrepresentation understood according to the HO reading is to simply ignore the argument presented, and so to give no response at all. As things stand, we should deny that HO theories can account for what-it-is-like-ness.     

The Recognition of Emotions in Music and Landscapes: Extending Contour Theory

While inanimate objects can neither experience nor express emotions, in principle they can be expressive of emotions. In particular, music is a paradigmatic example of something expressive of emotions that surely cannot feel anything at all. The Contour theory accounts for music expressiveness in terms of those resemblances that hold between its external and perceivable properties (i.e., its contour) and the typical contour of human emotional behavior. Provided that some critical aspects are emended – notably, the stress on the perception of similarity instead of the more plausible hypothesis that the listener perceives manifestations that are similar – we are inclined to endorse contour theory. In particular, we share its basic idea that expressive properties are perceived. Although other kinds of processes – high-level conceptual inferences, imagination – sometimes characterize our encounters with music, still perception constitutes the standard process underlying the detection of expressiveness. Moreover, we propose to extend contour theory to visual arts. Taking into consideration, as a case study, depicted landscapes, we observe that they frequently cannot but express emotions such as joy, sadness, liveliness or melancholy. The fact that pictures, unlike music, lack any temporal dimension is a prima facie reason for doubting the extendibility of contour theory’s conceptual arsenal to them. Nevertheless, while being obviously unable to behave somehow, we claim that depicted landscapes can perfectly convey dynamic information. If this is the case, the extension of the notion of contour to visuals art via the stress on the notion of dynamism would represent a second interesting revision of contour theory.     

Principles for Object-Linguistic Consequence: from Logical to Irreflexive

We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143–65 (2013)) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion of logical consequence: we study the corresponding theory of validity (and some of its variants) by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth (strong Kleene version). Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence.     

Turing–Taylor Expansions for Arithmetic Theories

Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \({\Pi_{n+1}}\) proof-theoretic ordinal \({|U|_{\Pi^0_{n+1}}}\) also denoted \({|U|_n}\). As such, to each theory U we can assign the sequence of corresponding \({\Pi_{n+1}}\) ordinals \({\langle |U|_n\rangle_{n > 0}}\). We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories of Peano Arithmetic to Ignatiev’s universal model for the closed fragment of the polymodal provability logic \({\mathsf{GLP}_\omega}\). In particular, we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories. Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expansion will define a unique point in Ignatiev’s model.     

Lexical-rule predicativism about names

Predicativists hold that proper names have predicate-type semantic values. They face an obvious challenge: in many languages (English among them) names normally occur as, what appear to be, grammatical arguments (call these bare occurrences). The standard version of predicativism answers this challenge by positing an unpronounced determiner in bare occurrences. I argue that this is a mistake. Predicativists should draw a distinction between two kinds of semantic type—underived semantic type and derived semantic type. The predicativist thesis concerns the underived semantic type of proper names and underdetermines a view about the semantic type of bare occurrences. I’ll argue that predicativists should hold that bare names are derived individual-denoting expressions. I end by considering what this result means for the relationship between predicativism and other metalinguistic theories of names.     

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.     

Grounding and the explanatory role of generalizations

According to Hempel’s (Aspects of scientific explanation and other essays. The Free Press, New York, 1965) influential theory of explanation, explaining why some a is G consists in showing that the truth that a is G follows from a law-like generalization to the effect that all Fs are G together with the initial condition that a is F. While Hempel’s overall account is now widely considered to be deeply flawed, the idea that some generalizations play the explanatory role that the account predicts is still often endorsed by contemporary philosophers of science. This idea, however, conflicts with widely shared views in metaphysics according to which the generalization that all Fs are G is partially explained by the fact that a is G. I discuss two solutions to this conflict that have been proposed recently, argue that they are unsatisfactory, and offer an alternative.     

The Structure Group of a Generalized Orthomodular Lattice

Orthomodular lattices with a two-valued Jauch–Piron state split into a generalized orthomodular lattice (GOML) and its dual. GOMLs are characterized as a class of L-algebras, a quantum structure which arises in the theory of Garside groups, algebraic logic, and in connections with solutions of the quantum Yang–Baxter equation. It is proved that every GOML X embeds into a group G(X) with a lattice structure such that the right multiplications in G(X) are lattice automorphisms. Up to isomorphism, X is uniquely determined by G(X), and the embedding \(X\hookrightarrow G(X)\) is a universal group-valued measure on X.     

Vague Objects within Classical Logic and Standard Mereology,and without Indeterminate Identity

Weatherson (The Philosophical Quarterly, 53, 481–501 2003) argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams (Pacific Philosophical Quarterly, 90, 176–187 2009) claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological atoms. This assumption is not granted by standard mereology which instead remains silent on whether reality is atomic or gunky; therefore, I contend that whoever maintains classical logic, standard mereology and the difference between vague objects and any others, is not forced to conclude with Weatherson that there are no vague objects; nor is she compelled to revise her point of view according to Barnes and Williams’s proposal and to accept that the existence of vague objects implies indeterminate identity.     

A Psychometric Evaluation of the Behavioral Inhibition Questionnaire in a Non-Clinical Sample of Israeli Children and Adolescents

This study examined the psychometric properties of a Hebrew version of the Behavioral Inhibition Questionnaire (BIQ) in a non-clinical sample of Israeli children and adolescents. We produced a Hebrew translation of the BIQ and collected 227 responses to it from parents of children aged 4–15. Some respondents in the larger sample also completed the Screen for Child Anxiety Related Emotional Disorders (SCARED) questionnaire (n?=?91) and the Conners’ Abbreviated Parent-Teacher (CONNERS) questionnaire (n?=?39), in addition to the BIQ. Lastly, 21 children of BIQ respondents (aged 8–14) completed a self-report version of the questionnaire. Confirmatory factor analysis (CFA) was performed to assess how well the established six correlated factor model of the BIQ applied to the sample data. The Hebrew BIQ demonstrated good internal consistency (Chronbach’s α?=?.94, n?=?227) and 3 month test–retest reliability, (r?=?.95, p?<?.001, n?=?21). It also showed both convergent validity, as scores on the BIQ were correlated with the SCARED (r?=?.66, p?<?.01. n?=?91), and discriminant validity, as BIQ scores were not correlated with the CONNERS (r?=?.24, n?=?39). Finally, mother reports of BI were significantly correlated to child reports of BI via the BIQ (r?=?.60, p?<?.01, n?=?21). Thus, through this preliminary study we demonstrated that the Hebrew version of the BIQ is an effective tool for screening for BI among Israeli children, making it a useful instrument for future research.     

The Social and Cultural Construction of <Emphasis Type="Italic">Burqa</Emphasis>: The Case of Gheshm Island in Iran

The present study attempts to describe the components, characteristics, and implications of burqa in Qeshm Island, Iran, through an ethnographic method. The sample of the study is composed of twelve burqa-wearing women who were selected by applying a purposive sampling method. The process of data collection took 1 year, and the researchers conducted observations, note-takings, photography, and interviews with the participants on the field. The findings indicated that unlike niqab in the Arab countries, burqa is not surrounded by ideology. It is a cultural product which needs to be understood based on six main themes. In this cultural context, burqa is considered to be a social construction through which women reconstruct and moderate their social status, distance themselves from imposed roles and stereotypes, distinguish themselves from others with their creativity and innovation in designing burqas, and occasionally benefit from burqas’ financial value. Considering the various implications of burqa in the Muslim world and in Iran, it is proposed that the laws pertaining to this region be legislated based on the recognized indication of burqa by ethnic and religious groups.