Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.

The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

Evidential decision theory (EDT) says that the choiceworthiness of an option depends on its evidential connections to possible outcomes. Causal decision theory (CDT) holds that it depends on your beliefs about its causal connections. While Newcomb cases support CDT, Arif Ahmed has described examples that support EDT. A new account is needed to get all cases right. I argue that an option A's choiceworthiness is determined by the probability that a good outcome ensues at possible A‐worlds that match actuality in (...) the facts causally unaffected by your decision (the “unaffected facts”). Moreover, you should evaluate A on the assumption that A is compossible with the unaffected facts. This view entails that you should use EDT when evaluating A on the assumption that the unaffected facts determine your action, but use CDT when assessing A on the opposite assumption. A's choiceworthiness equals a weighted average of these conditional assessments. The weights are determined by your beliefs about whether the unaffected fact determine your action. This account gets both Newcomb and Ahmed cases right. According to an influential view, whether you take the unaffected facts to determine your action can make a difference to whether you can regard yourself as free and the action as being under your control. While my account is neutral on this issue, it entails that whether you take the unaffected facts to determine your action is important in a different way: it matters to whether you should follow EDT or CDT. (shrink)

(2013). Does consciousness entail subjectivity? The puzzle of thought insertion. Philosophical Psychology: Vol. 26, No. 2, pp. 291-314. doi: 10.1080/09515089.2011.625117.

Descartes claims that God is a substance, and that mind and body are two different and separable substances. This paper provides some background that renders these claims intelligible. For Descartes, that something is real means it can exist in separation, and something is a substance if it does not depend on other substances for its existence. Further, separable objects are correlates of distinct ideas, for an idea is distinct (in an objective sense) if its object may be easily and clearly (...) separated from everything that is not its object. It follows that if our idea of God is our most distinct idea, as Descartes claims, then God must be a substance in the Cartesian sense of the term. Also, if we can have an idea of a thinking subject which does not in any sense refer to bodily things, and if bodily things are substances, then mind and body must be two different substances. (shrink)

According to a standard interpretation of the term, ‘gender’ denotes sets of social roles and expectations conventionally associated with the sexual physiology of human beings. Originally introduced in psychology, the term is now widely used in the social sciences and humanities, as well as in the biological sciences. In this article we introduce and discuss the central themes of contemporary philosophical debates on gender. Particular attention is paid to recent feminist arguments concerning the distinction between sex and gender, and to (...) how feminist debates today intersect with neuroscience research on sex-related differences between human brains. (shrink)

This paper examines two contemporary answers to the question of whether moral values and norms are apt for rational criticism and justification: Richard Rorty’s radically contextualist approach—which is centered around the notion of contingency and is characterized by a dismissal of all claims to philosophical justification—and Karl-Otto Apel’s transcendental-pragmatic version of discourse ethics—which encompasses highly ambitious claims to justification and universal validity. Contrasting the key theses of Rorty’s contextualism with those of Apel’s universalist discourse ethics and reconstructing their respective conceptions (...) of moral progress we argue that neither Rorty’s nor Apel’s position is convincing. (shrink)

While there are satisfactory answers to the question “How should we teach children mathematics?”, there are no satisfactory answers to the question “What mathematics should we teach children?”. This paper provides an answer to the last question for preschool children (early childhood), although the answer is also applicable to older children. This answer, together with an appropriate methodology on how to teach mathematics, gives a clear conception of the place of mathematics in the children’s world and our role in helping (...) children develop their mathematical abilities. Briefly, children’s mathematics consists of the world of children’s internal activities that they eventually purposefully organize in order to understand and control the outside world and organize their overall activities in it. We need to support a child in mathematical activities that she does spontaneously and in which she shows interest, and we need to teach her mathematics that she is interested in developing through these activities. In doing so, we must be fully aware that the child’s mathematics is part of the child’s world of internal activities and is not outside of it. We help the child develop mathematical abilities by developing them in the context of her world and not outside of it. From the point of view of this conception, the standards established today are limiting and too focused on numbers and geometric figures: these topics are too prominent and elaborated, and other mathematical contents are subordinated to them. Adhering to the standards, we drastically limit the mathematics of the child’s world, hamper the correct mathematical development of a child, and we can turn her away from mathematics. (shrink)

