Minimalism is the view that our concept of truth is constituted by our disposition to accept instances of the truth schema ‘The proposition that p is true if and only if p’. The generalisation problem is the challenge to account for universal generalisations concerning logical truths such as ‘Every proposition of the form 〈if p, then p〉 is true’. This paper argues that such generalisations can be deduced using a single example of the logical truth in question and a (...) single corresponding instance of the truth schema, employing the logical method of reasoning with arbitrary instances of universal and existential generalisations. Suggesting an inferentialist construal of Minimalism, the paper introduces conditional and general acceptance dispositions, distinguishes inferential meaning constitution from implicit definition, highlights the inferential nature of acceptance of instances of the truth schema, sketches a suitable account of structured propositions, compares higher-order with first-order means of quantification, and argues that the conception of truth Minimalism attributes to ordinary speakers is essentially inferential. It finally applies the deductive strategy to generalisations concerning logical validity as well as more complex logical truths. (shrink)

This paper, in introducing this Special Issue, proposes a place for exploring notions of wellbeing at the start of the 21st Century that are in contrast to the increasing cultural dominance of Cognitive Behavioural Therapy . An attempt is made to offer a space where we might still be able to think about how alienated we are through valuing existential notions such as experience and meaning whilst questioning other aspects such as existentialism’s inferred narcissism and the place it has (...) come to take up with regards to such aspects as psychoanalysis and the political. The postexistential would also include the post-phenomenological, where, for example, Merleau-Ponty’s notion of being open to what emerges in the between would be given primacy over Husserlian notions of intentionality. As a result, questions such as those of mystery, an unknown and an unconscious and the non-intentional can be re-examined. A third element to be explored will be the extent to which we might consider more recent ideas—for example, Saussure, Levinas, Derrida, Foucault, Lacan and Wittgenstein—without becoming too caught up in them. It is hoped by having a possible space to explore, what some would now call, our ‘wellbeing’, theoretically through post-existentialism and methodologically through post-phenomenology, that this can provide a loose base, with concerns of any further generalisation, for a greater possibility of accepting, rather than escaping, who we are. (shrink)

Building on the framework of learned helplessness, and applying a behavioural perspective, Boddez et al. theorise that consecutive failures in various life domains might be generalised and cause a general sense of helplessness, which leads to, and can be conceptualised as, human suffering. We argue that this perspective fails to address the complexities of human suffering and the motivational sources of feelings of helplessness. We provide an existential-social psychological perspective on helplessness, highlighting the need for psychological protection and the (...) mechanisms by which it is achieved. We draw upon attachment, terror management, and motivated helplessness theories in order to demonstrate the anxiety-buffering function of goal attainment in major life domains (e.g. self-esteem and close relationships) and its influence on helplessness and suffering. (shrink)

First published in 1997, this book addresses the question: What is the interpretation of English there-existential construction? One of the principal goals is to develop an interpretation for the construction that will specifically address other properties of the postcopular DP. After outlining the problem, the author goes on to present a syntactic motivation for the claim that the postcopular DP is the sole complement to the existential predicate, as well as for the claim that the optional final phrase (...) is a predictive adjunct. In chapter 3 the interpretation for the basic existential construction is developed and then compared to analyses that take the postcopular DP to denote an ordinary individual or a generalised quantifier of individuals. This analysis is then augmented to account for the contribution of the final XP and shows how the predicate restriction can be derived from a more general condition on depictive/circumstantial VP-adjuncts. The final chapter contain some speculative discussion of the broader implications of the proposal in the context of data such as "list" existential and "presentational-there" sentences. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time (...) of assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S refers to x iff S (...) says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

