Le général André Bach dans une réflexion sur l’« horizon de mort dans la violence de guerre » part d’une approche anthropologique du phénomène de violence et de la peur (quasiment biologique) qu’il engendre en soulignant les difficultés des sociétés occidentales à penser la mort. C’est l’État qui donne à la guerre un sens politique et sacré et qui crée les catégories fonctionnelles de la guerre (les concepts de paix et de guerre ne sont pas en eux-mêmes opérationnels). Dans le (...) cadre d’une réflexion clausewitzienne sur la montée aux extrêmes, l’« extrême » pour le soldat est toujours sa propre mort (plus que celle de l’ennemi). Les notions de barbarisation et humanisation ne peuvent en ce sens rendre compte de la violence et de la peur radicales présentes dans toute guerre où le rôle du commandement est toujours de mettre en œuvre un degré de violence supérieur à celui de l’adversaire, sans aucune considération de « proportionnalité » de cette violence. La mise à distance technique ne diminue pas la violence mais l’augmente à proportion de l’éloignement de la peur. Seul le politique peut et doit mettre des limites à cette violence militaire par nature illimitée. La modernisation des armes ne relève jamais d’une humanisation du combat mais d’une recherche d’une violence plus efficace. L’entraînement du soldat en temps de paix n’est jamais entraînement à la violence mais apprentissage de savoir-faire et effort de constitution d’un groupe soudé, doté d’un bon moral. L’ordre et la formation tentent de limiter la sauvagerie mais il existe une constitution endogène de comportements propres au soldat, que la hiérarchie tente de canaliser dans une symbolique guerrière fondée sur le sentiment de l’honneur (destiné à compenser la peur d’être une proie vouée à mourir et à faire préférer la lutte au coude à coude sur l’instinct de conservation). Le couple violence/honneur fait que l’armée dépourvue de contrat social n’est pas soluble dans le politique (aujourd’hui dans les écoles militaires on ne parle plus d’« honneur » mais d’« éthique »…, mais pour dire la même chose). La conscription fut une rupture de la logique endogène de l’armée et introduisit une brèche dans ce système archaïque. Mais religion (au Moyen Âge) ou logique démocratique (de nos jours) s’avèrent surtout des « béquilles idéologiques » qui, en définitive, sont souvent plus efficaces pour accroître la barbarisation que pour l’éviter (exemple de la colonisation algérienne où une armée de paix, fonctionnarisée et rigoureusement canalisée, appartenant à une génération n’ayant jamais connu de violence de guerre, développe des massacres de masse). (shrink)

At the beginning of the pandemic, many music ensembles had to stop their activities due to the confinement. While some found creative ways to start making music again with the help of technologies, the transition from “real” rehearsals to “online” rehearsals was challenging, especially among older amateur musicians. The aim of this case study was to examine the effects of this transition on three community band conductors and three older amateur musicians. Specific objectives were to explore intergenerational relationships to support (...) online group music-making; digital literacy and access in later life; and online music-making in a COVID-19 context. Semi-structured interviews were conducted and theoretical thematic analysis was undertaken. Results were analyzed from the conductors’ and older musicians’ perspectives, and common trends were combined to facilitate interpretation. The first theme showed that being part of an intergenerational ensemble contributed positively to the learning experience online. The second theme demonstrated that because both conductors and musicians were new to the online rehearsals, it contributed to attenuate the age-related digital divide that may have been observed in other studies. Regarding access in later-life, older musicians reported benefits associated with rehearsing online, specifically in terms of distance/commute, time, energy, and cost. However, for those who did not already have internet and electronic devices, the cost of acquiring all the necessary equipment to make music online could have been too high. Finally, the third theme revealed that musicians appreciated the opportunity to make music online and indicated that it was definitely better than having nothing, especially for its social aspects. In conclusion, while participants noted several challenges associated with online music-making, they were also appreciative of the opportunity to continue making music at a time when in-person rehearsals were not possible. Pedagogical implications are discussed, specifically the importance of the support network, of meeting people where they are, of learning to adapt, and of collaborative teaching. (shrink)

