In his paper [6], Greg Restall conjectured that a logic supports a naïve comprehension scheme if and only if it is robustly contraction free, that is, if and only if no contracting connective is definable in terms of the primitive connectives of the logic. In this paper, we present infinitely many counterexamples to Restall''s conjecture, in the form of purely implicational logics which are robustly contraction free, but which trivialize naïve comprehension.

Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception (...) of set and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

A further reformulation of Naive Set Comprehension related to that proposed in “Resolving Insolubilia: Internal Inconsistency and the Reform of Naive Set Comprehension” is possible in which contradiction is averted not by excluding sets such as the Russell Set but rather by treating sentences resulting from instantiation of such sets as the Russell Set in their own descriptions as invalid. So the set of all sets that are not members of themselves in this further revision is (...) a valid set but the claim that that set is or is not a member of itself is not validly expressible. Such an approach to set comprehension results in a set ontology co-extensive with that permitted by the Naive Set Comprehension Principle itself. This approach has as strong a claim to consistency as that formulated in “Resolving Insolubilia: Internal Inconsistency and the Reform of Naive Set Comprehension.”. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same (...) members, they are identical. In this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

If properties are to play a useful role in semantics, it is hard to avoid assuming the naïve theory of properties: for any predicate Θ(x), there is a property such that an object o has it if and only if Θ(o). Yet this appears to lead to various paradoxes. I show that no paradoxes arise as long as the logic is weakened appropriately; the main difficulty is finding a semantics that can handle a conditional obeying reasonable laws without engendering paradox. (...) I employ a semantics which is infinite-valued, with the values only partially ordered. Can the solution be adapted to naïve set theory? Probably not, but limiting naïve comprehension in set theory is perfectly satisfactory, whereas this is not so in a property theory used for semantics. (shrink)

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive (...) set theory, leads to triviality. (shrink)

This paper describes a modal conception of sets, according to which sets are 'potential' with respect to their members. A modal theory is developed, which invokes a naive comprehension axiom schema, modified by adding `forward looking' and `backward looking' modal operators. We show that this `bi-modal' naive set theory can prove modalized interpretations of several ZFC axioms, including the axiom of infinity. We also show that the theory is consistent by providing an S5 Kripke model. The paper (...) concludes with some discussion of the nature of the modalities involved, drawing comparisons with noneism, the view that there are some non-existent objects. (shrink)

To the memory of Prof. Grigori Mints, Stanford UniversityBorn: June 7, 1939, St. Petersburg, RussiaDied: May 29, 2014, Palo Alto, California.

Two distinct and apparently "dual" traditions of non-classical logic, three-valued logic and paraconsistent logic, are considered here and a unified presentation of "easy-to-handle" versions of these logics is given, in which full naive set theory, i.e. Frege's comprehension principle + extensionality, is not absurd.

Naive set theory, as practiced in the nineteenth century by Cantor, Dedekind, and Frege, consists of two basic principles: _extensionality_ and _naive comprehension_. According to the latter, _every_ condition determines a set. This is usually formalized by the schema $\exists y \forall x\, (x \in y \leftrightarrow A(x))$, where $A(x)$ is any condition on $x$ in which $y$ doesn’t occur free. Some philosophers have argued that, since this restriction is in place to avoid paradox, in a logic weak enough (...) to handle paradoxes, the restriction on $A(x)$ should be lifted in order to better capture the full generality of naive comprehension. I argue that, on the contrary, lifting the restriction doesn’t do more justice to naive comprehension but is the product of a serious misunderstanding of what the principle really says. (shrink)

Reasonning in naive set theory (with unlimited comprehension), we derive a paradox (a formal contradiction) which can be seen as a variant of the Burali-Forti paradox.

The state of affairs of some things falling under a predicate is supposedly a single entity that collects these things as its constituents. But whether we think of a state of affairs as a fact, a proposition or a possibility, problems will arise if we adopt a plural logic. For plural logic says that any plurality include themselves, so whenever there are some things, the state of affairs of their plural self-inclusion should be a single thing that collects them all. (...) This leads to paradoxes analogous to those that afflict naïve set theory. Here I suggest that they are the very same paradoxes, because sets can be reduced to states of affairs. However, to obtain a consistent theoretical reduction we must restrict the usual axiom scheme of Comprehension for plural logic to ‘stratified’ formulas, to avoid viciously circular definitions. I prove that with this modification to the background plural logic, the theory of states of affairs is consistent; moreover, it yields the axioms of the familiar set theory NFU. (shrink)

