It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. (...) In the second part, we review some possible notions of representability of functions studied in the literature, and give a new proof of the equivalence of the weak representability with the (strong) representability of functions in sufficiently strong arithmetical theories. (shrink)

By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.

This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in RCA0. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in RCA0. This approach yields a proof of Arrow's theorem in RCA0, and (...) thus in PRA, since Arrow's theorem can be formalised as a Π01 sentence. Finally we show that Fishburn's possibility theorem for countable societies is equivalent to ACA0 over RCA0. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed (...) by a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

Several metaphysical debates have typically been modeled as oppositions between a relationist approach and a substantivalist approach. Such debates include the Bundle Theory and the Substratum Theory about ordinary material objects, the Bundle (Humean) Theory and the Substance (Cartesian) Theory of the Self, and Relationism and Substantivalism about time. In all three debates, the substantivalist side typically insists that in order to provide a good treatment of the subject-matter of the theory (time, Self, material objects), it is necessary to postulate (...) the existence of a certain kind of substance, while the other side, the relationist one, characteristically feels that this is an unnecessary expense and that one can get the job done in an ontologically cheaper way just with inter-related properties or events. In this paper I shall defend the view that there is much less of a disagreement between relational ontologies and substantival ontologies than it is usually thought. I believe that, when carefully examined, the two sides of the debate are not that different from each other, in all three cases of pairs of views mentioned above. As we will see, both the relational side and the substantival side work in the same way, suffer from and answer the same objections, and are structurally extremely similar. It will be an important question – one that I shall discuss in detail, and that is indeed the main point of interest for me in this paper – whether this means that the two sides of the debate are somehow 'equivalent' or not, and what 'equivalent' could mean. (shrink)

Rational agents seem more confident in any possible event than in an impossible event. But if rational credences are real-valued, then there are some possible events that are assigned 0 credence nonetheless. How do we differentiate these events from impossible events then when we order events? de Finetti (1975), Hájek (2012) and Easwaran (2014) suggest that when ordering events, conditional credences and subset relations are as relevant as unconditional credences. I present a counterexample to all their proposals in this (...) paper. While their proposals order possible and impossible events correctly, they deliver the wrong verdict for disjoint possible events assigned equal positive credence. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on (...) well-developed methods of functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

It has recently been alleged that expressivism cannot account for the obvious fact that normative sentences and their negations express inconsistent kinds of attitudes. I explain how the expressivist can respond to this objection. I offer an account of attitudinal inconsistency that takes it to be a combination of descriptive and normative relations. The account I offer to explain these relations relies on a combination of functionalism about normative judgments and expressivism about the norms governing them. It holds (...) that the inconsistency of normative judgments is primitive. One potential problem for this view is that the large number of normative primitives that the expressivist will allegedly need to accept will render the view grossly unparsimonious. In defending this thesis, I suggest that it is a mistake to hold the lack of normative parsimony of expressivism against its core psychological claims. (shrink)