Dummett defines a ‘predicate’ as that which combines with one or more singular terms to form a sentence. His account of ‘singular term’ is syntactical, involving three necessary conditions. He discusses a fourth, ‘Aristotelian’, criterion before propounding a criterion of predicate quantification which he claims to be superior to it. He tentatively proposes that the three necessary conditions plus the criterion of predicate quantification yield sufficient conditions for being a singular term. I show that Dummett’s necessary conditions fail with regard (...) to referentially opaque contexts, negative existentials and wide-scope negations, and that he overlooks an important class of predicative expressions that satisfy his three supposedly necessary conditions for singular terms, namely, those that may appear either as adjectives or as nouns. I argue that Dummett cannot use the ‘Aristotelian’ criterion without circularity; and that, in any case, the ‘Aristotelian’ criterion fails dramatically. I also show that his criterion of predicate quantification fails with regard to expressions for colours. I end by casting doubts on the adequacy of any purely syntactical approach. (shrink)

This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with the intersubstitution salva veritate of co-extensional expressions, and existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these (...) problems. The book examines four kinds of intensionalist approaches: the Fregean approach ; the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism. (shrink)

Two fundamental rules of reasoning are Universal Generalisation and Existential Instantiation. Applications of these rules involve stipulations such as ‘Let n be an arbitrary number’ or ‘Let John be an arbitrary Frenchman’. Yet the semantics underlying such stipulations are far from clear. What, for example, does ‘n’ refer to following the stipulation that n be an arbitrary number? In this paper, we argue that ‘n’ refers to a number—an ordinary, particular number such as 58 or 2,345,043. Which one? (...) We do not and cannot know, because the reference of ‘n’ is fixed arbitrarily. Underlying this proposal is a more general thesis: Arbitrary Reference : It is possible to fix the reference of an expression arbitrarily. When we do so, the expression receives its ordinary kind of semantic-value, though we do not and cannot know which value in particular it receives. Our aim in this paper is defend AR. In particular, we argue that AR can be used to provide an account of instantial reasoning, and we suggest that AR can also figure in offering new solutions to a range of difficult philosophical puzzles. (shrink)

This article is a clarification of different procedures in natural deduction: universal instantiation, Universal generalisation, Existential generalisation, And existential instantiation. The author discusses rules concerning universal generalisation from copi's "symbolic logic". (staff).

I will examine three claims made by Ackerman and Kripke. First, they claim that not any arithmetical terms is eligible for universal instantiation and existential generalisation in doxastic or epistemic contexts. Second, Ackerman claims that Peano numerals are eligible for universal instantiation and existential generalisation in doxastic or epistemic contexts. Kripke's position is a bit more subtle. Third, they claim that the successor relation and the smaller-than relation must be effectively calculable. These three claims will be (...) examined from the framework of modal-epistemic arithmetic, i.e. arithmetic extended with certain modal, epistemic and modal-epistemic principles. I will present theorems that give support to the claims made by Ackerman and Kripke. (shrink)

Intensional contexts are typically characterised by an apparent failure of either (A) the principle of the inter-substitution of co-referring terms salva veritate, or (B) existential generalisation. The difficulties which are seen to occur do so in contexts involving either modality or the propositional attitudes. In this paper attempts are made to determine whether or not Scheffler’s inscriptional analysis can provide a viable means of accounting for the problems which are thought to occur in intensional contexts. Somewhat unexpectedly, little (...) effort has been made in the past to address this issue. In this paper it is shown that Scheffler’s theory may be employed to account for the difficulties mentioned above, though further work needs to be done to show precisely how his analysis may be adapted so as to handle modal statements. Popular objections to Scheffler’s inscriptionalism are also addressed, particularly in the light of his theory being used to account for the problems of intensionality. It is found that, with certain qualifications, the aforesaid objections do not show Scheffler’s theory to be an unviable means of accounting for the intensionality problems. (shrink)

At first sight one might be tempted to regard Descartes' "cogito ergo sum" as logically true by existential generalisation. This however would neither exhaust the specific epistemic content of "cogito" nor reveal the philosophical peculiarities of "sum" which the author takes to have two ontologically different meanings. The full sense of "cogito ergo sum" finally turns out to be "Credo* me* cogitare ergo scio* me* $\text{esse}_{1/2}$ ". Furthermore this proposition can formally be proved to be true by means (...) of epistemic logic. (shrink)