It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension - the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, (These are examples of concepts that are taken to satisfy naive rules such as the naive truth schema and naive comprehension, (...) and that therefore are compatible with a solution to paradox cast in the logics considered below. Other notions of similar kind can be added to the list.) if one is interested in consequences of the theory that only contain mathematical vocabulary, nothing is lost by reasoning in the nonclassical framework. This article shows that this claim is highly misleading, if not simply false. Under natural assumptions, some well-established approaches to recapture are incorrect. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but (...) the shift to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. (...) Among these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These (...) ontological issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

We present a novel treatment of set theory in a four-valued paraconsistent and paracomplete logic, i.e., a logic in which propositions can be both true and false, and neither true nor false. Our approach is a significant departure from previous research in paraconsistent set theory, which has almost exclusively been motivated by a desire to avoid Russell’s paradox and fulfil naive comprehension. Instead, we prioritise setting up a system with a clear ontology of non-classical sets, which can be (...) used to reason informally about incomplete and inconsistent phenomena, and is sufficiently similar to ${\mathrm {ZFC}}$ to enable the development of interesting mathematics.We propose an axiomatic system ${\mathrm {BZFC}}$, obtained by analysing the ${\mathrm {ZFC}}$ -axioms and translating them to a four-valued setting in a careful manner, avoiding many of the obstacles encountered by other attempted formalizations. We introduce the anti-classicality axiom postulating the existence of non-classical sets, and prove a surprising results stating that the existence of a single non-classical set is sufficient to produce any other type of non-classical set.Our theory is naturally bi-interpretable with ${\mathrm {ZFC}}$, and provides a philosophically satisfying view in which non-classical sets can be seen as a natural extension of classical ones, in a similar way to the non-well-founded sets of Peter Aczel [1].Finally, we provide an interesting application concerning Tarski semantics, showing that the classical definition of the satisfaction relation yields a logic precisely reflecting the non-classicality in the meta-theory. (shrink)

Sense experience, naïvely conceived, is a way of knowing perceptible properties: the colors, sounds, smells, flavors, and textures in our perceptual environment. So conceived, ordinary experience presents the perceiver with the essential nature of a property like Sky Blue or Middle C, such that how the property appears in experience is identical to how it essentially is. In antiquity, as today, it was controversial whether sense experience could meet the conditions for knowledge implicit in this naïve conception. Aristotle was a (...) partisan in this debate, but his position is poorly understood. This dissertation examines how Aristotle’s perceptual psychology responds to ancient challenges to the naïve conception, and so articulates his defense of perceptual knowledge. -/- Aristotle’s defense relies on an ontology of “perceptual qualities"—a core class of perceptible properties—according to which those qualities, despite having a perceiver-independent essence rooted in the physics of causation and affection, nevertheless can be present in experience as they essentially are. Chapter 1 defends this realist and objectivist reading against competing interpretations, which overlook a crucial distinction between perceptual qualities and perceptual objects. Chapter 2 presents Aristotle’s ontology as a physicalism that uncharacteristically allows for perceptual qualities to appear in experience as they essentially are. -/- This ontology informs Aristotle’s account of the psychological conditions under which perceivers actually are presented with the essence of perceptual qualities. The locus of this account is an obscure passage where Aristotle purports to show that the senses “discriminate” perceptual qualities because the senses are “mean states” (An. 2.11, 424a5–7). Chapter 3 develops a comprehensive interpretation of the sensory mean state, which Chapter 4 uses to elucidate Aristotle’s argument for sensory discrimination. Sensory discrimination turns out to be a process in which the essence of a perceptual quality comes to be present in the affection it produces in a perceiver. For Aristotle, this shows that sense perception meets a condition for knowledge that his predecessors, including Plato, thought it could not meet. For in his view, but not in theirs, sense experience shares in both the truth and the essence of the qualities it perceives. (shrink)

Corpus surveys have shown that the exact forms with which idioms are realized are subject to variation. We report a rating experiment showing that such alternative realizations have varying degrees of acceptability. Idiom variation challenges processing theories associating idioms with fixed multi-word form units, fixed configurations of words, or fixed superlemmas, as they do not explain how it can be that speakers produce variant forms that listeners can still make sense of. A computational model simulating comprehension with naive (...) discriminative learning is introduced that provides an explanation for the different degrees of acceptability of several idiom variant types. Implications for multi-word units in general are discussed. (shrink)

Using a comprehensive quotation from a book of Władysław Krajewski a characteristic of moderate scientism (to be called scientism below) is given. That is the stance I share with Krajewski. I complement the characteristic presenting scientism as an approved by me "naive trust in science". In the main part of the paper I discuss, however, the limitations imposed by contemporary science on the traditional epistemological optimism of scientism.