From the comparison of time in inertial frames, possible types of transformations between inertial frames are deduced. This elementary deduction directly relates the properties of time with the type of transformations. When all inertial frames measure the same time (time is absolute), the transformations are Galilean. When each inertial frame has its own time, different from the times of other inertial frames (time is not invariant) the transformations are Lorentz-like with the same positive parameter k. The parameter k is the (...) supremum of possible velocities in an inertial frame, the same for all inertial frames. Einstein's postulate about the invariance of the speed of light says more: there is a uniform motion with the supremum k, which is exactly the motion of light. At the end of the article, attempts to reduce the special theory of relativity to the principle of relativity are criticized. (shrink)

The Russell-Myhill paradox puts pressure on the Russellian structured view of propositions by showing that it conflicts with certain prima facie attractive ontological and logical principles. I describe several versions of RMP and argue that structurists can appeal to natural assumptions about metaphysical grounding to provide independent reasons for rejecting the ontological principles used in these paradoxes. It remains a task for future work to extend this grounding-based approach to all variants of RMP.

In this handbook, I put into practice my philosophical views on children's mathematics. The handbook contains brief instructions and examples of mathematical activities. In the INSTRUCTIONS section, instructions are given on how, and in part why that way, to help preschool children in their mathematical development. In the ACTIVITIES section, there are examples of activities through which the child develops her mathematical abilities.

Much of the modern philosophy of causation has been governed by two ideas: (i) causes make their effects inevitable; (ii) a cause is something that makes a difference to whether its effect occurs. I focus on explaining the origin of idea (ii) and its connection to (i). On my view, the frequent attempts to turn (ii) into an analysis of causation are wrongheaded. Patterns of difference-making aren't what makes causal claims true. They merely provide a useful test for causal claims. (...) Moreover, what justifies us in using them as a test is idea (i). That's how (i) and (ii) are connected. (shrink)

In this essay I defend the claim that the life of a living being is not one of its properties but something different: a mode of being. It follows from this that living beings should not be taken to be things that possess the property of being alive. Second, I argue that living beings are essentially involved in ongoing activities as long as they exist. Life cannot only be a disposition to be active, but must itself be an ongoing activity. (...) Third, I suggest that for something to be a living being is to engage in activities whose success is determined by criteria that emerge exclusively from a proper account of the nature of the living being in question. To identify something as a living being is not to attribute a particular property to it, but to say what criteria apply to what it actually is or does. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

Patients suffering from the Cotard syndrome can deny being alive, having guts, thinking or even existing. They can also complain that the world or time have ceased to exist. In this article, I argue that even though the leading neurocognitive accounts have difficulties meeting that task, we should, and we can, make sense of these bizarre delusions. To that effect, I draw on the close connection between the Cotard syndrome and a more common condition known as depersonalisation. Even though they (...) are not delusional, depersonalised patients seem to have experiences that are quite similar to those of Cotard patients. I argue that these experiences are essentially characterised by a lack of subjective character and of two other structural features of experience, which I call ‘the present character’ and ‘the actual character’. Cotard's nihilistic delusions simply consist in taking these anomalous experiences at face value. (shrink)

This paper analyzes the historical context and systematic importance of Kant's hypothetical use of reason. It does so by investigating the role of hypotheses in Kant's philosophy of science. We first situate Kant’s account of hypotheses in the context of eighteenth-century German philosophy of science, focusing on the works of Wolff, Meier, and Crusius. We contrast different conceptions of hypotheses of these authors and elucidate the different theories of probability informing them. We then adopt a more systematic perspective to discuss (...) Kant's idea that scientific hypotheses must articulate real possibilities. We argue that Kant's views on the intelligibility of scientific hypotheses constitute a valuable perspective on scientific understanding and the constraints it imposes on scientific rationality. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

