Luca M. Possati, Jean Grondin, Paul Ricoeur ; Aurore Dumont, François Dosse et Catherine Goldenstein, Paul Ricoeur: penser la mémoire ; Paul-Gabriel Sandu, Gert-Jan van der Heiden, The Truth of Language. Heidegger, Ricoeur and Derrida on Disclosure and Displacement ; Paul Marinescu, Marc-Antoine Vallée, Gadamer et Ricoeur. La conception herméneutiquedu langage ; Witold Płotka, Saulius Geniusas, Th e Origins of the Horizon in Husserl’s Phenomenology ; Delia Popa, Annabelle Dufourcq, La dimension imaginaire du réel dans la philosophie de Husserl (...) ; Maria GyemantDenis Seron, Ce que voir veut dire. Essai sur la perception ; Christian Ferencz-Flatz, Hans Friesen, Christian Lotz, Jakob Meier, Markus Wolf, Ding und Verdinglichung. Technik- und Sozialphilosophie nach Heidegger und der Kritischen Th eorie ; Bogdan MincăLarisa Cercel, John Stanley, Unterwegs zu einer hermeneutischen Übersetzungswissenschaft. Radegundis Stolze zu ihrem 60. Geburtstag ; Denisa Butnaru Johann Michel, Sociologie du soi. Essai d’herméneutique appliquée ; Ovidiu Stanciu, Jan Patočka, Aristote, ses devanciers, ses successeurs. Trad. fr. Erika Abrams ; Mădălina Diaconu, Emmanuel Alloa, Das durchscheinende Bild. Konturen einer medialen, Phänomenologie. (shrink)

Coder’s argument is very similar to Lewis’ one: he maintains that some human beings are not able to follow Gödel’s theorem, so Lucas’ argument cannot show that their minds are not machines. The answer of Lucas is that one proposed against Lewis’ criticism, that is that Mechanism makes a universal claim and so a single counter-example – a single mind producing a singe truth not recognizable by any machine – is a disproof for it.

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., I can (...) in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., I can (...) in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

This book uses mathematical models of language to explain why there are certain gaps in language: things that we might expect to be able to say but can't. For instance, why can we say I ran for five minutes but not *I ran to the store for five minutes? Why is five pounds of books acceptable, but *five pounds of book not acceptable? What prevents us from saying *sixty degrees of water to express the temperature of the water in a (...) swimming pool when sixty inches of water can express its depth? And why can we not say *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. In this book, Lucas Champollion provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. (shrink)

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the (...) graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

J. R. Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine. Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate. Therefore Lucas is no machine.

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

J. R. Lucas serves warning that he stands ready to refute any sufficiently specific accusation that he is a machine. let any mechanist say, to his face, that he is some particular machine M; Lucas will respond by producing forthwith a suitable Gödel sentence ϕM. Having produced ϕM, he will then argue that — given certain credible premises about himself — he could not have done so if the accusation that he was M had been true. let the mechanist try (...) again; Lucas will counter him again in the same way. It is not possible to accuse Lucas truly of being a machine. (shrink)

J. R. Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine. Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate. Therefore Lucas is no machine.

Tradução dos livros Z e H da Metafísica de Aristóteles, com introdução e notas. Translation of Aristotle's Metaphysics Books VII and VIII into Portuguese, with Introduction and Notes.

Equality in the present age has become an idol, in much the same way as property was in the age of Locke. Many people worship it, and think that it provides the key to the proper understanding of politics, and that on it alone can a genuinely just society be reconstructed. This is a mistake. Although, like property, it is a useful concept, and although, like property, there are occasions when we want to have it in practice, it is not (...) a fundamental concept any more than property is, nor can having it vouchsafe to us the good life. In an earlier paper I argued against equality by showing that the concept of equality was confused and that many of the arguments i egalitarians adduced were either invalid or else supported conclusions I which were not really egalitarian at all. Many egalitarians, however, have complained that my arguments were not fair, because I had failed to elucidate the concept adequately, or because the position I attacked was not one that any egalitarian really wished to maintain, or because I had overlooked other arguments which were effective in establishing egalitarian conclusions, or because the positive counter-arguments of my own I put forward more as a matter of taste than of serious political commitment. In this paper, therefore, I want to elucidate the concept more fully, concede what I should to my critics, point out that, even so, their conclusions do not follow, and give further reasons not only for supposing that egalitarian arguments are invalid but for discerning positive merits in some forms of inequality. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

“Towards a Theory of Taxation” is a proper theme for an Englishman to take when giving a paper in America. After all it was from the absence of such a theory that the United States derived its existence. The Colonists felt strongly that there should be no taxation without representation, and George III was unable to explain to them convincingly why they should contribute to the cost of their defense. Since that time, understanding has not advanced much. In Britain we (...) still maintain the fiction that taxes are a voluntary gift to the Crown, and taxing statutes are given the Royal Assent with the special formula, “La Reine remercie ses bons sujets, accepte leur benevolence, et ainsi le veult” instead of the simple “La Reine le veult,” and in the United States taxes have regularly been levied on residents of the District of Columbia who until recently had no representation in Congress, and by the State of New York on those who worked but did not reside in the State, and so did not have a vote. Taxes are regularly levied, in America as elsewhere, on those who have no say on whether they should be levied or how they should be spent. I am taxed by the Federal Government on my American earnings and by state governments on my American spending, but I should be hard put to it to make out that it was unjust. Florida is wondering whether to follow California in taxing multinational corporations on their world-wide earnings. (shrink)

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...) establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