The principle of the common cause demands that every pair of causally independent but statistically correlated events should be the effect of a common cause. This demand is often supplemented with the requirement that said cause should screen-off the two events from each other. This paper introduces a new probabilistic model for common causes, which generalises this requirement to include sets of distinct but non-disjoint causes. It is demonstrated that the model hereby proposed satisfies the explanatory function generally attributed to (...) common causes and an existential proof is offered. Finally, the model is compared to other known structures intended to perform a similar function, such as Reichenbachian Common Cause Systems and Bayesian Networks. (shrink)

In the opening sections of this paper, we defined ambiguity in terms of distinct sentences (for a single sentence-string) with, in particular, distinct sets of truth conditions for the corresponding negative sentence-string. Lexical vagueness was defined as equivalent to disjunction, for under conditions of the negation of a sentence-string containing such an expression, all the relevant more specific interpretations of the string had also to be negated. Yet in the case of mixed quantification sentences, the strengthened, more specific, interpretations of (...) some such positive string are not all of them necessarily implied to be false if the corresponding negative sentence-string is asserted. On the contrary, as we saw in section 6, a negative sentence-string can be used to deny one of the more specific interpretations of the corresponding positive string without also denying other weaker interpretations of that same string. One might therefore argue that the only empirical evidence availble for assessing quantified sentences suggests clearly that these sentence-strings are ambiguous. Indeed logicians, many of whom restrict their attention to propositions, MUST recognise logical ambiguity at this point. For the contextualisation of the negative sentences in section 6 showed that it was possible to assert the falsity of some proposition P expressed by the sentence S while asserting a further proposition which was compatible with the truth of S. However the corresponding conclusion that such sentence-strings are sententially ambiguous is not a necessary conclusion for the linguist: for the alternative account of postulating a single semantic representation plus a set of semantic procedures is also compatible with the negation evidence. Moreover we have seen independent reasons for thinking that if sentential ambiguity is assumed to be in one-to-one correspondence with what we should now call logical ambiguity, a considerable body of generalisations is lost. For the maximal ambiguity account, it should be recalled, is committed to assigning at least thirteen distinct propositions and hence thirteen distinct sentence outputs for every sentence-string containing no more than two quantifiers, for three out of the four interpretations originally outlined in this paper can be understood with each numeral taken either in an ’exactly’ sense or in an ’at least’ sense. Moreover there is no explanation of why just these interpretations are available-they are merely an arbitrary list, no more connected than are the two interpretations of John saw her duck, with no reason to predict that the ambiguity would carry over from language to language. If then it is granted that an ambiguity account fails to capture appropriate generalisations, only two alternative accounts of mixed quantification sentence-strings remain viable-an analysis proposing an initial co-ordinate logical form like the logical form III, which is the strongest form compatible with each of the propositional interpretations of sentence-string Two examiners marked six scripts, and the radically weak form in which only existential quantification (both over sets and over members of those sets) is invoked. Since there are strong arguments to suggest that the procedures which both analyses require are semantic, there seems no reason not to adopt the radical vagueness account, with its considerably greater simplicity. (shrink)

This paper is about an underappreciated aspect of generics: their non-specificity. Many uses of generics, utterances like ‘Seagulls swoop down to steal food’, express non-specific generalisations which do not specify their quantificational force or flavour. I consider whether this non-specificity arises as a by-product of context-sensitivity or semantic incompleteness but argue instead that generics semantically express non-specific generalisations by default as a result of quantifying existentially over more specific ones.

Priority monism is the view that the cosmos is the basic concrete entity on which each of its parts depend. Kovacs has recently argued that none of the classical notions of dependence could be used to spell out priority monism. I argue that four notions of dependence – namely rigid existential dependence, generic existential dependence, explanatory dependence, and generalised explanatory dependence – can indeed be used to spell out priority monism, and specify the conditions under which this is (...) possible. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture (...) the right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