We draw on Short’s work on Peirce’s theory of signs to propose a new general definition of interpretation. Short argues that Peirce’s semiotics rests on his naturalised teleology. Our proposal extends Short’s work by modifying his definition of interpretation so as to make it more generally applicable to putatively interpretative processes in biological systems. We use our definition as the basis of an account of different kinds of misinterpretation and we discuss some questions raised by the (...) class='Hi'>definition by reference to parallel problems in the field of teleosemantics. We propose that interpretative responses fulfilling the criteria of our definition may be made by relatively simple molecular entities and we suggest two specific empirical applications of the definition to experimental work in the field of origin of life research. Our wider aim is to suggest that a well formulated naturalistic definition of interpretation will allow a re-evaluation of the role of semiotic phenomena in biological systems, including the generation of empirically testable hypotheses. (shrink)

. The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a principle for reasoning (...) on the basis of rule-based atomic definitions, proposed by Hallnäs and Schroeder-Heister. After presenting definitional reflection and the inversion principle, it is shown that the inversion principle can be formally derived from definitional reflection, when the latter is viewed as a principle to establish admissibility. Furthermore, the relationship between definitional reflection and the inversion principle is investigated on the background of a universalization principle, called the ω- principle, which allows one to pass from the set of all defined substitution instances of a sequent to the sequent itself. (shrink)

This paper aims to implement Bell’s notion of local causality into a framework, called local physical theory, which is general enough to integrate both probabilistic and spatiotemporal concepts and also classical and quantum theories. Bell’s original idea of local causality will then arise as the classical case of our definition. First, we investigate what is needed for a local physical theory to be locally causal. Then we compare local causality with Reichenbach’s common cause principle and relate both to the (...) Bell inequalities. We find a nice parallelism: both local causality and the common cause principle are more general notions than captured by the Bell inequalities. Namely, Bell inequalities cannot be derived neither from local causality nor from a common cause unless the local physical theory is classical or the common cause is commuting, respectively. (shrink)

This review article gives an overview of the two most influential definitions of antisemit­ism in Europe: the non-legally binding working definition by the International Holocaust Remembrance Alliance (IHRA) and the so-called Jerusalem Declaration on Antisemitism. Furthermore, the article explains where the definitions come from and summarises the current debates and discourses on how to define antisemitism in view of the history and politics of Europe. It also gives brief attention to the Nexus Document as a third influential definition, (...) which plays a more important role in the United States. The article ends with a reflection on the definition offered by the historian Helen Fein, which is more action-based, and Amos Morris-Reich’s statement of the importance of reflecting on the role of language and the ability of language to create hate and to hurt. (shrink)

The general concept of mental disorder specified in the fifth edition of the Diagnostic and Statistical Manual of Mental Disorders is definitional in character: a mental disorder might be identified with a harmful dysfunction. The manual also contains the explicit claim that each individual mental disorder should meet the requirements posed by the definition. The aim of this article is two-fold. First, we shall analyze the definition of the superordinate concept of mental disorder to better understand what necessary (...) criteria actually characterize such a concept. Second, we shall consider the concepts of some individual mental disorders and show that they are in tension with the definition of the superordinate concept, taking pyromania and narcissistic personality disorder as case studies. Our main point is that an unexplained and not-operationalized dysfunction requirement that is included in the general definition, while being systematically violated by the diagnostic criteria of specific mental disorders, is a logical error. Then, either we unpack and operationalize the dysfunction requirement, and include explicit diagnostic criteria that can actually meet it, or we simply drop it. (shrink)