Patients suffering from depersonalization complain of feeling detached from their body, their mental states, and actions or even from themselves. In this chapter, I argue that depersonalization consists in the lack of a phenomenal feature that marks my experiences as mine, which is usually called “mineness,” and that the study of depersonalization constitutes a neglected yet incomparable probe to assess empirically the scope, role, and even the nature of mineness. Here is how I will proceed. After describing depersonalization (§2) and (...) arguing that it involves a lack of mineness (§3) I will confront a series of objections (§4). I will then spell out what depersonalization can teach us about the scope of mineness (§5), about its role and psychological function (§6) and even about its nature (§7). (shrink)

Approximate coherentism suggests that imperfectly rational agents should hold approximately coherent credences. This norm is intended as a generalization of ordinary coherence. I argue that it may be unable to play this role by considering its application under learning experiences. While it is unclear how imperfect agents should revise their beliefs, I suggest a plausible route is through Bayesian updating. However, Bayesian updating can take an incoherent agent from relatively more coherent credences to relatively less coherent credences, depending on the (...) data observed. Thus, comparative rationality judgments among incoherent agents are unduly sensitive to luck. (shrink)

This is a commentary on Andrea Lavazza and Murilo Vilaça's article "Human Extinction and AI: What We Can Learn from the Ultimate Threat" (Lavazza & Vilaça, 2024). I discuss the potential concern that their proposal to create artificial successors to "insure" against the tragedy of human extinction might mean being too quick to accept that catastrophic prospect as inevitable, rather than single-mindedly focusing on avoiding it. I also consider the question of the value that we might reasonably assign to such (...) a future of artificial successors under the assumption that they do not enjoy phenomenal consciousness. (shrink)

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

O presente trabalho tem por objetivo fornecer uma resposta à crítica direcionada pelo jurista Fábio Konder Comparato ao formalismo jurídico de Kant. Explicarei porque essa crítica se equivoca quando identifica, na Doutrina do Direito de Kant, uma Teoria do Direito incompleta e insatisfatória. Para tanto, pretendo mostrar que o propósito do filósofo alemão não era apresentar uma teoria do direito, mas sim uma Metafísica do Direito. O que explica, por conseguinte, a razão para o direito ter sido concebido como um (...) conceito puro. Além disso, a fim de determinar o significado do formalismo jurídico, ocupar-me-ei da crítica hegeliana ao suposto formalismo ético de Kant, bem como da resposta a essa crítica. (shrink)

This chapter argues that the distinction between ambitious and modest transcendental arguments, developed and deployed by various authors in the wake of Stroud’s influential critique of transcendental reasoning, may be pointless when applied to transcendental arguments from performative inconsistency that have moral statements as their conclusions. If moral truth is assertorically constrained, then any modest moral transcendental argument from performative inconsistency can be converted into an ambitious moral transcendental argument. The chapter provides an account of performative inconsistency and suggests an (...) alternative to the widespread reading of transcendental conditionals in terms of an ‘if-then’-sentences whose antecedents express a proposition to the effect that some x is possible and whose consequents express a statement to the effect that some y is actual. (shrink)

In this article, modern standards of early years mathematics education are criticized and a proposal for change is presented. Today's early years mathematics education standards rest on a view of mathematics that became obsolete already at the end of the 19th century while the spirit of children's mathematics is precisely the spirit of modern mathematics. The proposal for change is not a return to the “new mathematics” movement, but something different.