In the most comprehensive examination to date of Heidegger’s Nazism, Emmanuel Faye draws on previously unavailable materials to paint a damning picture of Nazism’s influence on the philosopher’s thought and politics. In this provocative book, Faye uses excerpts from unpublished seminars to show that Heidegger’s philosophical writings are fatally compromised by an adherence to National Socialist ideas. In other documents, Faye finds expressions of racism and exterminatory anti-Semitism. Faye disputes the view of Heidegger as a naïve, temporarily disoriented academician and (...) instead shows him to have been a self-appointed “spiritual guide” for Nazism whose intentionality was clear. Contrary to what some have written, Heidegger’s Nazism became even more radical after 1935, as Faye demonstrates. He revisits Heidegger’s masterwork, _Being and Time_, and concludes that in it Heidegger does not present a philosophy of individual existence but rather a doctrine of radical self-sacrifice, where individualization is allowed only for the purpose of heroism in warfare. Faye’s book was highly controversial when originally published in France in 2005. Now available in Michael B. Smith’s fluid English translation, it is bound to awaken controversy in the English-speaking world. (shrink)

This article studies the unrestraint in beliefs associated with the overemphasizing of our beliefs. The author argues that the intolerance for other points of view appears (among other factors) because of a naively-objectivist understanding of philosophy, one which is based on two assumptions: first, philosophy is considered only as a theory and not an individual practice, not an experience, and second, the truth is considered as identical to a certain ideal-objective content that can be in one’s possession.There are true ideas (...) and proper words. If we learn these ideas, we will definitely seize the truth. The author opposes this understanding the notion of philosophy which is based on the experience of the encounter and upon reflexive comprehension of this experience. It is possible to minimize unrestraint in beliefs if we assume that all the points of view including our own are considered as belonging to the incomprehensible Absolute. (shrink)

In this contribution to contemporary political philosophy, Jensen aims to develop a model of civil society for deliberative democracy. In the course of developing the model, he also provides a thorough account of the meaning and use of "civil society" in contemporary scholarship as well as a critical review of rival models, including those found in the work of scholars such as John Rawls, Jurgen Habermas, Michael Walzer, Benjamin Barber, and Nancy Rosenblum. Jensen's own ideal treats civil society as both (...) the context in which citizens live out their comprehensive views of the good life as well as the context in which citizens learn to be good deliberative democrats. According to his idealization, groups of citizens in civil society are actively engaged in a grand conversation about the nature of the good life. Their commitment to this conversation grounds dispositions of epistemic humility, tolerance, curiosity, and moderation. Moreover, their regard for the grand conversation explains their interest in deliberative democracy and their regard for democratic virtues, principles, and practices. Jensen is not a naive utopian, however; he argues that this ideal must be realized in stages, that it faces a variety of barriers, and that it cannot be realized without luck. (shrink)

One feature of autism spectrum disorder (ASD) is a deficit in verbal reference production; i.e., providing an appropriate amount of verbal information for the listener to refer to things, people, and events. However, very few studies have manipulated whether individuals with ASD can take a speaker’s perspective in order to interpret verbal reference. A critical limitation of all interpretation studies is that comprehension of another’s verbal reference required the participant to represent only the other’s visual perspective. Yet, many everyday (...) interpretations of verbal reference require knowledge of social perspective (i.e., a consideration of which experiences one has shared with which interlocutor). We investigated whether 22 5;0- to 7;11-year-old children with ASD and 22 well-matched typically developing (TD) children used social perspective to comprehend (Study 1) and produce (Study 2) verbal reference. Social perspective-taking was manipulated by having children collaboratively complete activities with one of two interlocutors such that for a given activity, one interlocutor was Knowledgeable and one was Naïve. Study 1 found no between-group differences for the interpretation of ambiguous references based on social perspective. In Study 2, when producing referring terms, the ASD group made modifications based on listener needs, but this effect was significantly stronger in the TD group. Overall, the findings suggest that high-functioning children with ASD know with which interlocutor they have previously shared a given experience and can take this information into account to steer verbal reference. Nonetheless, they show clear performance limitations in this regard relative to well-matched controls. (shrink)