ABSTRACT Temporal eliminativism is the view that the present is privileged because past and future entities do not exist. Temporal ersatzism is the view that the present is privileged because, although past and future entities exist, they are not concrete. I argue that shifting from temporal eliminativism to temporal ersatzism can help to address objections to the former theory that are due to relativity theory—but only if temporal ersatzism is understood in a fairly specific way and only in so far (...) as the temporal ersatzist is willing to take on some prima facie surprising commitments. I close by showing how the claims that I make with respect to temporal ersatzism generalise to other theories of time on which the present is privileged, including McDaniel’s [2018] presentist existential pluralism. (shrink)

The paper exposes the relevance of permuting conversions (in natural-deduction systems) to the role of such systems in the theory of meaning known as proof-theoretic semantics, by relating permuting conversion to harmony, hitherto related to normalisation only. This is achieved by showing the connection of permuting conversion to the general notion of canonicity, once applied to arbitrary derivations from open assumption. In the course of exposing the relationship of permuting conversions to harmony, a general definition of the former is proposed, (...) generalising the specific cases of disjunction and existential quantifiers considered in the literature. (shrink)

A structure M is pregeometric if the algebraic closure is a pregeometry in all structures elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of Lascar U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding an integral domain, while not pregeometric in general, do have a unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of (...) structures expanding an integral domain and with an existential matroid, and we show that the corresponding theories have natural completions, whose models also have a unique existential matroid. We also extend the above result to dense tuples of structures. (shrink)

\ is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression is grammatical if and only if an associated logical statement is a theorem of a fixed calculus. Since the syntactic component is invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model is defined by just a lexical dictionary. The foundational logic of continuity was established (...) by Lambek while a corresponding extension including also logic of discontinuity was established by Morrill and Valentín :167–192, 2010). \ implements a logic including as primitive connectives the continuous and discontinuous connectives of the displacement calculus, additives, 1st order quantifiers, normal modalities, bracket modalities, and universal and existential subexponentials. In this paper we review the rules of inference for these primitive connectives and their linguistic applications, and we survey the principles of Andreoli’s focusing, and of a generalisation of van Benthem’s count-invariance, on the basis of which \ is implemented. (shrink)

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the (...) construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the (...) construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

We define process algebras with a generalised operation ∑ for choice. For every infinite cardinal κ, we prove that the algebra of transition trees with branching degree <κ is free in the class of process algebras in which ∑ is defined for all subsets with a cardinality <κ. We explain how the expressions of a fragment of the specification language μCRL may be used to denote elements of our process algebras. In particular, we explain how choice quantifiers may be used (...) to denote infinite sums. We show that choice quantifiers can simulate both the existential and the universal quantifiers of first-order logic, while the input prefix mechanism can only simulate the universal quantifier. (shrink)

An Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields. We will consider structures that we call valued B-groups and which are of the form $\langle G, B, *, v\rangle$ where - G is an abelian group, - B is an ordered group, - v is a valuation defined on G taking its values in B, - * is an action of B on G satisfying: ∀ x ∈ G ∀ b ∈ B v(x * b) = v(x) (...) · b. The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications: 1. Assume that v(x) = v(nx) for every integer n ≠ 0 and x ∈ G, B is solvable and acts on G in such a way that, for the induced action, $\mathbb{Z}[B] \setminus \{0\}$ embeds in the automorphism group of G. Then $\langle G, B, *, v\rangle$ is decidable if and only if B is decidable as an ordered group. 2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure: $\mathbf{M} = \langle k((B))_+, S, v, \times \upharpoonright_{k((B))\times S}\rangle,$ where k((B)) + is the additive group of k((B)), S is a unary predicate interpreting ${T^b| b \in B}$ , and $\times \upharpoonright_{k((B))\times S}$ is the multiplication restricted to k((B))× S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable. 3. A valued B-group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory. (shrink)