According to what we will call subjectivity theories of consciousness, there is a constitutive connection between phenomenal consciousness and subjectivity: there is something it is like for a subject to have mental state M only if M is characterized by a certain mine-ness or for-me-ness. Such theories appear to face certain psychopathological counterexamples: patients appear to report conscious experiences that lack this subjective element. A subsidiary goal of this chapter is to articulate with greater precision both subjectivity theories and the (...) psychopathological challenge they face. The chapter’s central goal is to present two new approaches to defending subjectivity theories in the face of this challenge. What distinguishes these two approaches is that they go to great lengths to interpret patients’ reports at face value – greater length, at any rate, than more widespread approaches in the extant literature. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are not (...) truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

This article presents some considerations concerning the relevance of empirical research from neuroscience and social psychology for philosophical debates in normative ethics. While many authors hold that there are findings and theories from those fields that are relevant to normative ethics, it often remains unclear precisely how this relevance relation is to be construed and spelled out. The article critically discusses various proposals which have recently been made in this regard by philosophers, psychologists, and neuroscientists.

Descartes was certain that he was thinking and he was accordingly certain that he existed. Like Descartes, we seem to be more certain of our thoughts and our existence than of anything else. What is less clear is the reason why we are thus certain. Philosophers throughout history have provided different interpretations of the cogito, disagreeing both on the kind of thoughts it characterizes and on the reasons for its cogency. According to what we may call the empiricist interpretation of (...) the cogito, I can only claim to be certain of having experiences, and this certainty, as well as that of my own existence, stems from their phenomenal and subjective character. According to rationalist interpretations, on the other hand, I am certain of having some self-reflexive propositional attitudes, and this certainty derives from their rational features. Psychiatric patients suffering from acute forms of depersonalization or of the Cotard syndrome often doubt that they think and exist, and might even believe that they don't. I argue that their study allows us to favor the empiricist interpretation of the cogito. (shrink)

Currently, the widely used notion of activity is increasingly present in computer science. However, because this notion is used in specific contexts, it becomes vague. Here, the notion of activity is scrutinized in various contexts and, accordingly, put in perspective. It is discussed through four scientific disciplines: computer science, biology, economics, and epistemology. The definition of activity usually used in simulation is extended to new qualitative and quantitative definitions. In computer science, biology and economics disciplines, the new simulation activity definition (...) is first applied critically. Then, activity is discussed generally. In epistemology, activity is discussed, in a prospective way, as a possible framework in models of human beliefs and knowledge. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form (...) a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

The aim of this text, derived from an investigation, is to propose a reflection on the future of the university, from the problematization of the neoliberal rationality impact on the forms of knowledge production and organization of academic life. To develop this analysis, the main transformations of the modern university since its advent with the founding of the Berlin University by Wilhelm von Humboldt, in 1810, who created the model of the research university, until the emergence of the neoliberal university (...) model. The purpose of the article is to highlight the rationalities that govern the transformation of the university over time. This historical analysis attempts to demonstrate that no model can be considered natural, absolute, inevitable, non-negotiable, and that and that the university as an institution is inhabited by a mixture of contradictory rationalities. To conclude, the Derrida's essay (2001), is used to show that the uncontested adoption of the neoliberal model can destroy the autonomy of research and teaching that until today characterized the modern university, and compromise its mission in the future. (shrink)

Motivationally unconscious (M-unconscious) states are unconscious states that can directly motivate a subject’s behavior and whose unconscious character typically results from a form of repression. The basic argument for M-unconscious states claims that they provide the best explanation to some seemingly non rational behaviors, like akrasia, impulsivity or apparent self-deception. This basic argument has been challenged on theoretical, empirical and conceptual grounds. Drawing on recent works on apparent self-deception and on the ‘cognitive unconscious’ I assess those objections. I argue that (...) (i) even if there is a good theoretical argument for its existence, (ii) most empirical vindications of the M-unconscious miss their target. (iii) As for the conceptual objections, they compel us to modify the classical picture of the M-unconscious. I conclude that M-unconscious states and processes must be affective states and processes that the subject really feels and experiences —and which are in this sense conscious— even though they are not, or not well, cognitively accessible to him. Dual process psychology and the literature on cold-hot empathy gaps partly support the existence of such M-unconscious states. (shrink)