In the most comprehensive examination to date of Heidegger’s Nazism, Emmanuel Faye draws on previously unavailable materials to paint a damning picture of Nazism’s influence on the philosopher’s thought and politics. In this provocative book, Faye uses excerpts from unpublished seminars to show that Heidegger’s philosophical writings are fatally compromised by an adherence to National Socialist ideas. In other documents, Faye finds expressions of racism and exterminatory anti-Semitism. Faye disputes the view of Heidegger as a naïve, temporarily disoriented academician and (...) instead shows him to have been a self-appointed “spiritual guide” for Nazism whose intentionality was clear. Contrary to what some have written, Heidegger’s Nazism became even more radical after 1935, as Faye demonstrates. He revisits Heidegger’s masterwork, _Being and Time_, and concludes that in it Heidegger does not present a philosophy of individual existence but rather a doctrine of radical self-sacrifice, where individualization is allowed only for the purpose of heroism in warfare. Faye’s book was highly controversial when originally published in France in 2005. Now available in Michael B. Smith’s fluid English translation, it is bound to awaken controversy in the English-speaking world. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 10.1 (2003) 99-102 [Access article in PDF] Living with Contested Knowledge and Partial Jennifer Clegg and Richard Lansdall-Welfare THESE CAREFUL AND CONSTRUCTIVE comments bring grist to our mill. Before responding to them, we observe first that they offer no substantive challenge to our thesis: ambiguities associated with meaning in the disabled life make it more likely that professional service providers will make dogmatic responses to (...) bereavement, and perhaps other essentially contested topics, responses that are defended by isolationism.Some welcome ideas came from left field to refresh our thinking, such as Colman's observations on the gendered nature of care. She reminded us that although the audit from which these cases came was established to investigate bereavement in general among adults with intellectual disability, its rough and ready sampling failed to ensure the expected range of bereavement types. Somehow the bereavements constructed as relevant for audit all transpired to concern the death of mothers. Moreover, of the six relatives who agreed to be interviewed concerning these bereavements, two were stepfathers and four were sisters. Colman underlines the invisibility of care work usually done by female family members: how wise or less wise decisions create the conditions for bereavement reactions, and how changes to care arrangements following bereavement fall most heavily on them. Traustadottir (2002) discussed the way new care initiatives often put pressure on female family members and staff to do more unpaid work. For example, Circles of Support encourages them to include people with intellectual disability in their personal social networks, without considering the personal costs. Such observations have yet to emerge from the umbrella of feminist research. Separatism has served feminism well, but issues of women and care do need to find their place in mainstream reviews.Another useful reminder from Colman is that the person with intellectual disability is not the only concern to families, although only a few adult services manage to hold wider systemic factors in mind (Clegg and Burnham 2000). If the person may make naïve comments at a funeral that would devastate family members whose needs take priority, the person will be excluded.The potency of bereavement was discussed twice. Casenave suggests that because "disability is a loss experience" bereavement resonates with it, casting some doubt onto the suggestion that our thesis generalizes to other contested topics. Reinders criticizes clinicians for being purblind to the tragic. The anonymous reviewer who questioned [End Page 99] the relevance of our discussion of the quality of "presence," a quality Reinders considers highly relevant, illustrates the point better than we can. Recognizing the way clinicians have little "patience with the notion of the tragic" encourages reflection on what other human experiences fail to capture our attention.Although these are all potentially valuable directions, we focus here on comments that may enhance our ability to work without dogma. Since at least the 1980s, clinicians in intellectual disability have criticized the discipline for using linear and univariate rather than complex and multivariate theories, and for a naïve search for magic answers (reviewed in Clegg 1993). It is our contention that little has changed, and that uncertain meaning and normalization combine to create ideal conditions for dogma. Reinders' exposition of the various uses of meaning in our article and in different linguistic and historical traditions develops a vital but neglected topic in intellectual disability, which we consider in some detail. We conclude by arguing that developments require us to distance ourselves from the universality and commonality inherent to normalization, and create new ways to appreciate particularity and diversity.The gist of Reinders' complex argument appears to be that the problems we identify in managing bereavement in intellectual disability stem from a modernist understanding of meaning that is erroneous. Implicitly, those who eschew its pursuit demonstrate the greater wisdom, because neither dialogue nor activities such as reflection can generate meaning that is unattainable. If we understand his position correctly, he contrasts two principal understandings of meaning: comprehension and apprehension.Comprehension is the illusory modernist idea that humans are agents who make sense of themselves... (shrink)

This chapter discusses four packages, including Ludovician, Aristotelian, Fortibracchian, and Quietist. There are two quite coherent packages of answers to the some issues: a neo‐Humeist or Ludovician package, and a neo‐Aristotelian package. Ludovicians put little weight on common sense beliefs, especially when they are embedded in ethical and legal practices, and they do not rely heavily on the "manifest image of the world". Aristotelians rely more heavily on the semantic intuition about what could possibly be the truthmakers for familiar kinds (...) of claims, including those involving tense and modality. This chapter lists the Aristotelian package as including Meinongianism, ontological vagueness, and Tensism on the passage of time. Fortibracchians are very similar in methodology to Ludovicains. In practice, Fortibracchians give more weight to a kind of naive realism with respect to scientific theory than do Ludovicians. (shrink)

In several areas of Mathematical Logic and Computer Science one would ideally like to use the set F orm(L) of all formulas of some first-order language L for some goal, but this cannot be done safely. In such a case it is necessary to select a subset of F orm(L) that can safely be used. Three main examples of this phenomenon are: • The main principle of naive set theory is the comprehension schema: ∃Z(∀x.x ∈ Z ⇔ A).

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