In this paper, we consider what is commonly referred to as Leibniz’s argument for primitive concepts. After presenting and criticizing (in sections 1 and 2) one recent rather straightforward way of interpreting this argument, by Paul Lodge and Stephen Puryear, which takes the argument to be merely about the structure of concepts, we offer an alternative way of looking at the argument. We think it is best seen as being fundamentally about the relation between thought and reality. In order (...) to prepare the ground for our reconstruction (which we present in section 5), we have to introduce his view of ideas or concepts (section 3), as well as some metaphysical principles concerning reality-dependence (section 4). (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes (...) are, as determinate particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics (...) of the primitive stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (shrink)

Preference, according to many theories of human behaviour, is a very important phenomenon. It is therefore some what surprising that philosophers of mind pay so little attention to it. One question about preference concerns its variety. Is preference always preference for one option or state of affairs rather than another? Or is there also, as ordinary language suggests, object-preference – preferences for one person rather than another, for one country rather than another, for one value rather than another? Another question (...) or rather group of questions concerns the nature of preference. Is it a mental state, disposition, act or episode, a theoretical construct, a purely behavioural phenomenon? If it is a mental state or act, is it an intellectual, affective or a conative phenomenon? If it is an affective phenomenon, does it enjoy a positive or negative “valence”? Is preference to be understood as a relation between a person’s attitudes or is it a primitive phenomenon? (shrink)

The orthodox monadic determination thesis holds that we represent colour relations by virtue of representing colours. Against this orthodoxy, I argue that it is possible to represent colour relations without representing any colours. I present a model of iconic perceptual content that allows for such primitive relational colour representation, and provide four empirical arguments in its support. I close by surveying alternative views of the relationship between monadic and relational colour representation.

We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them and introduce (...) a new characteristic of relations, ternarity, that measures their ‘complexity of relating’ and allows to refine reduction results. In particular, we refine Peirce’s controversial reduction thesis, and show that reducibility behaviour is dramatically different on finite and infinite domains. (shrink)

Pain is often used as the paradigmatic example of a phenomenal kind with a phenomenal quality common and unique to its instantiations. Philosophers have intensely discussed the relation between the subjective feeling, which unites pains and distinguishes them from other experiences, and the phenomenal properties of sensory, affective, and evaluative character along which pains typically vary. At the center of this discussion is the question whether the phenomenal properties prove necessary and/or sufficient for pain. In the empirical literature, sensory, affective, (...) and evaluative properties have played a decisive role in the investigation of psychophysical correspondence and clinical diagnostics. This paper addresses the outlined philosophical and empirical issues from a new perspective by constructing a multidimensional phenomenal space for pain. First, the paper will construe the phenomenal properties of pains in terms of a property space whose structure reflects phenomenal similarities and dissimilarities by means of spatial distance. Second, philosophical debates on necessary and sufficient properties are reconsidered in terms of whether there is a phenomenal space formed of dimensions along which all and only pains vary. It is concluded that there is no space of this kind and, thus, that pain constitutes a primitive phenomenal kind that cannot be analyzed entirely in terms of its varying phenomenal properties. Third, the paper addresses the utility of continued reference to pain and its phenomenal properties in philosophical and scientific discourses. It is argued that numerous insights into the phenomenal structure of pain can be gained that have thus far received insufficient attention. (shrink)

Maureen Donnelly has recently argued that directionalism, the view that relations have a direction, applying to their relata in an order, is unable to properly treat certain symmetric relations. She alleges that it must count the application of such a relation to an appropriate number of objects in a given order as distinct from its application to those objects in any other ordering of them. I reply by showing how the directionalist can link the application conditions of any (...) fixed arity relation, no matter its arity or symmetry, and its converse(s) in such a way that directionalism will yield the correct ways in which it can apply. I thus establish that directionalism possesses the same advantage Donnelly's own account of relations, relative positionalism, has over traditional positionalist accounts of relations, which do not properly treat symmetric relations. I then note some advantages that directionalism has over its closest competitors. This includes Donnelly's relative positionalism, since directionalism is not, like relative positionalism, committed to the involvement of relative properties in every irreducibly relational claim. I close by conceding that, as Donnelly notes, directionalism is committed to the primitive relation of order-sensitive relational application. But I don't find this notion as mysterious as Donnelly does. I conclude that, even if one construes this feature of directionalism as a drawback, the two views are at worst at a draw, other things being equal, since this drawback is mitigated by the advantage directionalism has over relative positionalism. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked (...) to predict future locations. The sequences vary in complexity according to a well-defined language comprising elementary primitives and recursive rules. A detailed analysis of error patterns indicates that primitives of symmetry and rotation are spontaneously detected and used by adults, preschoolers, and adult members of an indigene group in the Amazon, the Munduruku, who have a restricted numerical and geometrical lexicon and limited access to schooling. Furthermore, subjects readily combine these geometrical primitives into hierarchically organized expressions. By evaluating a large set of such combinations, we obtained a first view of the language needed to account for the representation of visuospatial sequences in humans, and conclude that they encode visuospatial sequences by minimizing the complexity of the structured expressions that capture them. (shrink)

De se beliefs typically pose a problem for propositional theories of content. The Property Theory of content tries to overcome the problem of de se beliefs by taking properties to be the objects of our beliefs. I argue that the concept of self-ascription plays a crucial role in the Property Theory while being virtually unexplained. I then offer different possibilities of illuminating that concept and argue that the most common ones are either circular, question-begging, or epistemically problematic. Finally, I argue (...) that only a primitive understanding of self-ascription is viable. Self-ascription is the relation that subjects stand in with respect to the properties that they believe themselves to have. As such, self-ascription has to be primitive if it is supposed to do justice to the characteristic features of de se beliefs. (shrink)

F. H. Bradley’s relation regress poses a difficult problem for metaphysics of relations. In this paper, we reconstruct this regress argument systematically and make its presuppositions explicit in order to see where the possibility of its solution or resolution lies. We show that it cannot be answered by claiming that it is not vicious. Neither is one of the most promising resolutions, the relata-specific answer adequate in its present form. It attempts to explain adherence (relating), which is a crucial (...) component of the explanandum of Bradley’s relation regress, in terms of specific adherence of a relational trope to its relata. Nevertheless, since we do not know the consequences and constituents of a trope adhering to its specific relata, it remains unclear what specific adherence is. It is left as a constitutively inexplicable primitive. The relata-specific answer only asserts against Bradley. This negative conclusion highlights the need for a metaphysical account of the constitution of the holding of adherence. (shrink)

There has been recent work on acedia and its relationship to depression, but the results are a mixed bag. In this essay, I engage some recent scholarship comparing acedia with depression, endeavouring to clarify the concept of acedia using literature from theology, philosophy, psychiatry, and even a 16th-century treatise on witchcraft. Along the way, I will show the following key theses. First, the concept of acedia is not identical to the concept of depression. Acedia is not merely a primitive (...) psychological predecessor to depression, but it marks off significantly different ways of being, not least because of one’s spiritual relation to God. As Lucrèce Luciani-Zidane (2009: 13) has said, “acedia is entangled in the heart (or life) of Christian dogma.” Second, however, it is still possible that an instance of acedia can coincide with an instance of depression, if one’s condition, or state, is such that each term can be correctly and truthfully applied. By the conclusion of this piece, I begin to explore what practical implications this view has for practitioners and laypersons. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to (...) the obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

We expand and transform our habitual agency with countless technologies most moments of the day. Our environments, bodies, thoughts and social interactions are thoroughly shaped and mediated by tapestries of interweaving layers of old and new technologies. Perhaps this intimate relation with technology is at the core of our humanity. But our relation to technology has also repeatedly been feared as a Faustian deal that will be the dystopian end of us, or—in more utopian viewpoints— will bring us beyond our (...) earthbound finitudes toward virtual existences. What many agree on is that dramatic changes to our basic ecological and existential conditions are nearing. I suggest we should look for such critical tipping points and phase shifts not just in our biological bodies and environments but also in the informational and behavioral environments we rely on in our intentional and habitual agency. When thinking particularly about technologically mediated habitual agency an obvious place to start is with Don Ihde’s 4 classic human–technology relations. Interestingly, fellow post-phenomenologist Peter- Paul Verbeek has proposed new additional kinds of relations to e.g. “smart”and virtually “augmenting” technologies. While I find each of these analyses insightful, I worry that a focus on individual relations to particular spatio-temporally circumscribed artifacts falls short—or even obscures—some of the particular new challenges to our agency that networked, and data-driven smart technologies give rise to. I will therefore attempt to broaden the focus to how our agency is scaffolded by not just particular technological artifacts, but by our understanding of the broader informational and behavioral environment. To do this, I start by introducing some core theoretical background ideas that will support a more contextual approach and then proceed to consider both the classic and newer post-phenomenological relations from this more contextual perspective. The goal is not only to affirm the value of analyzing concrete technology relations but also to expand and contextualize the analyses. The latter is key if we want a post-phenomenological analysis that can help us understand how our habitual agency might be transformed as we come to live in increasingly “smart worlds”. These new data and algorithmically driven technologies not only transform our relation to a given context, but due to networked dataflows and “smart” decision-making (1) recursively act on us and (2) collapse and transcend the present context. This chapter will also highlight the uncertainties that informationally leaky and “smart” technologies introduce to our understanding of the kind of affordance space we are in and even what the expected outcomes of our actions will be. I suggest that technology relations with such effects might challenge some of the core contextual stabilities and informational segregations that our habitual agency have hitherto relied on. A further issue is if these new technological configurations challenge our habitual processes in ways we cannot easily adapt to. We certainly seem able to create new habits and adapt to these new technologies locally, but the new information flows, hidden audiences, and context collapses appear to challenge some conditions of agency that are typically out of sight, and the effects of which untraceably shows up well outside the present context. Overall, I shall argue that “smart” technologies can both expand and shrink our habitual agency—but that in terms of our ability to guide our action through various contexts in a perceived world something more fundamental appears to be breaking. (shrink)

In the chapter Spirit of the book "Phenomenology of spirit" in a section called "True spirit, ethical Life", Hegel looks into the happy state of "ethical life" in Greece. The concept of ethical life is a very crucial concept because it formulates Hegel's fundamental political and social ideal, which is to establish synthesis between the community and the individual. In this research, we study the ethical life of people who are unreasonably immersed in the customs and laws of a certain (...) society. In the following, we see that this world is divided and the unity of laws in it is shaken. For this reason, Hegel discusses the literary genres of epic and tragedy in order to show that in them, a person progressively becomes himself and becomes aware of his individual character. Hegel destroys his primitive ethical substance dialectically through essential conflicts, with forced actions and untangling choices of people with will and as a result people are deprived of their social identities. In this dialectical process, the "living unity" of the polis is fragmented and becomes a mass of separate atoms. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities (...) and the propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

The basic kinds of physical causality that are foundational for other kinds of causality involve objects and the causal relations between them. These interactions do not involve events. If events were ontologically significant entities for causality in general, then they would play a role in simple mechanical interactions. But arguments about simple collisions looked at from different frames of reference show that events cannot play a role in simple mechanical interactions, and neither can the entirely hypothetical causal relations (...) between events. These arguments show that physics, which should be authoritative when it comes to the metaphysics of causality, gives no reasons to believe that events are causal agents. Force relations and some cases of energy-momentum transfer are examples of causal relations, with forces being paradigmatic in the macroscopic world, though it is conceivable that there are other kinds of causal relation. A relation between two objects is a causal relation if and only if when it is instantiated by the two objects there is a possibility that the objects that are the terms of the relation could change. The basic metaphysics of causality is about objects, causal relations, changes in objects, and a causal primitive. The paper also includes a discussion of the metaphysics of forces and a discussion of the metaphysics of energy and momentum exchanges. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

It is widely held that under ordinal utility, utility differences are ill-defined. Allegedly, for these to be well-defined (without turning to choice under risk or the like), one should adopt as a new kind of primitive quaternary relations, instead of the traditional binary relations underlying ordinal utility functions. Correlatively, it is also widely held that the key structural properties of quaternary relations are entirely arbitrary from an ordinal point of view. These properties would be, in a (...) nutshell, the hallmark of cardinal utility. While much is obviously true in these two tenets, this note explains why, as stated, they should be abandoned. Any ordinal utility function induces a rich quaternary relation. There is such a thing as ordinal utility differences. Furthermore, this induced quaternary relation respects, apart from completeness, the most standard structural properties of quaternary relations. These properties are, from an ordinal point of view, anything but arbitrary; from a quaternary perspective only completeness should be considered the hallmark—if any—of cardinal utility. These facts are explained to be especially relevant to the critical appreciation of the ordinalist methodology. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the (...) set of theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or (...) quantitative distance. The internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical (...) order, that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

I present and defend Reinach's theory of ownership according to which, prior to the positive law, one finds a distinction between possession, ownership and property rights. Ownership is not a bundle of positive rights, but a primitive natural relation that grounds the absolute right to behave as one wishes towards the thing one owns. In reply to some objections raised against it, I argue that Reinach's theory of property is morally and politically non-committal; and that it in fact has (...) the ressources for dealing with the vexing issue of the origin of ownership. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: (...) R.S. Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

Scientific realism is the view that our best scientific theories can be regarded as (approximately) true. This is connected with the view that science, physics in particular, and metaphysics could (and should) inform one another: on the one hand, science tells us what the world is like, and on the other hand, metaphysical principles allow us to select between the various possible theories which are underdetermined by the data. Nonetheless, quantum mechanics has always been regarded as, at best, puzzling, if (...) not contradictory. As such, it has been considered for a long time at odds with scientific realism, and thus a naturalized quantum metaphysics was deemed impossible. Luckily, now we have many quantum theories compatible with a realist interpretation. However, scientific realists assumed that the wave-function, regarded as the principal ingredient of quantum theories, had to represent a physical entity, and because of this they struggled with quantum superpositions. In this paper I discuss a particular approach which makes quantum mechanics compatible with scientific realism without doing that. In this approach, the wave-function does not represent matter which is instead represented by some spatio-temporal entity dubbed the primitive ontology: point-particles, continuous matter fields, space-time events. I argue how within this framework one develops a distinctive theory-construction schema, which allows to perform a more informed theory evaluation by analyzing the various ingredients of the approach and their inter-relations. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

A perceptual experience of a given object seems to make the object itself present to the perceiver’s mind. Many philosophers have claimed that naïve realism (the view that to perceive is to stand in a primitive relation of acquaintance to the world) provides a better account of this phenomenological directness of perceptual experience than does the content view (the view that to perceive is to represent the world to be a certain way). But the naïve realist account of this (...) phenomenology has a conspicuous shortcoming: it explains the phenomenological directness of veridical perceptual experiences but not of hallucinations. Conversely, I maintain that a particular variety of the content view provides a unified account of the phenomenological directness of both veridical and hallucinatory experiences. If so, then contrary to what is often assumed, the phenomenological facts concerning perceptual experience are explained better by the content view than by naïve realism, and consequently, we have a compelling reason to prefer the content view to naïve realism. (shrink)

Primitive awareness leading to consciousness can be explained as a manifestation of internal forces between charge and mass. These internal forces, related to the weak and strong forces, balance the external forces of gravity-inertia and electricity-magnetism and thereby accommodate outside influences by adjusting the internal structure of material from which we are composed. Such accommodation is the physical implementation of a model of the external physical world and qualifies as Vitiello's double held inside ourselves. We experience this accommodation as (...) the conscious experience in front of our noses. Neural pulse traffic is interpreted as unconscious signal processing activity happening between this internal accommodation and our external interface of sensors and actuators. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in (...) much the same way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

Cosmopolis A Review of Cosmopolitics -/- 2015/3-4 -/- Editorial Dominique de Courcelles & Paul Ghils -/- This issue addresses the general concept of “spirituality” as it appears in various cultural contexts and timeframes, through contrasting ideological views. Without necessarily going back to artistic and religious remains of primitive men, which unquestionably show pursuits beyond the biophysical dimension and illustrate practices seeking to unveil the hidden significance of life and death, the following papers deal with a number of interpretations covering (...) a wide field extending from belief to theory, from emotions to concepts, from the wisdom of personal experience to the most sophisticated doctrines. Spirit and spirituality are indeed many-faceted notions. They may refer to the intricate world of the interacting spirits which inhabit living beings in animistic traditions, without excluding a “grand force” linking human beings within a dynamic whole on which their very existence rely . They also bear upon more atomistic and either/or approaches of Western philosophy, which have become embodied in Cartesian dualism against a monotheist background, to the point of freezing the essence of individuals and culminating in the extreme individualism that characterizes our contemporaries. However, this equally refers to the opposite conception of materialism, across times and cultures, from ancient India and Greece (Cārvāka, originally known as Lokāyata, or some Buddhist doctrines for the former, Democritus or Lucretius for the latter) to more contemporary materialistic schools, whether modern or postmodern. -/- The following papers look at the contrasting forms of the philosophy and spirit of the human factor set into a whole, with no artificial disjoint between the psychical and the physical levels, as Wittgenstein put it: “And how can a body have a soul?”. This approach is not unrelated to the notion of anthropocene examined in a recent issue of Cosmopolis, with provides another comprehensive framework open to a spiritual life emerging from the very environment that generated it. -/- *** The first section of this issue was edited by Dominique de Courcelles, director at the National French Research Centre (CNRS), whom we wish to thank for collecting relevant studies relating to the religious and political questions, with a view to focusing on the war of ideas inevitably waged behind images, concepts and perceptions, taking an asymmetrical approach. To the extent that they are mindful of global/local interactions and include representations, opinions and beliefs, such disciplines as philosophy, philology, history and social sciences can provide useful studies accounting for new practices in geopolitics and a fair diplomacy. -/- In her introduction, Dominique de Courcelles first poses the question of how the religious and political spheres interrelate, with their corresponding religious demands and humanistic values. She then suggests that the right question today may be breaking with the philosophy of human rights concerned with the defense of human beings against the hazards of arbitrary politics or the instrumental use of religion, in favour of a fair philosophy of humankind, a new humanism. This would consist in recognizing a common loyalty of all towards one interhuman, not only interstate community, to protect it from both the autonomy demanded by individuals and the instrumental use of minorities. -/- Considering the fact of diversity, so important today in terms of both politics and religion, Abdelhai Azarkan looks at the conditions under which tolerance could obtain the double status of right and duty. He revisits to two philosophers, John Locke and Voltaire, who thought about it from the historical reality of religious wars. The former made tolerance into a right, basing his analysis on the political-legal level, while the latter saw tolerance as a duty, from an analysis based on ethical-political criteria. -/- Mathieu Guidère examines what he calls semantic denominationalism, a term which implies religious attributes and identities, whichever national loyalties or personal belonging they may have at the same time. Since the early 2000s, thie phenomenon has expanded tremendously, compounded by the “war on terror” and the over media-oriented terrorist actions. Denominational expressions act as formal names for ordinary and high-profile players in domestic and foreign policies of democratic states. These systems reveal a receding secularization, while the powerful comeback of religious identities signals the failure of nation-states and the weakening of the humanist spirit. -/- Barbara De Poli retraces the history of a contemporary jihadism claiming its Islamic essence and asserting the truth of genuine coranic principles via the war on infidels, with a view to restoring the Caliphate. After defining the term jihad, she shows that even if this contemporary jiadism is spreading in the Muslim world, it radically departs from Islamic law and the received use of the term jihad, in so far as it is rooted in the early radical thinking of Islamic ideologues in the 20th century, starting with with Hassan al-Banna, the founder of the Muslim Brotherhood. This current has been fueled by by international conflicts since the outbreak of the war in Afghanistan, in which the so-called Western countries bear a major responsibility. -/- Abderrazak Sayadi starts from the Tunisian experience to ask the question of humanist values and democracy within the relationships between the religious and political spheres. As a historian of religion, he is brought to demystify certain islamic principles and to paying attention to the reform of law, seeing the separation of religion and politics as a precondition to a successful democratic gamble and the establishment of a renewed humanism. -/- Dominique de Courcelles reminds us that getting a better knowledge of narrations and words makes it possible to better understand how logical and rhetorical thinking works for those who wage an asymetriccal war, re-enchanting and mystifying the world to better take control. As soon as 1932, an exchange of letters between Einstein and Freud made it clear that, in order to free man from fatality and war, education understood as culture was fundamental. Such illustrations as the exécution of Oussama ben Laden and the Caliph’s speech in Mossoul show that a premiminary analysis of images and words is essential to a fair diplomacy conducted by people from civil society, whose culture and wisdom allow justice and force to speak together and better resist war. -/- Marcel Boisard thinks that on the day the guns fall silent, exhausted by war, we will not return to the state borders that have prevailed for a century as an outcome of the Sykes-Picot agreement of 1916. It is time to prepare the “day after”, which will be a huge challenge. To this end, a summit of Middle-East nations is urgently needed to globally decide the fate of those peoples. On the condition that we know who the enemy is and accept to name it, to understand the history of the countries, groups and alliances, and to question any false or self-interested sense of certainty. -/- *** In the second section, Paul Schafer provides the author’s experiences to explain how culture, from the artistic to the biological, has the power to to open the doors to spirituality, from the inner self to the global environment. He asks himself whether a relative permanence of spirituality can arise from the specific moments that characterize it. Laurent Ledoux synthesizes the conclusion of a symposium held on 22 January 2015 on the links between philosophy and management, on the basis of the spiritual dimension conceived as “natural” and the answers it may suggest to the issues that face the organizations in a “contemporaniversal” world. Jacques Rifflet makes that question in a secular perspective, based on the wellsprings of personal commitment before it can be caught by any religious creed or scientific theory. In this sense spirituality, in alliance with reason, both inspires human consciousness and illuminates its destiny. Sami Aldeeb asks himself whether Islam can be reconciled with human rights. Caught between the belief in an absolute and final Word descended from the sky, and evidence showing that any religion is the creation of a given culture and a society situated in time and space, the Makkan and … contexts et médinois call for differentiated, if not opposite answers and exegeses. Bernard Carmona provides the outline of a dialogical framework, which is known to be a feature of debates between the various philosophical schools of classical India, exemplified here by the transdisciplinary perspective of debates within a Buddhist context. *** The articles not focused on the previous topic include a study by Landry Signé on China’s strategy, competing with the United States to control African resources. The author deals with the specific case of China’s rapprochement with Southern Sudan since Sudan was broken up. In the last paper, Goran Fejić and Rada Iveković, return to the essential role that women should play, and comments upon the role of some international legal instruments related in particular to the elimination of all forms of discrimination. The perspective is transnational and transethnic and is based on secular criteria, as regards nation-building and more generally society-building. Considering the persistence of widespread violence, whether in times of armed conflict or in times of peace, the question remains whether it is possible to fully implement rights and justice instruments. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Trope theories aim to eschew the primitive dichotomy between characterising (properties, relations) and characterized entities (objects). This article (in Finnish) presents a new trope theoretical analysis of relational inherence as the best way out of the impasse created by the alleged necessity to choose between an eliminativist and a primitivist ("relata-specific") view about relations in trope theory.

Angela Mendelovici’s book The Phenomenal Basis of Intentionality is a paradigm-establishing monograph within the phenomenal intentionality research program. Mendelovici argues that extant theories of intentionality that do not appeal to consciousness are both empirically and metaphysically inadequate, and a coherent, consciousness-based alternative can adequately explain (or explain away) all alleged cases of intentionality. While I count myself a fellow traveler, I discuss four choice-points where Mendelovici has taken, I believe, the wrong fork. (1) The explanatory relation that holds between intentional (...) and phenomenal properties is not identity but realization. (2) The mechanism that generates derivatively representational states is not content self-ascription but neural re-wiring. (3) The source of semantic structure within phenomenal-intentional states is not external structure and/or second-order co-instantiation but primitive phenomenal ascription. (4) The mode of presence of contents within phenomenal-intentional states is not being part of a superficial characterization, but being monadically present as an intentional object. (shrink)

(English then french abstract) -/- This article, which can be read by non-psychoanalysts, intends to browse in four stages through the issue offered to our thinking : two (odd-numbered) stages analyzing the argument that provides its context, and two (even-numbered) of propositions presenting our views on what could be the content of the analytic discourse in the coming years. After this introduction, a first reading will point by point but informally review the argument of J.-P. Journet by showing that each (...) of its clauses may generate a “bifurcated” comment able to serve or go against the analytic discourse. Hence the interest of the “differential diagnosis” mentioned in our title, which makes glimpse the traps that the homonymy may set to this speech. Then, to prepare a second scan which sticks neither to the analytical doxa, nor to the even authoritative opinions of our tenors and seniors, it will be proposed two attempts at redefinitions (“apophatic” and “recursive”) of what psychoanalysis is, as well as methodological tools operating downstream from these redefinitions to thwart the obstacles of “external” and “internal” homonymy (starting from a syllogism which can make consensus).The third stage will precisely be made of our second scan of the issue, whose elements will be reviewed and analyzed more methodically :“external differential diagnosis” between the analytic discourse and psychology, philosophy, sociology, and modern science, and “internal differential diagnosis” on the entanglement between theoretical advances of psychoanalysts and the repeated survival of fantasmatic elements...Finally, a fourth part will present propositions and perspectives resulting from these analysis (principle of economy as to the source of psychoanalytical theorizations; dialogue with the other fields, but without compromising; specific relations with the discourse of science), all this leading to an invitation, beyond disputes, to renew the content of the analytic discourse on some points... -/- --------------------------------------------------------------------- -/- Cet article, qui se veut lisible aux non-analystes, se propose de parcourir en quatre temps la problématique offerte à notre réflexion : deux temps (de rang impair) d'analyse de l'argument qui en fournit le contexte, et deux (de rang pair) de propositions présentant nos vues sur ce que pourrait être la teneur du discours analytique dans les prochaines années. Après cette introduction, un premier parcours réexaminera point par point mais informellement l'argument de J.-P. Journet en montrant que chacune de ses propositions peut donner lieu à un commentaire “bifide” à même de servir ou de desservir le discours analytique. D'où l'intérêt du “diagnostic différentiel” évoqué dans notre titre, qui fait entrevoir les pièges que l'homonymie peut tendre à ce discours.Puis, pour préparer un second balayage qui ne s'en tienne ni à la doxa analytique, ni aux opinions même autorisées de nos ténors et seniors, il sera proposé deux tentatives de redéfinitions (“apophatique” et “récursive”) de ce qu'est l'analyse, ainsi que des outils méthodologiques fonctionnant en aval de ces redéfinitions pour déjouer les embûches de l'homonymie “externe” et “interne” (à partir d'un syllogisme pouvant faire consensus). Le troisième temps sera fait justement de ce second balayage de la problématique, dont les éléments seront reconsidérés et analysés plus méthodiquement : “diagnostic différentiel externe” entre le discours analytique et les discours psychologique, philosophique, sociologique et celui de la science moderne ; et “diagnostic différentiel interne” portant sur l'intrication entre avancées théoriques des analystes et survivance à répétition d'éléments fantasmatiques...Enfin une quatrième partie exposera propositions et perspectives résultant de ces analyses (principe d'économie quant à la source des théorisations analytiques ; dialogue avec les autres champs, mais sans compromissions ; relations spécifiques avec le discours de la science), l'ensemble débouchant sur une invitation, au delà des différends, à renouveler sur certains points la teneur du discours analytique... (shrink)

This paper has two related goals. First, we develop an expressivist account of negation which, in the spirit of Alan Gibbard, treats disagreement as semantically primitive. Our second goal is to make progress toward a unified expressivist treatment of modality. Metaethical expressivists must be expressivists about deontic modal claims. But then metaethical expressivists must either extend their expressivism to include epistemic and alethic modals, or else accept a semantics for modal expressions that is radically disjunctive. We propose that expressivists (...) look to Amie Thomasson’s work for a general strategy for offering a unified expressivist account of modality. Modals in general, we propose, are devices for expressing metalinguistic commitments within the object language, with deontic, epistemic, and metaphysical modals all expressing different kinds of metalinguistic commitments. (shrink)

This paper addresses two related topics: 1. The disanalogies between elective cosmetic practices and sex reassignment surgery. Why does it seem necessary for me – an aging professional woman – to ignore the blandishments of hairdressers wielding dyes and dermatologists wielding acids and scalpels? Why does it not seem equally necessary for a transgendered person to repudiate sex reassignment procedures? 2. The role of the body in identity and agency. How do phenomenological insights regarding the constitution of selfhood in relation (...) to the interplay between the body image and corporeal know-how contribute to an account of the agency of transgendered individuals? Studying several paintings by contemporary feminist artist Jenny Saville has advanced my thinking on these topics. Saville’s imagery is an invaluable aid to reflection on these issues because she uses her painterly technique, which critics often dub “virtuoso,” to represent lived human bodies. In her work, viewers encounter representations of subjectivized, agentic corporeity, as distinct from inert, objectified flesh. Moreover, her sympathetic engagement with nonconformist, devalued bodies helps to reconfigure the standard gestalts of the human body that viewers typically carry with them and thus to convert fear and/or disgust into appreciation and understanding. In this paper, I consider three of Saville’s paintings. Plan, Saville’s self-portrait as a nude female whose body has been prepped for liposuction, conveys the pathos of this procedure. Matrix is a nude portrait of self-described “gender variant visual artist” Del LaGrace Volcano. In the words of one critic Saville’s depiction of Volcano’s nude intersexed body “restores beauty to the primitive [female] genital organ.” Passage, another nude portrait of an intersexed individual, is an image of vibrant sexuality despite the presumptively jarring juxtaposition of breasts and a penis. I argue that conceiving the agentic subject as a rational deliberative capability that uses a conjoined body as the instrument of its will makes it impossible to theorize the agency of transgendered people. In contrast, when agentic subjects are understood as embodied subjects and embodiment is understood as a dimension of practical intelligence, the agency of transgendered individuals is intelligible. (shrink)