This paper aims at considering the conceptual status of feeding and eating disorders (FEDs). Now that the Diagnostic and Statistical Manual of Mental Disorders (DSM-5) has changed the classification and some relevant criteria of FEDs, it is particularly relevant to evaluate their psychiatric framework and their status as mental disorders. I focus my efforts on addressing only one specific question: Do FEDs fit the DSM-5 general definition of mental disorder? In DSM-5 a mental disorder is defined as a syndrome (...) that reflects adysfunctionand is usually associated with significantdistress or disability. More importantly, there is an explicit statement saying thatallmental disorders listed in the manual must meet the requirements highlighted by the general definition. Thus, I evaluate whether or not FEDs are really meant to reflect a dysfunction and are usually associated with significant distress or disability. (shrink)

A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind of a more general definition theory. Among the examples discussed is a suggestion for a more abstract definition of lambda-terms (derivations (...) in natural deduction) that could provide a basis for a more systematic definitional approach to general proof theory. (shrink)

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, (...) Henkin definition first to a general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

This paper aims at considering the conceptual status of feeding and eating disorders (FEDs). Now that the Diagnostic and Statistical Manual of Mental Disorders (DSM-5) has changed the classification and some relevant criteria of FEDs, it is particularly relevant to evaluate their psychiatric framework and their status as mental disorders. I focus my efforts on address- ing only one specific question: Do FEDs fit the DSM-5 general definition of mental disorder? In DSM-5 a mental disorder is defined as a (...) syndrome that reflects a dysfunction and is usually associated with significant distress or disability. More importantly, there is an explicit statement saying that all mental disorders listed in the manual must meet the requirements highlighted by the general definition. Thus, I evaluate whether or not FEDs are really meant to reflect a dysfunction and are usually associated with significant distress or disability. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it (...) favors the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin (...) definition first to a general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of (...) argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors the satisfaction over the violation of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

Biodiversity sciences witness a double dynamic. Whereas the need for interdisciplinary approaches is increasingly appreciated, most disciplinary studies are still confined to developing operational, discipline-specific indices. We show that a reassessment of the general notion of biodiversity is needed to clarify this situation. We advocate a new approach, according to which the main usefulness of this notion is not to capture quantitatively biological objects or processes, but to organize meaningful and coherent interdisciplinary interactions by constructively criticizing disciplinary studies. We apply (...) this approach to ecological-economic models, in the hope of launching more fruitful critical dialogs between economists and biologists. (shrink)

In this paper we define and study a generalized notion of a logical system that covers on an equal formal basis sentential, equational and sequential systems. We develop a general theory of equivalence between generalized logics that provides, first, a conception of algebraizable logic , second, a formal concept of equivalence between sequential systems and, third, a notion of equivalence between sentential and sequential systems. We also use our theory of equivalence for developing a general algebraic approach to (...) conjunctive non-pseudo-axiomatic self-extensional sentential logics. Finally, we consider within the framework of the mentioned approach various sequential formulations for some well-known sentential logics. (shrink)

For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce another formalization of definitional equivalence due to Andréka and Németi which is equivalent to the Barrett–Halvorson (...) generalization in the case of disjoint languages. We show that the Andréka–Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability, which is another definition for definitional equivalence, even for non-disjoint languages. Finally, we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories in non-disjoint languages. (shrink)

The first example of a simultaneous inductive-recursive definition in intuitionistic type theory is Martin-Löf's universe á la Tarski. A set U 0 of codes for small sets is generated inductively at the same time as a function T 0 , which maps a code to the corresponding small set, is defined by recursion on the way the elements of U 0 are generated. In this paper we argue that there is an underlying general notion of simultaneous inductive-recursive definition (...) which is implicit in Martin-Löf's intuitionistic type theory. We extend previously given schematic formulations of inductive definitions in type theory to encompass a general notion of simultaneous induction-recursion. This enables us to give a unified treatment of several interesting constructions including various universe constructions by Palmgren, Griffor, Rathjen, and Setzer and a constructive version of Aczel's Frege structures. Consistency of a restricted version of the extension is shown by constructing a realisability model in the style of Allen. (shrink)