A ‘‘duality’’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in, for example, spacetime structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, (...) what is one to say about the ontology of the world? Int his paper, we undertake a comprehensive and nontechnical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

We have no interest whatever in minimizing the continuing history of racist, sexist, homophobic, or otherwise abusive biologisms, or the urgency of their exposure, that has made the gravamen of so many contemporary projects of critique. At the same time, we fear — with installation of an automatic antibiologism as the unshifting tenet of `theory' — the loss of conceptual access to an entire thought-realm. I was left wondering what danger had been averted by the exclusion of biology. What does (...) the nominative `biological or anatomical body' actually refer to? And what secures the separation of its inadmissible matter from the proper purview of Irigaray's textual interventions? When I asked a question to this effect it was met with a certain nervous comprehension. Deciding, perhaps, that I must still be immersed in a precritical understanding of the body, the speaker dismissed me with a revealing theatrical gesture. As if to emphasize the sheer absurdity of my question she pinched herself and commented `Well I don't mean this body'. And so it seemed with a gesture so matter of fact that it required no further comment, the fact of matter was both decided and dispatched. Feminism has been as deeply implicated in routinized antiessentialism as any of our critical procedures. Even though questions of `the body' have become increasingly fashionable in all manner of feminist projects, the schedule of feminism's antibiologism has been little altered. In most of these projects on `the body', the body in question is pursued in its socially, experientially, or psychically constituted forms, but rarely in its physiologically, biochemically, or microbiologically constituted form, the idea of biological construction having been rendered either unintelligible or naive. Despite an avowed interest in the body, there is a persistent distaste for biological detail. These feminist theories have usually been reluctant to engage with biological data: they retain, and encourage, the fierce antibiologism that marked the emergence of second wave feminism. That feminist scholars are particularly prone to a `knee jerk constructivism' helps explain the reluctance of those in the humanities to engage seriously with the claims of science. This book functions primarily as a reminder to social, political, and cultural theorists, particularly those interested in feminism, antiracism and questions of the politics of globalisation, that they have forgotten a crucial dimension of research, if not necessary to, then certainly useful for more incisively formulating the concepts on which they so heavily, if implicitly rely. It is written as a remembrance of what we have forgotten — not just the body, but that which makes it possible and which limits its actions: the precarious, accidental, contingent, expedient, striving, dynamic status of life in a messy, complicated, resistant, brute world of materiality, a world regulated by the exigencies, the forces, of space and time. We have forgotten the nature, the ontology, of the body, the conditions under which bodies are encultured, psychologized, given identity, historical location, and agency. We have forgotten where we come from. (shrink)

A crucial question here is what, exactly, the conditional in the naive truth/set comprehension principles is. In 'Logic of Paradox', I outlined two options. One is to take it to be the material conditional of the extensional paraconsistent logic LP. Call this "Strategy 1". LP is a relatively weak logic, however. In particular, the material conditional does not detach. The other strategy is to take it to be some detachable conditional. Call this "Strategy 2". The aim of the (...) present essay is to investigate Stragey 1. It is not to advocate it. The work is simply an extended exploration of the strategy, its strengths, its weaknesses, and the various dierent ways in which it may be implemented. In the first part of the paper I will set up the appropriate background details. In the second, I will look at the strategy as it applies to the semantic paradoxes. In the third I will look at how it applies to the set-theoretic paradoxes. (shrink)

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) (...) the claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

In this chapter, we address the roles that exemplars might play in a comprehensive response to epistemic injustice. Fricker defines epistemic injustices as harms people suffer specifically in their capacity as (potential) knowers. We focus on testimonial epistemic injustice, which occurs when someone’s assertoric speech acts are systematically met with either too little or too much credence by a biased audience. Fricker recommends a virtue­theoretic response: people who do not suffer from biases should try to maintain their disposition towards (...) class='Hi'>naive testimonial justice, and those who find themselves already biased should cultivate corrective testimonial justice by systematically adjusting their credence in testimony up or down depending on whether they are hearing from someone whom they may be biased against or in favor of. We doubt that the prominent admiration­emulation model of exemplarism will be much use in this connection, so we propose two ways of learning from negative exemplars to better conduct one’s epistemic affairs. In the admiration­emulation model, both the identification of what a virtue is and the cultivation of virtues identified thusly proceed through the admiration of virtuous exemplars. We show that this model has serious flaws and argue for two alternatives: the envy­agonism model and the ambivalence­avoidance model. (shrink)