In model theory, a branch of mathematical logic, we can classify mathematical structures based on their logical complexity. This yields the so-called stability hierarchy. Independence relations play an important role in this stability hierarchy. An independence relation tells us which subsets of a structure contain information about each other, for example, linear independence in vector spaces yields such a relation.Some important classes in the stability hierarchy are stable, simple, and NSOP $_1$, each being contained in the next. For each of (...) these classes there exists a so-called Kim-Pillay style theorem. Such a theorem describes the interaction between independence relations and the stability hierarchy. For example, simplicity is equivalent to admitting a certain independence relation, which must then be unique.All of the above classically takes place in full first-order logic. Parts of it have already been generalised to other frameworks, such as continuous logic, positive logic, and even a very general category-theoretic framework. In this thesis we continue this work.We introduce the framework of AECats, which are a specific kind of accessible category. We prove that there can be at most one stable, simple, or NSOP $_1$ -like independence relation in an AECat. We thus recover (part of) the original stability hierarchy. For this we introduce the notions of long dividing, isi-dividing, and long Kim-dividing, which are based on the classical notions of dividing and Kim-dividing but are such that they work well without compactness.Switching frameworks, we generalise Kim-dividing in NSOP $_1$ theories to positive logic. We prove that Kim-dividing over existentially closed models has all the nice properties that it is known to have in full first-order logic. We also provide a full Kim-Pillay style theorem: a positive theory is NSOP $_1$ if and only if there is a nice enough independence relation, which then must be given by Kim-dividing.Abstract prepared by Mark Kamsma.E-mail:[email protected]:https://markkamsma.nl/phd-thesis. (shrink)

The spectrum of methods (cf. Osterhoudt 1974) and the modes of thought that are used to analyse the world of sports are enormous. However, in international contexts, the range of philosophical reflections often seems to be reduced to a dichotomous structure, i.e. the analytical and the phenomenological approach. While the analytical position is linked to Anglo-Saxon countries, the phenomenological tradition is ascribed to continental philosophers. In this paper, firstly, I will address this seeming dichotomy of the continental and the Anglo-Saxon (...) positions ? being well aware of the problems of such generalisations. Secondly, I will sketch some key aspects of the phenomenology of movement and, especially, the phenomenological methodology from a German/French/Dutch perspective. Thirdly, I will focus on the existentialist interpretation of sports and how the existential philosophy is rooted in the phenomenological tradition. And finally, I will outline some advantages and limitations of the phenomenological method. (shrink)

In Shona , bare plurals and bare singulars seem to have different scope possibilities with respect to a class of modifiers which I term “scopeless quantity words” few’, and ose ‘all’). I argue that this is due to two factors. First, the scopeless quantity words are intersective modifiers rather than quantifying determiners, so that DPs containing them denote entities rather than generalised quantifiers. Second, transitive sentences involving plural arguments are usually interpreted using the **-operator, which gives a cumulative reading; the (...) apparent wide and narrow scope readings of bare plurals are both subcases of this reading, but a narrow scope reading for bare singulars cannot be subsumed by the cumulative reading. I also discuss the scope behaviour of a quantifying determiner, oga-oga ‘every’, which shows a subject/object asymmetry: in subject position, it appears to show the expected scopal ambiguity, but in object position, it appears to have the same readings as a scopeless quantity word; I argue that this is because of the location of existential closure. This adds to the evidence suggesting that many words giving quantity are intersective modifiers rather than quantifying determiners or adverbial quantifiers. (shrink)

