Ce texte présente une réflexion générale sur la pertinence catégorielle en la rapprochant de questionnements relatifs au recueil et à l’analyse des données en dialectologie. Cet article se poursuit en proposant, par l’étude d’un corpus constitué de plus de 178 000 formes lexicales issues des Atlas linguistiques et ethnographiques de la France par régions, la description globale des découpages catégoriels effectifs en domaine occitan, concernant l’ensemble des animaux domestiques. Les dénominations dialectales du système notionnel des ânes constituent une étude de (...) cas sur laquelle ce travail se conclue. (shrink)

4E cognition (embodied, embedded, enactive, and extended) is a relatively young and thriving field of interdisciplinary research. It assumes that cognition is shaped and structured by dynamic interactions between the brain, body, and both the physical and social environments. -/- With essays from leading scholars and researchers, The Oxford Handbook of 4E Cognition investigates this recent paradigm. It addresses the central issues of embodied cognition by focusing on recent trends, such as Bayesian inference and predictive coding, and presenting new insights, (...) such as the development of false belief understanding. -/- The Oxford Handbook of 4E Cognition also introduces new theoretical paradigms for understanding emotion and conceptualizing the interactions between cognition, language, and culture. With an entire section dedicated to the application of 4E cognition in disciplines such as psychiatry and robotics, and critical notes aimed at stimulating discussion, this Oxford handbook is the definitive guide to 4E cognition. -/- Aimed at neuroscientists, psychologists, psychiatrists, and philosophers, The Oxford Handbook of 4E Cognition will be essential reading for anyone with an interest in this young and thriving field. (shrink)

From the author of Quantum Mechanics and Experience, a hugely influential book that challenged key assertions by Niels Bohr and other founders of quantum mechanics, A Guess at the Riddle provides a major metaphysical overhaul of one of physics' most intractable problems-the quest to bridge quantum and classical physics in order to understand the nature of reality.

The literature on ethical decision-making is rooted in a cognitive perspective that emphasizes the role of moral judgment. Recent research in interpersonal dynamics, however, has suggested that ethics revolves around an individual’s perceptions and views of others. We draw from both literatures to propose and empirically examine a contingent model. We theorize that whether the individual relies on cognitions about the ethical issue or perceptions of others depends on the level of social consensus surrounding the issue. We test our hypotheses (...) in three studies. Results suggest that not only does social consensus determine whether an individual relies on ethical cognitions about the issue or perceptions of others, but also that an individual’s view of self is an important moderator in these relationships. We conclude by considering implications of this research for theory and practice. (shrink)

Rationalists often argue that empiricism is incoherent and conclude, on that basis, that some knowledge is a priori. I contend that such arguments against empiricism cannot be parlayed into an argument in support of the a priori since rationalism is open to the same arguments. I go on to offer an alternative strategy. The leading idea is that, instead of offering a priori arguments against empiricism, rationalists should marshal empirical support for their position.

What has moral theory to do with practical judgment? The practical ethicist can move by analogy from case to case, saying of most new cases, “Oh, I think I've been here before.” Theory, ascending to a broader view, can provide directions when the ethicist finds herself in unfamiliar territory.

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation $\mathsf{TC}$. We show that pairing is not definable in $\mathsf{TC}$. We determine a reasonable extension of $\mathsf{TC}$ that is sequential, that is, has a good sequence coding.

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

In this paper I give a characterization of the closed fragment of the provability logic of $I \triangle_0 + \mathrm{EXP}$ with a propositional constant for $\mathrm{EXP}$. In three appendices many details on arithmetization are provided.

In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...) main result is that is mutually interpretable with Kalmar Arithmetic . The fact that interprets EA was proved earlier by Burgess. We provide a different proof. Each of the theories is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, , is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable with is finitely axiomatizable. (shrink)

A theory T is trustworthy iff, whenever a theory U is interpretable in T, then it is faithfully interpretable. In this paper we give a characterization of trustworthiness. We provide a simple proof of Friedman’s Theorem that finitely axiomatized, sequential, consistent theories are trustworthy. We provide an example of a theory whose schematic predicate logic is complete Π20.

In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. First, we show that first-order theories of finite signature that have functional non-surjective ordered pairing are definitionally equivalent to extensions in the same language of the basic theory of non-surjective ordered pairing. Second, we show that a first-order theory of finite signature is sequential (is a theory of sequences) iff it is (...) definitionally equivalent to an extension in the same language of a system of weak set theory called WS. (shrink)