Background Professional care workers face ethical issues in long-term care settings (LTCS) for older adults. They need to be independent and responsible, despite limited resources, a shortage of skilled professionals, global and societal changes, and the negative reputation of LTCS work. Research aim Our aim was to describe the care workers’ lived experiences of ethical issues. The findings can be used to gain new perspectives and to guide decision-making to improve the quality of care, occupational well-being and nursing education. Research (...) design Focus group interviews were analyzed using a hermeneutic-phenomenological method. The analysis comprised three steps: naïve reading, structural analysis, and comprehensive understanding. Participants and research context We randomly sampled LTCS service providers in Finland and 53 care workers with different educational backgrounds from seven organizations participated in focus group interviews in 2021. Ethical considerations This was a sensitive study, which was connected to the participants’ individual views of the world, professional ethics and social and health care legislation. The participants' provided informed consent and their anonymity was guaranteed. Findings Care workers spoke about their lived experiences of ethical issues in an emotional way, using practical examples. They talked about how they were experts at caring and advocating for residents, balanced the responsibilities of their different roles, and defended their work to the wider society. The care workers said that ethical aspects of their work were too difficult to solve on their own. There were elements of their working environment and practices that caused unnecessary strain and they needed the commitment of managers, organizations, and society to solve ethical issues in LTCS. Conclusions Ethical issues were related to the well-being of both residents and care workers and reflected both internal and external pressures. Some issues could not be resolved by individuals and needed input from managers, organizations, and society. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which (...) the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

One may well argue that there ought not to be any such thing as an “undergraduate-level introduction to Hegel,” simply because, except perhaps for an especially advanced senior major in philosophy or religious studies, no undergraduate should be allowed to read Hegel. Extreme as it is, this view does have some merit. To read Hegel with even the bare minimum of comprehension requires a sophistication in philosophy, history, art history, and general cultural awareness which is seldom found in undergraduates. (...) It is well-known that a first semester freshman with little or no previous knowledge of philosophy is perfectly able, after only a few introductory lectures, to understand in a basic way the most important and complex sections of Plato’s Republic. Similarly, most intelligent freshmen are able to read Aristotle, Descartes, Hume, and even Kant, with a tolerable degree of comprehension. But with Hegel, on the other hand, whose thought presupposes, contains, interprets, criticizes, and hebt auf all of the thought which has gone before it, to an extent which no other major philosopher has even attempted, such naive reading is impossible. The problem is compounded by Hegel’s prose style, which, though necessary to his intent, and though passable in German, is too often utterly unfathomable in English, even by experts. Of what use, then, is an undergraduate introduction? (shrink)

This essay defends a reading of Hegel as a metametaphysical antirealist. Metametaphysical antirealism is a denial that metaphysics has as its subject matter answers to theoretical questions about the mind-independent world. Hence, on this view, metaphysical questions are not, in principle, knowledge transcendent. I hold that Hegel presents a version of metametaphysical antirealism in the Science of Logic because he pursues his project by suspending reference to all supposed objects of metaphysical theory as practiced before him. Hegel introduces reference in (...) his theory only by the self-reference of thought to itself in the Doctrine of the Concept. I motivate the relevance of Hegel’s approach to metaphysics by comparing it to Kit Fine’s (2017) concept of “naïve metaphysics.” I argue that Hegel’s theory results from a comprehensively naïve metaphysics. (shrink)

In this paper, we consider argumentation frameworks with sets of attacking arguments (SETAFs) due to Nielsen and Parsons, an extension of Dung’s abstract argumentation frameworks that allow for collective attacks. We first provide a comprehensive analysis of the expressiveness of SETAFs under conflict-free, naive, stable, complete, admissible, preferred, semi-stable, and stage semantics. Our analysis shows that SETAFs are strictly more expressive than Dung AFs. Towards a uniform characterization of SETAFs and Dung AFs we provide general results on expressiveness which (...) take the maximum degree of the collective attacks into account. Our results show that, for each [Formula: see text], SETAFs that allow for collective attacks of [Formula: see text] arguments are more expressive than SETAFs that only allow for collective attacks of at most k arguments. (shrink)