In this article I interpret John Rawls’s concept of the original position as a spiritual exercise. In addition to the standard interpretation of the original position as an expository device to select principles of justice for the fundamental institutions of society, I argue that Rawls also envisages it as a “spiritual exercise”: a voluntary personal practice intended to bring about a transformation of the self. To make this argument, I draw on the work of Pierre Hadot, a philosopher and classicist, (...) who introduced the idea of spiritual exercises as central to ancient and modern conceptions of philosophy. By reading Rawls alongside Hadot, this article portrays Rawls as a thinker deeply concerned with the question of how subjects can lead more just and fulfilling lives. It also proposes that the original position as a spiritual exercise can help defend liberalism as a social and political doctrine. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Basic self-awareness is the kind of self-awareness reflected in our standard use of the first-person. Patients suffering from severe forms of depersonalization often feel reluctant to use the first-person and can even, in delusional cases, avoid it altogether, systematically referring to themselves in the third-person. Even though it has been neglected since then, depersonalization has been extensively studied, more than a century ago, and used as probe for understanding the nature and the causal mechanisms of basic self-awareness. In this paper, (...) I argue that depersonalized patients indeed have an impaired basic self-awareness, and that their study allows us both to favor one specific theory of basic self-awareness and to understand what is wrong with its rivals. According to the favored theory, which I call Cartesian, we are basically self-aware in virtue of being acquainted with ourselves through introspection. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian “infinite book copies” (...) objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the Weyl’s (...) system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

Many philosophers have argued that statistical evidence regarding group characteristics (particularly stereotypical ones) can create normative conflicts between the requirements of epistemic rationality and our moral obligations to each other. In a recent article, Johnson-King and Babic argue that such conflicts can usually be avoided: what ordinary morality requires, they argue, epistemic rationality permits. In this article, we show that as data get large, Johnson-King and Babic’s approach becomes less plausible. More constructively, we build on their project and develop a (...) generalized model of reasoning about stereotypes under which one can indeed avoid normative conflicts, even in a big data world, when data contain some noise. In doing so, we also articulate a general approach to rational belief updating for noisy data. (shrink)

The potential of using personalized Large Language Models (LLMs) or “generative AI” (GenAI) to enhance productivity in academic research, as highlighted by Porsdam Mann and colleagues (Porsdam Mann...

The distinction between teleology and teleonomy that biologists sometimes refer to seems to be helpful in certain contexts, but it is used in several different ways and has rarely been clearly drawn. This paper discusses three prominent uses of the term “teleonomy” and traces its history back to what seems to be its first use. This use is examined in detail and then justified and refined on the basis of elements found in the philosophy of Aristotle, Kant, Anscombe and others. (...) In the course of this explication, it will also be shown how the description of end-directed processes relates to their explanation. (shrink)

What are the identity and persistence conditions of videogames? This paper surveys the contemporary philosophical literature on this topic. Specifically, I discuss various views which attempt to ground the identity of videogame works in their rules, in their algorithmic structure, in their source code, or in contextual parameters surrounding gameplay. While these proposals all have merits of their own, I argue that none of them are satisfactory. My conclusion is therefore negative: we still lack an adequate theoretical model to account (...) for the identity and persistence conditions of videogames. (shrink)

Aristotle’s aitiai are middle terms in Aristotelian syllogisms. I argue that stating the aitia of a thing therefore amounts to re-describing this same thing in an alternative and illuminating way. This, in turn, means that a thing and its aitiai really are one and the same thing under different descriptions. The purpose of this paper is to show that this view is implied by Aristotle’s account of explanation, and that it makes more sense than one might expect.

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

Contingentism is the view that it is possible for there to be contingent existents. Timothy Williamson has argued that contingentists cannot provide a satisfactory interpretation of the possible-world semantics for modal logic. This paper aims to provide such an interpretation on behalf of contingentists.