In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...) the converse direction, lax interpretability that interacts in a good way with essential hereditary undecidability. We introduce the class of $$\Sigma ^0_1$$ Σ 1 0 -friendly theories and show that $$\Sigma ^0_1$$ Σ 1 0 -friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory. (shrink)

In this paper we show how to interpret Robinson’s arithmetic Q and the theory R of Tarski, Mostowski, and Robinson as theories of cardinals in very weak theories of relations over a domain.

We develop an exact truthmaker semantics for permission and obligation. The idea is that with every singular act, we associate a sphere of permissions and a sphere of requirements: the acts that are rendered permissible and the acts that are rendered required by the act. We propose the following clauses for permissions and obligations: -/- - a singular act is an exact truthmaker of Pφ iff every exact truthmaker of φ is in the sphere of permissibility of the act, and (...) -/- - a singular act is an exact truthmaker of Oφ iff some exact truthmaker of φ is in the sphere of requirements of the act. -/- We show that this semantics is hyperintensional, and that it can deal with some of the so-called paradoxes of deontic logic in a natural way. Finally, we give a sound and complete axiomatization of the semantics. (shrink)

In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic. The local induction scheme, which was introduced in, says roughly this: for any virtual class that is progressive, i.e., is closed under zero and successor, and for any non‐empty virtual class that is definable by a Σ1‐formula without parameters, the intersection of and is non‐empty. In other words, we have, for all Σ1‐sentences S, that S implies, whenever is progressive. Since, in the weak context, we have (at (...) least) two definitions of Σ1, we obtain two minimal theories of local induction w.r.t. Σ1‐formulas, which we call Peano Corto and Peano Basso.In the paper we give careful definitions of Peano Corto and Peano Basso. We establish their naturalness both by giving a model theoretic characterization and by providing an equivalent formulation in terms of a sentential reflection scheme.The theories Peano Corto and Peano Basso occupy a salient place among the sequential theories on the boundary between weak and strong theories. They bring together a powerful collection of principles that is locally interpretable in. Moreover, they have an important role as examples of various phenomena in the metamathematics of arithmetical (and, more generally, sequential) theories. We illustrate this by studying their behavior w.r.t. interpretability, model interpretability and local interpretability. In many ways the theories are more like Peano arithmetic or Zermelo Fraenkel set theory, than like finitely axiomatized theories as Elementary Arithmetic, and. On the one hand, Peano Corto and Peano Basso are very weak: they are locally cut‐interpretable in. On the other hand, they behave as if they were strong: they are not contained in any consistent finitely axiomatized arithmetical theory, however strong. Moreover, they extend, the theory of parameter‐free Π1‐induction. (shrink)

In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.

Geraud de Cordemoy, 1600-1684 -- Clerselier, 1614-1684, and Rohault, 1620-1675 -- Louis de la Chambre, 1594-1669 -- Samuel Sorbière, 1615-1670 -- Louis de la Forge and the critique of substantial forms -- Cartesian doctrine and the animal soul -- Clauberg and the development of occasionalism -- Some historical steps towards parallelism -- Cartesian refutations of Spinoza -- Matter and scientific efficiency -- Man, Thomistic and Cartesian.

By turns historical, sociological and autobiographical, this book investigates racism as social pathology - a cultural disease that prevails because it allows one segment of society to empower itself at the expense of another.

A Quantum-Mechanical automation, equipped with mechanisms for the measurement and the recording and the prediction of certain physical properties of the world, is described. It is inquired what sort of empirical description such an automation would produce of itself. It turns out that this description would be a very novel one, one such as was never imagined in the conventional discussions of measurement.

This paper compares the ethical standards reported by consumers and managers with different attachment styles (secure, preoccupied, fearful, or dismissing). We conducted two studies of consumer ethical beliefs and a third managerial survey. In Study 1, we used a questionnaire that we constructed, and in Study 2, we used the Muncy–Vitell Consumer Ethics Scale. The results in both the studies were consistent and showed that men reported a greater indifference to ethical transgressions than women. Based on the two studies, the (...) results indicate that␣among male consumers, the dismissing participants reported the greatest overall indifference to ethical transgressions and the secure participants expressed the most ethical beliefs. The two intermediate groups did not differ significantly from each other. In Study 1, none of the women consumers reported a dismissing attachment style. Women with a secure style reported more ethical beliefs than those in the other two groups. However, the sample in Study 2 included dismissing women. The dismissing women reported the greatest overall indifference to ethical transgressions and the secure women expressed the most ethical beliefs. The illegal profit subscale described the most severe ethical transgressions, and for both men and women, the secure participants were less apt than the other participants to report a willingness to transgress. In Study 3, the Newstrom and Ruch (1975, MSU Business Topics, Winter, 31) Questionnaire was administered to 227 managers. All four attachment patterns were represented among the participants of both genders. In all cases, the participants with a dismissing attachment style showed the greatest readiness to transgress. (shrink)