This fine book is a comprehensive and careful survey of the current situation in the methodology of economics. It is directed primarily at economists and students of economics. Indeed, the economist who reads it with the care it deserves will have a better grip on matters of methodology in economics than most philosophers of science, but philosophers and historians of science will also find the work rewarding and interesting. Though a few examples may be beyond the economically untutored reader, they (...) are not essential to the exposition, and other examples are accessible and enlightening: the brief discussions of Paul Samuelson's revealed preference approach and Julie Nelson's criticism of Gary Becker's work on economics of the family are good instances. Chapter 2, “The Methodological Tradition in Economics,” is a calm and brief introduction to its subject.Until quite recently practicing scientists, economists among them, and philosophers of science presupposed several strong theses about science and knowledge: that all genuine knowledge is scientific; that the objects of this knowledge are eternal and free of context; that all knowledge and all science is one, unified at least by a common scientific method; that, though not infallible, this method is progressive—it approaches truth as a limit—and operates in independence of the nonscientific beliefs and values of its practitioners. These principles cannot be presupposed today. Those who would accept any of them must be ready to meet serious criticisms. The import of this contemporary Methodenstreit as it affects economics is the dominant theme of Reflection without Rules. The reader is left with the conviction that the science of economics and the study of its methodology are inseparable and that it was only dedicated and myopic attachment to The Legend that kept this messy business at bay. Nor can there be any return to the age of innocent division of labor—economists to economics, philosophers to methodology.There are too many topics treated in the book even to list in a brief review. There are calm and clear accounts of Thomas Kuhn's work; of logical positivism ; of the deep effects of the collapse of The Legend on Walrasian equilibrium models; of Daniel Hausman's work on the nature of economics; of the strong program, which strives to reduce scientific activity to the effects of the social interests of scientists; of Alvin Goldman's reliabilism and social epistemology ; and of the important differences between pre‐ and post‐Legend views of science and knowledge.The question of values in science arises for economics in a special and pointed way, for economics studies many sorts of values. It also, at least since Adam Smith, deals in the unintended collective consequences of individual intentional actions. Economics evidently consists in the largely unintended consequences of the intentional actions of individual economists, and, once The Legend is discredited, economics is seen to navigate the very currents that it studies. This opens the door to the virtuous possibility of self‐criticism in tune with the strong naturalism of contemporary epistemology.It is not the least virtue of Reflection without Rules that its author wears his impressive erudition gracefully and well. The book is sophisticated and at the same time naive in the best sense. It will fortunately be the standard reference for work in the methodology of economics for some time to come. (shrink)

Mea culpa. In 1981 the President's Commission for the Study of Ethical Problems in Medicine and Biomedical and Behavioral Research, of which I was the Executive Director, recommended to the President and Congress that all federal departments and agencies that conduct or support human subjects research adopt “as a common core” the HHS regulations, “while permitting additions needed by any department or agency that are not inconsistent with these core provisions.” The commission believed—rightly, I still think—that having uniformity would ease (...) administration, reduce regulatory burdens, simplify oversight, and make research more efficient. Yet our naïve expectation the task could be accomplished in 180 days meant that we failed to anticipate that if it took much longer—namely, the 10 years that passed before the Common Rule was issued—federal officials would thereafter be reluctant to change the regulations and that when they tried to do so twenty years later, with the issuance of the ANPRM in 2011, they would propose comprehensive revisions. I argue that was the wrong conclusion to draw from the difficulties in issuing the first Common Rule, and that the process of producing the new “final rule” on January 19, 2017—during which many of the proposed changes were either dumped or promulgated without being adequately vetted—reinforces the conclusion that a more incremental process, with ongoing involvement of the public through an advisory body like the President's Commission, would be a much better way to proceed. (shrink)

Burgess-Jackson has recently suggested that the debate between theism and atheism can be represented by means of a classical square of opposition. However, in light of the important role that the position of agnosticism plays in Burgess-Jackson’s analysis, it is quite surprising that this position is not represented in the proposed square of opposition. I therefore argue that the square of opposition should be extended to a slightly larger, more complex Aristotelian diagram, viz., a hexagon of opposition. Since this hexagon (...) does represent the position of agnosticism, it arguably yields a more helpful representation of the theism/atheism debate. It would be naïve to presume that Aristotelian diagrams can, by themselves, lead to a comprehensive solution of debates as intricate as that between theism and atheism. Nevertheless, this paper aims to show that these diagrams — especially if they are chosen carefully — have an important methodological role to play, by systematically organizing and clarifying the debate. (shrink)

Participants with posttraumatic stress disorder and participants with a trauma but without PTSD wrote narratives of their trauma and, for comparison, of the most-important and the happiest events that occurred within a year of their trauma. They then rated these three events on coherence. Based on participants’ self-ratings and on naïve-observer scorings of the participants’ narratives, memories of traumas were not more incoherent than the comparison memories in participants in general or in participants with PTSD. This study comprehensively assesses narrative (...) coherence using a full two by two design. The results are counter to most prevalent theoretical views of memory for trauma. (shrink)