Two major regulatory changes are affecting the provision of undergraduate legal education in England and Wales. On the one hand, the Qualifying Law Degree is being deregulated, meaning law schools are free to make significant changes to how and what they teach. On the other hand, higher education in England has seen a significant overhaul through the creation of the Office for Students, which treats students as consumers. Now more than ever, law schools need to ask themselves existential questions (...) which will not only test their continued relevance or indeed viability within the ‘market’ for higher education, but also the status of the discipline of law as a whole. The regulatory landscape may indeed present a significant threat, but it is also an opportunity to reflect on what law schools are for, and consequently what changes could result from the academic freedom that comes with deregulation. Whilst different law schools will interpret their mission differently, they should caution against either generalised inertia or succumbing to an outcomes-oriented provision that simply prepares students for the new Solicitors Qualifying Examination. Instead, law schools will find their proper purpose in critical reflection and academic self-grounding, providing undergraduate students with a ‘question everything’ mentality, and showing them that law is something to be experienced and not merely learnt. (shrink)

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is not informative, (...) we add ????(????|(????∨????))>0 as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the assigned (precise or interval-valued) probabilities to the sequence of conditional events (????|????,~????|????,????|(????∨????)) to the conclusion ~????|???? . Thereby, we give a probabilistic meaning to the other syllogisms of Figure II. Moreover, our semantics also allows for generalizing the traditional syllogisms to new ones involving generalized quantifiers (like Most S are P) and syllogisms in terms of defaults and negated defaults. (shrink)

This chapter provides an overview of how existential phenomenology has influenced qualitative research methods across a range of disciplines across the social, health, educational, and psychological sciences. It focuses specifically on how the concepts of “existential structures,” or “existentials”—such as selfhood, temporality, spatiality, affectivity, and embodiment—have been used in qualitative research. After providing a brief introduction to what qualitative research is and why philosophers should be interested in it, the chapter provides clear, straightforward examples of how qualitative researchers (...) have used existentials to analyze qualitative data and design qualitative studies. The chapter is intended to introduce philosophers to existential approaches to phenomenological qualitative research, with the aim of facilitating interdisciplinary dialogue and collaboration. (shrink)

We study the Iterated Bilateral Reciprocity game in which the need for help arises randomly. Players are heterogeneous with respect to ‘neediness’ i.e. probability of needing help. We find bounds on the amount of heterogeneity which can be tolerated for cooperation (all players help when asked to help) to be sustainable in a collectivity. We introduce the notion of Generalised Reciprocity. Individuals make a costly first move to benefit another under the reasonable expectation that either the other or somebody else (...) will reciprocate. We hope that these tentative attempts at extending Axelrod’s seminal work on cooperation will inspire future efforts in the field of organisational culture and social theory more generally. (shrink)

The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

The purpose of the book is to clarify the notion of existential dependence and cognate notions, such as supervenience and the notion of an internal relation. I defend the view that such notions are best understood in terms of the concept of metaphysical grounding, i.e. the concept of one fact obtaining in virtue of other facts, where ‘in virtue of’ has a distinctively metaphysical meaning.

Fear generalisation is a psychological phenomenon that occurs when fear that is elicited in response to a frightening stimulus spreads to similar or related stimuli. The practical harms of pathological fear generalisation related to trauma are well-documented, but little or no attention has been given so far to its epistemic harms. This paper fills this gap in the literature. It shows how the psychological phenomenon, when it becomes pathological, substantially curbs the epistemic agency of those who experience the (...) fear that generalizes, limiting their ability to respond to evidence, and substantially limiting their epistemic horizons. It is argued that when these epistemic harms are caused by wrongful actions and decisions of individuals or institutions, because the fear is elicited in response to a traumatic experience inflicted by them, the harms should be considered epistemic wrongs. The epistemic wrongs are closely akin to agential epistemic injustice, a variety of distributive epistemic injustice, and sometimes also involve epistemic exclusion. The paper thereby identifies a previously underexplored psychological mechanism that can be a vehicle through which both individuals and institutions can epistemically wrong others. The argument has implications for how both epistemic wrongs and epistemic injustice should be conceived, suggesting that both can occur without being caused by primarily epistemic flaws or errors, or a bad epistemic character. Finally, it highlights the advantage of taking a victim-centred approach to understanding epistemic harm. (shrink)

Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.