A unified theory is offered to account for three types of definite descriptions: with singular, plural, & mass predicates, & to provide an account for the word the in descriptions. It is noted that B. Russell's analysis ("On Denoting," Mind, 1905, 14, 479-493) failed to account for plural & mass descriptions. The proposed theory differs from Russell's only by the substitution of the notation (less than or equal to) for Russell's =. It is suggested that for every predicate G there (...) is an appropriate "part of" or "some of" relation on the extension of G. For singular predicates, (less than or equal to) becomes just the identity relation =. The predicate G is formulated as "the G" & analyzed with the formula ((schwa)x) (Gx . (Gy (includes) yy (less than or equal to) x)), which accounts for all cases of definite descriptions. It is suggested that the primary use of the is not to indicate uniqueness, but totality. C. Ornatowski. (shrink)

The problem addressed is that of finding a sound characterization of ambiguity. Two kinds of characterizations are distinguished: tests and definitions. Various definitions of ambiguity are critically examined and contrasted with definitions of generality and indeterminacy, concepts with which ambiguity is sometimes confused. One definition of ambiguity is defended as being more theoretically adequate than others which have been suggested by both philosophers and linguists. It is also shown how this definition of ambiguity obviates a problem thought to (...) be posed by ambiguity for truth theoretical semantics. In addition, the best known test for ambiguity, namely the test by contradiction, is set out, its limitations discussed, and its connection with ambiguity's definition explained. The test is contrasted with a test for vagueness first proposed by Peirce and a test for generality propounded by Margalit. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

In this paper, I suggest an approach to the alleged problem with the Tarskian formal definition of truth: its enumerative character seems to make it unable to capture our pretheoretic general understanding of truth. For this purpose, after spelling out two requirements for extending an enumerative definition to new cases, I examine to what extent Tarski's Convention T provides what are needed for extending the Tarski's enumerative definition. I conclude that, though not explicitly providing what are needed, (...) Convention T does implicitly suggest something quite promising and provide necessary conceptual resources for its further modifications. Then I suggest a Tarskian explicitly general definition of what it is to be a truth-definition on the basis of some theoretical and conceptual resources within Tarski's semantic theory, and I explain how it would make the Tarskian seemingly enumerative formal definition have a general character in accord with our pretheoretic understanding of truth. Finally, I examine the current proposal in comparison with Davidson's approach and in the light of Hintikka's new perspective. (shrink)

There have through history been many attempts to define 'life' but there is no generally accepted definition of 'life' at this date. As a result, some have come to believe that defining 'life' is not a fruitful endeavour. This seems to be a minority view, however, since the quest to find or create a definition of 'life' is as active as ever.

This chapter focuses on one of the common fallacies in Western philosophy: hasty generalization (HG). HG is committed when some aspect of the definition of the proper generalization is violated. In other words, the “hasty” aspect of this fallacy is triggered either when there is a lack of knowledge of the selected sample or when the selected sample is not representative of the whole group, or when both and are true. We see HG committed just about every day in (...) politics and the media. In politics, HGs are used to emphasize the extremes of a particular viewpoint. Concurrently, HG is used quite often by advertisers to promote a particular product. To avoid committing this fallacy, the arguer should take into consideration the amount of justifiable knowledge one might have on a particular subject and whether the selected sample being used in the case is justifiably representative of the group in question. (shrink)

Natural kind terms have exercised philosophical fancy ever since Kripke, in Naming and Necessity, claimed them to be rigid designators. He there drew attention to the peculiar, name-like behavior of a family of prima facie loosely related general terms of ordinary English: terms such as ‘water’, ‘tiger’, ‘heat’, and ‘red’. Just as for ordinary proper names, Kripke argued that such terms cannot be synonymous with any of the definite descriptions ordinary speakers associate with them. Rather, the name-like behavior of these (...) so-called natural kind terms is to be explained, just as in in the case of proper names, by the doctrine of rigid designation. And as a consequence of thus extending the notion of rigid designation to general terms, he famously endorsed the claim that so-called ‘theoretical identifications’, i.e. statements like (1) Water is H2O, are necessary, if true. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)