Purpose. The research is based on the comprehension of the anthropological tendencies of the metamodernism, which presupposes the consistent solution of the following tasks: a) explication of the content of post-postmodernism in modern philosophical literature; b) identification of the ideological basis of metamodernism anthropology; c) characteristics of the problem field of metamodernism anthropology and the state of man in the modern era. Theoretical basis. Anthropology of the metamodernism for the first time defines socio-cultural context through the hesitative state between (...) the values of modernism and their rejection by the postmodernism, which makes it possible to formulate the peculiarity of the time as a desire to reconstruct a Holistic Man, impartial to the dominant worldview attitudes of a social nature. Anthropology of the metamodernism is presented as the individualization of the socio-cultural space in the form of human self-reconstruction at all anthropological levels. An era without an unambiguously expressed moral guideline is based on the ethics of all-acceptance, the only justification of which is the existence of a universal right to beingness. Digitalization as a process of digital transformation of society creates conditions for the value realization of the free choice of metamodernism man, through which a Holistic Man is accomplished. Originality. It is substantiated that metamodernism as a descriptive position of the modern cultural dominant of the digitalized era is characterized by a state of hesitation between the values of modernism and postmodernism. The anthropology of the metamodernism manifests itself in the form of the reconstruction of the holistic man and the self-reconstruction of the inner man. The peculiarities of the human metamodernism are recognized as the mutual complete determinability of the individual and the mass. Conclusions. Metamodernism is the formulation of the problem of a man in a new perspective: what to be and how to survive between the extremes of semantic poles, without losing dignity and unique intrinsic value. Proceeding from this, the fate of a metamodernism man is determined in pursuit of the endlessly receding horizons of the anthropology of incompleteness, which is carried out through post-irony, naive sincerity, optimistic openness to the world. (shrink)

In this chapter, we address the roles that exemplars might play in a comprehensive response to epistemic injustice. Fricker defines epistemic injustices as harms people suffer specifically in their capacity as (potential) knowers. We focus on testimonial epistemic injustice, which occurs when someone’s assertoric speech acts are systematically met with either too little or too much credence by a biased audience. Fricker recommends a virtue­theoretic response: people who do not suffer from biases should try to maintain their disposition towards (...) class='Hi'>naive testimonial justice, and those who find themselves already biased should cultivate corrective testimonial justice by systematically adjusting their credence in testimony up or down depending on whether they are hearing from someone whom they may be biased against or in favor of. We doubt that the prominent admiration-­emulation model of exemplarism will be much use in this connection, so we propose two ways of learning from negative exemplars to better conduct one’s epistemic affairs. In the admiration-­emulation model, both the identification of what a virtue is and the cultivation of virtues identified thusly proceed through the admiration of virtuous exemplars. We show that this model has serious flaws and argue for two alternatives: the envy-­agonism model and the ambivalence-avoidance model. (shrink)

Evidence from the knowledge access task and the diverse belief task suggests that, before age four, children may find it difficult to attribute false beliefs to others, despite demonstrating a basic comprehension of the concept of belief. Challenging this view, this article assumes a sociopragmatic perspective on language to argue that even children younger than four may not understand at all the concept of belief but may nevertheless master naïvely the pragmatics of belief reports in specific conversational contexts. The (...) proposal suggests a novel interpretation of both the reasons behind younger children’s difficulty with (elicited-response) false belief tasks, and the critical factors enabling children’s success in them. On the one hand, it proposes that younger children fail (elicited-response) false belief tasks because they do not understand the importance of focusing on an agent’s (verbally ascribed) mental states to infer her practical commitments. On the other hand, it suggests that children’s active engagement in conversations where the caregiver credits an agent with a belief is the critical factor integrating their initially scattered mastery of the pragmatics of belief reports, teaches them to track belief reports across contexts, and accordingly shapes their understanding of belief as a representational mental state. (shrink)

The tu quoque argument is the argument that since in the end rationalism rests on an irrational choice of and commitment to rationality, rationalism is as irrational as any other commitment. Popper's and Polanyi's philosophies of science both accept the argument, and have on that account many similarities; yet Popper manages to remain a rationalist whereas Polanyi decided for an irrationalist version of rationalism. This is more marked in works of their respective followers, W. W. Bartley III and Thomas S. (...) Kuhn. Bartley declares the rationalist's very openness to criticism open to criticism, in the hope of rendering Popper's critical rationalism quite comprehensive. Kuhn makes rationality depend on the existence of an accepted model for scientific research (paradigm), thus rendering Polanyi's view of the authority of scientific leadership a sine qua non for scientific progress. The question raised here is, in what sense is a rationalist committed to his rationality, or an irrationalist to his specific axiom ? The tradition views only the life?long commitment as real. Viewing rationality as experimental open?mindedness, we may consider a rationalist unable to retreat into any life?long commitment ? even commitment to science. In this way the logic of the tu quoque argument is made irrelevant: anyone able to face the choice between rationality and commitment is already beyond such a choice; it is one thing to be still naïve and another ? and paradoxical ? thing to return to one's naïveté. (shrink)