Norm theory (Kahneman & Miller, 1986) described a tendency for people to associate stronger regret with a negative outcome when it is a result of an exception (abnormal behavior) compared to when it is a result of routine (normal behavior). In two pre-registered studies, we conducted a replication and extension of three classic experiments on past behavior exception/routine contrasts (N = 684). We successfully replicated Kahneman and Miller’s (1986) experiments with the classic hitchhiker-scenario (Part 1) and car accident-scenario (Part 2). (...) In both cases, participants examined negative outcomes and tended to indicate a protagonist who deviated from own past behavior as more regretful than another who followed routine. Pre-registered extensions also showed effects for ratings of social norms, negative affect, and perceived luck. We did not find support for the Miller and McFarland (1986) experiment robbery scenario (Part 3) using a compensation measure, in that compensation to a victim of a robbery was not significantly different comparing exceptional and routine circumstances. However, a pre-registered extension showed that robbery under exceptional circumstances was regretted more than robbery under routine circumstances. We discuss implications for current and future research. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

Plato was the first feminist. In the Republic he puts forward the view that women are just the same as men, only not quite so good. It is a view which has often been expressed in recent years, and generates strong passions. Some of these have deep biological origins, which a philosopher can only hope to recognize and not to assuage. But much of the heat engendered is due to unnecessary friction between views which are certainly compatible and probably correct. (...) And here a philosopher can help. If we can divide the issues neatly, at the joints, then we need not quarrel with one another for saying something, probably true, because what is being maintained is misconstrued and taken to mean something else, probably false. (shrink)

According to Jim Pryor’s dogmatism, when you have an experience with content p, you often have prima facie justification for believing p that doesn’t rest on your independent justification for believing any proposition. Although dogmatism has an intuitive appeal and seems to have an antisceptical bite, it has been targeted by various objections. This paper principally aims to answer the objections by Roger White according to which dogmatism is inconsistent with the Bayesian account of how evidence affects our rational credences. (...) If this were true, the rational acceptability of dogmatism would be seriously questionable. I respond that these objections don’t get off the ground because they assume that our experiences and our introspective beliefs that we have experiences have the same evidential force, whereas the dogmatist is uncommitted to this assumption. I also consider the question whether dogmatism has an antisceptical bite. I suggest that the answer turns on whether or not the Bayesian can determine the priors of hypotheses and conjectures on the grounds of their extra-empirical virtues. If the Bayesian can do so, the thesis that dogmatism has an antisceptical bite is probably false. (shrink)

Prosper Lucas (1808–1885) is a unique figure in the history of psychiatric genetics. A physician-alienist, he authored one of the most important books on human genetics in the mid-19th century cited frequently by Darwin: the 1,500 page treatise—Philosophical and Physiological Treatise on Natural Heredity (1847–1850). This book contained a novel theory of the nature of inheritance and a detailed review of the heredity of a range of human traits and disorders, including various forms of insanity. Lucas postulated four forms of (...) heredity (direct, crossed, indirect, and atavistic), supported the importance of hereditary factors in insanity, accepted the inheritance of acquired characteristics, considered it important to examine both ancestors and collateral relatives, and recognized that heredity could influence both primary insanity and insanity secondary to other medical conditions. He reviewed the then available literature on most major forms of insanity including separate sections on hallucinations and suicidal monomania. The literature consisted of case reports of unusual families with high concentrations of illness. Lucas advocated for the homogeneity of transmission of forms of illness in families but recognized that—just as the form of illness could evolve within individuals over time—it could change forms when transmitted between relatives. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

The analytical notion of ‘scientific style of reasoning’, introduced by Ian Hacking in the middle of the 1980s, has become widespread in the literature of the history and philosophy of science. However, scholars have rarely made explicit the philosophical assumptions and the research objectives underlying the notion of style: what are its philosophical roots? How does the notion of style fit into the area of research of historical epistemology? What does a comparison between Hacking’s project on styles of thinking and (...) other similar projects suggest? My aim in this paper is to answer these questions. Hacking has denied that his project of styles of thinking falls into the field of historical epistemology. I shall challenge his remark by tracing out the connections of the notion of style with historical epistemology and, more in general, with a tradition of thought born in France in the beginning of twentieth-century. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions (...) concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...) of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology. (shrink)

Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...) Wright’s explanation. After this, I consider a recent development in Wright’s account of transmission failure. Wright suggests that his condition sufficient for transmission failure of first time warrant also suffices for transmission failure of supplementary warrant. I propose an interpretation of Wright’s suggestion that shield it from objections. I then lay down a fourth Bayesian framework that provides a simplified model of the unified explanation of transmission failure envisaged by Wright. (shrink)

In this paper, I discuss whether there are genuinely *diachronic* constraints of practical rationality, that is, pressures on combinations of practical attitudes over time, which are not reducible to mere synchronic rational pressures. Michael Bratman has recently argued that there is at least one such diachronic rational constraint that governs the stability of intentions over time. *Pace* Bratman, I argue that there are no genuinely diachronic constraints on intentions that meet the stringent desiderata set by him. But I show that (...) there are at least two synchronic rational constraints with distinctive and important, although only indirect, diachronic dimensions. Neither of them, however, supports the practical conservatism in the face of normative underdetermination that, according to Bratman, is part and parcel of the diachronic rationality of intention stability. (shrink)