In this note we derive Robinson???s Arithmetic from Hume???s Principle in the context of very weak theories of classes and relations.

Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.

As the youngest work in the Platonic corpus, the Axiochus interacts with other texts in the corpus as well as with its contemporary philosophical milieu. How it does so, however, and what the purpose of the work is, is still unclear. This paper proposes a new theoretical approach to this text, arguing that the Axiochus anchors a number of innovations. It discusses three innovations in particular: the introduction of philosophical therapy in Platonism, the use of Epicurean arguments in Academic philosophy, (...) and a renovated Platonism on the contemporary philosophical scene. The Axiochus aims, so this paper argues, to make these innovations acceptable to different audiences by anchoring them in the Socratic dialogue and the therapeutic paradigm of philosophy, respectively. (shrink)

The political theory of the property-owning democracy can be seen as a way of overcoming the ideological conflict between individualism and collectivism. Rawls offers the contemporary reference-point for this theory. Rawls contrasted the ideal-type of the property-owning democracy with the ideal-type of a capitalist welfare state. However, the terms of that contrast are not well drawn and raise a number of questions, in particular regarding Rawls’s a priori specification of the welfare state. An inductively derived specification of ideal-typical welfare states (...) suggests that horizontal redistribution, in line with the principle of social savings, is more important than vertical redistribution. Rawls’s preference for a social dividend or negative income tax scheme can be contrasted with the use of social insurance, but the latter has a claim to instantiate Rawlsian ideals better than a social dividend. There is a potential problem with the pre-emption of private savings in the welfare state, but this turns out not to be troublesome empirically or conceptually. The irony of the discussion is that those who have interpreted Rawlsian theory as justifying the welfare state have the better of the argument, despite Rawls’s own views. (shrink)

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions that are true to the original work.

There are two discourses that are used in connection with the provision of good healthcare: a rights discourse and a beneficial design discourse. Although the logical force of these two discourses overlaps, they have distinct and incompatible implications for practical reasoning about health policy. The language of rights can be interpreted as the ground of a well-designed healthcare system stressing the values of equality and inclusion, but it has less application when dealing with questions of cost-effectiveness. This difference reflects the (...) distinction between the deontological status of rights claims and a teleological approach presupposed in the language of beneficial design. However, the value of the separateness of persons contained in the discourse of rights can impose constraints on the adoption of a simple maximizing principle when thinking about the allocation of healthcare resources within a social contract for health. Throughout these issues are discussed by reference to the work of Peter Jones. (shrink)

In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.

In this paper we study the combined structure of the relations of theory-extension and interpretability between theories for the case of finitely axiomatised theories. We focus on two main questions. The first is definability of salient notions in terms of the structure. We show, for example, that local tolerance, locally faithful interpretability and the finite model property are definable over the structure. The second question is how to think about ‘good’ properties of theories that are independent of implementation details and (...) of ‘bad’ properties that do depend on implementation details. Our degree structure is suitable to study this contrast, since one of our basic relations, to wit theory-extension, is dependent on implementation details and the other relation, interpretability, is not. Nevertheless, we can define new good properties using bad ones. We introduce a new notion of sameness of theories i-bisimilarity that is second-order definable over our structure. We define a notion of goodness in terms of this relation. We call this notion being capital. We illustrate that some intuitively good properties, like being a complete theory, are not capital. (shrink)

Probability theory is important because of its relevance for decision making, which also means: its relevance for the single case. The propensity theory of objective probability, which addresses the single case, is subject to two problems: Humphreys’ problem of inverse probabilities and the problem of the reference class. The paper solves both problems by restating the propensity theory using (an objectivist version of) Pearl’s approach to causality and probability, and by applying a decision-theoretic perspective. Contrary to a widely held view, (...) decision making on the basis of given propensities can proceed without a subjective-probability supplement to propensities. (shrink)