Les savoirs de sens commun sont solidement ancrés dans les usages, notamment grâce à l’habitude et à la sécurité ontologique qu’ils engendrent. Cet article examinera d’abord pourquoi les savoirs disciplinaires appris à l’école ne sont pas automatiquement réinvestis dans des contextes de nature extrascolaire et pourquoi les savoirs de sens commun résistent à leur déconstruction. La première partie de l’analyse sera marquée par le croisement de discours épistémologiques concernant la nature et la place des savoirs de sens commun dans les (...) conceptions familières de la science. Cet article explorera ensuite les dynamiques qui marquent les relations qu’entretiennent les savoirs disciplinaires scolaires et les savoirs de sens commun en contexte scolaire. Le langage propre à la seconde partie se rattachera davantage aux débats en éducation sur l’importance prépondérante des savoirs de sens commun dans l’apprentissage disciplinaire par concepts. Enfin, nous montrerons qu’il existe des stratégies d’enseignement qui peuvent optimiser l’appropriation intellectuelle des savoirs disciplinaires scolaires et leur transfert dans les interactions quotidiennes. (shrink)

Dans cet article, il sera fait un bref rappel du modèle traditionnel d’interprétation des lois, toujours prescrit dans la doctrine, sinon épousé verbalement dans les tribunaux canadiens. Il sera démontré que ce modèle ne peut pas représenter toute la réalité du travail d’interprétation des juristes canadiens, pour plusieurs raisons. L’herméneutique, la sociologie critique, l’analyse du discours, prenant pour objet les textes législatifs, les jugements rendus, les arguments pratiques entendus, ont montré l’étendue du comportement réflexif réel, l’étendue du champ interprétatif visant (...) les circonstances d’une cause. Les textes législatifs donnent de fait de plus en plus de place à l’interprétation des circonstances pertinentes à l’encadrement de l’action des justiciables. Sur un plan empirique, l’analyse des jugements, de même que les prises de position de juges lorsqu’ils s’expriment en dehors du forum judiciaire, mettent en évidence la variété des motifs effectivement pris en considération, l’espace considérable de délibération éthique impliquant de fait tous les interprètes, qu’ils soient simples citoyens d’une communauté, inspirés par l’un ou l’autre des ordres sociaux, ou acteurs spécialisés de l’ordre juridique. Cet article se propose d’examiner comment se produit actuellement, en droit canadien ou québécois, l’interprétation des juristes, dans des processus décisionnels réflexifs, en situations complexes, voire même dans la perspective du développement des institutions. (shrink)

Dans cette contribution, nous nous penchons sur la figure du bonheur paradoxal qui, dans les "Rêveries du promeneur solitaire" de Rousseau, se définit au sein d’un jeu de tensions multiples. Si le bonheur exige la solitude, il est toujours hanté par l’altérité ; si sa source est en soi-même, il ne cesse toutefois de dépendre de circonstances contingentes ; et si, enfin, il s’éprouve tout entier dans le sentiment, il s’agit pourtant d’un sentiment augmenté d’un caractère réfléchi ou, pour mieux (...) dire, redoublé dans le souvenir que retrace l’écriture. Dans tous les cas, ces antinomies du bonheur – sur lesquelles nous reviendrons longuement plus loin – s’enracinent dans une marqueterie de références dont l’hétérogénéité est l’expression d’un dialogue tendu au sein duquel, comme nous souhaiterions d’abord le montrer, la philosophie morale des Anciens se réinvente en adoptant le langage, éminemment moderne, du sentiment. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

This contribution focuses on three aspects of Nietzsche’s art of living that have become relevant today especially in the United States (but not only here): first, regarding some facets of the economic-political conditions of any contemporary art of living; second, the widespread adoption of Nietzsche’s notion of self-overcoming and artistic self-design in entrepreneurship and individual’s lives; and third, how his notion of ‘incorporation’ has been further developed in current approaches to habit design. Eventually I will show via the example of (...) Anthony Robbins that some notions of Nietzsche’s art of living have become most popular outside of academia, namely in the commercial industries of what has been called ‘self-growth’ or ‘self-development.’. (shrink)

In this paper, I aim to show that agency-based accounts of moral status are more plausible than many have previously thought. I do this by developing a novel account of moral status that takes agency, understood as the capacity for intentional action, to be the necessary and sufficient condition for the possession of moral status. This account also suggests that the capacities required for sentience entail the possession of agency, and the capacities required for agency, entail the possession of sentience. (...) Thus on this account sentient beings possess agency and agents possess sentience. If this is correct, it will show that an Agency Account of moral status can offer a plausible defence of the moral status of all sentient beings, something that previous Agency Accounts have not succeeded in doing. What is more, this account could establish that all sentient animals are not just moral status holders per se, but that they are owed pro tanto obligations regarding continued existence and liberty, similar in kind, though not always in strength, to those owed to humans. (shrink)

What is structural rationality? Specifically, what is the distinctive feature of structural requirements of rationality? Some philosophers have argued, roughly, that the distinctive feature of structural requirements is coherence. But what does coherence mean, exactly? Or, at least, what do structuralists about rationality have in mind when they claim that structural rationality is coherence? This issue matters for making progress in various active debates concerning rationality. In this paper, I analyze three strategies for figuring out what coherence means in the (...) debates on structural rationality. I argue that these strategies face problems. (shrink)

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

The indeterminacy problem is one of the most prominent objections against naturalistic theories of content. In this essay I present this difficulty and argue that extant accounts are unable to solve it. Then, I develop a particular version of teleosemantics, which I call ’explanation-based teleosemantics’, and show how this outstanding problem can be addressed within the framework of a powerful naturalistic theory.

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

Although the definition of ‘signal’ has been controversial for some time within the life sciences, current approaches seem to be converging toward a common analysis. This powerful framework can satisfactorily accommodate many cases of signaling and captures some of its main features. This paper argues, however, that there is a central feature of signals that so far has been largely overlooked: its special causal role. More precisely, I argue that a distinctive feature of signals is that they are minimal causes. (...) I explain this notion, suggest some strategies for identifying its instances and defend its relevance by means of conceptual and empirical considerations. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its conclusion, then that conclusion must be demarcated from the premise or otherwise the argument will beg the question. If (...) a visual argument does not include its conclusion, then the premises on display must license that specific conclusion and not its opposite, in accordance with some demonstrable rationale. We show how major examples from the literature fail to escape this dilemma. Drawing inspiration from the graphical logic of C. S. Peirce, we suggest instead that images can be manipulated in a way that overcomes the dilemma. Diagrammatic reasoning can take one stepwise from an initial visual layout to a conclusion—thereby providing a principled rationale that bars opposite conclusions—and the visual inscription of this correct conclusion can come afterward in time—thereby distinguishing the conclusion from the premises. Even though this practical application of Peirce’s logical ideas to informal contexts requires that one make adjustments, we believe it points to a dynamic conception of visual argumentation that will prove more fertile in the long run. (shrink)

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. These mechanisms (...) include nested feedback interactions, global effects of neuromodulation, vertical integration, action-monitoring, and synaptic plasticity, and they are modeled in terms of both functional integration and temporal synchronization. I end by elaborating the psychological model of emotion–appraisal states with reference to neural processes. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

What is the place of coherence, or structural rationality, in good first-personal deliberation? According to Kolodny (2005), considerations of coherence are irrelevant to good first-personal deliberation. When we deliberate, we should merely care about the reasons or evidence we have for our attitudes. So, considerations of coherence should not show up in deliberation. In response to this argument, Worsnip (2021) argues that considerations of coherence matter for how we structure deliberation. For him, we should treat incoherent combinations of attitudes as (...) off-limits in deliberation. Some important questions are left unanswered by both camps. What do we mean by considerations of coherence “showing up” in first-personal deliberation? How do we interpret the divide between reasons-responsiveness and coherence? How should we interpret cases in which considerations of coherence interact with other norms or requirements? In this paper, I show how Haack’s (1993) crossword puzzle analogy sheds light on these questions. Also, the crossword puzzle analogy allows us to evaluate Kolodny’s objection and identify promising avenues for future research. (shrink)

The goal of this essay is to put forward an original theory of artifact function, which takes on board the results of the debate on the notion of biological function and also accommodates the distinctive aspects of artifacts. More precisely, the paper develops and defends the Dual-Aspect Theory, which is a monist account according to which an artifact’s function depends on intentional and reproductive aspects. It is argued that this approach meets a set of theoretical and meta-theoretical desiderata and is (...) superior to alternative views. (shrink)

There has recently been an explosion of formal models of signalling, which have been developed to learn about different aspects of meaning. This paper discusses whether that success can also be used to provide an original naturalistic theory of meaning in terms of information or some related notion. In particular, it argues that, although these models can teach us a lot about different aspects of content, at the moment they fail to support the idea that meaning just is some kind (...) of information. As an alternative, I suggest a more modest approach to the relationship between informational notions used in models and semantic properties in the natural world. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Jordan Peterson has attracted a high level of attention. Controversies may bring people into contact with Peterson's work, but ideas are arguably what keep them there. Focusing on those ideas, this book explores Peterson’s answers to perennial questions. What is common to all humans, regardless of their background? Is complete knowledge ever possible? What would constitute a meaningful life? Why have humans evolved the capacity for intelligence? Should one treat others as individuals or as members of a group? Is a (...) single person powerless in the face of evil? What is the relation between speech, thought, and action? Why have religious myths and narratives figured so prominently in human history? Are the hierarchies we find in society good or bad? After devoting a chapter to each of these questions, Champagne unites the different strands of Peterson’s thinking in a handy summary. Champagne then spends the remaining third of the book articulating his main critical concerns. He argues that while building on tradition is inevitable and indeed desirable, Peterson’s individualist project is hindered by the non-revisable character and self-sacrificial content of religious belief. This engaging multidisciplinary study is ideal for those who know little about Peterson’s views, or for those who are familiar but want to see more clearly how Peterson’s views hang together. The debates spearheaded by Peterson are in full swing, so Myth, Meaning, and Antifragile Individualism should become a reference point for any serious engagement with Peterson’s ideas. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period (...) – its etymology is ancient Greek, and its theoretical underpinnings are medieval. Charles Sanders Peirce made major advances in semiotics, so he can act as a pipeline for these forgotten ideas. Most philosophers know Peirce as the founder of American pragmatism, but few know that he also coined the term “qualia,” which is meant to capture the intrinsic feel of an experience. Since pragmatic verification and qualia are now seen as conflicting commitments, Champagne endeavors to understand how Peirce could (or thought he could) have it both ways. The key, he suggests, is to understand how humans can insert distinctions between features that are always bound. Recent attempts to take qualities seriously have resulted in versions of panpsychism, but Champagne outlines a more plausible way to achieve this. So, while semiotics has until now been the least known branch of philosophy ending in –ics, his book shows how a better understanding of that branch can move one of the liveliest debates in philosophy forward. (shrink)

Policy-makers must sometimes choose between an alternative which has somewhat lower expected value for each person, but which will substantially improve the outcomes of the worst off, or an alternative which has somewhat higher expected value for each person, but which will leave those who end up worst off substantially less well off. The popular ex ante Pareto principle requires the choice of the alternative with higher expected utility for each. We argue that ex ante Pareto ought to be rejected (...) because it conflicts with the requirement that, when possible, one ought to decide as one would with full information. We apply our argument in an analysis of US policy on screening for breast cancer. -/- . (shrink)

I examined the proposition that there are psychological limits on what scientific problems can be solved, and that these limits may be based on a failure to be able to produce imagable, observation-based models for any possible solution, a position suggested by philosopher Colin McGinn in an argument attempting to prove that the mind-body problem is unsolvable. I examined another likely candidate for an unsolvable problem -- the ultimate origin of the universe (i.e., what might have preceded the Big Bang (...) or any other starting point; why there should be something rather than nothing) -- by exploring the reasoning of physicists about this problem and measuring visual imagery frequency and vividness, with the expectation that those who most believed the problem unsolvable would be more frequent/vivid imagers and therefore more affected by the apparent impossibility of producing an imagable solution. Eight physicists were interviewed and imagery frequency and vividness measurements performed using Cohen & Saslona's IDQ-IHS and Marks's VVIQ, respectively. All subjects considered the problem unsolvable within today's physics and all but one thought the problem still meaningful, though none were optimistic about a solution. The one subject who dismissed the problem had the lowest imagery frequency score, and there was also a significant rank order correlation (r = 0.83, p < .02) between degree of belief in problem unsolvability (extended to include viewing the problem as meaningful and not already solved) and a composite imagery frequency/vividness score, though the sample was too small to control for some possible confounding factors. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

The received view holds that there is a significant divide between full-blown representational states and so called ‘detectors’, which are mechanisms set off by specific stimuli that trigger a particular effect. The main goal of this paper is to defend the idea that many detectors are genuine representations, a view that I call ‘Strong Liberal Representationalism’. More precisely, I argue that ascribing semantic properties to them contributes to an explanation of behavior, guides research in useful ways and can accommodate misrepresentation.

I will be talking today about the limits of cognitive science. I won’t be talking about contingent shortcomings that could perhaps be remedied with, say, more time, resources, or ingenuity. Rather, I will be concerned with limitations that are “baked into” the very enterprise. The main blind spot, I will argue, is consciousness—but not for the reasons typically given. Current work in philosophy of mind can sometimes seem arcane, so my goal today will be to answer the question: why bother? (...) I have spent a whole book and several articles trying to make sense of the qualitative dimension of consciousness, but there is no point in trying to sell a solution unless we have first established (independently of any academic literature) that there is a real problem to solve. So, if I can’t convey my position in under an hour, I can at least convey the issue that motivates it. (shrink)

Sam Harris (2010) argues that, given our neurology, we can experience well-being, and that seeking to maximize this state lets us distinguish the good from the bad. He takes our ability to compare degrees of well-being as his starting point, but I think that the analysis can be pushed further, since there is a (non-religious) reason why well-being is desirable, namely the finite life of an individual organism. It is because death is a constant possibility that things can be assessed (...) as “for” or “against” one (Champagne 2011a; Smith 2000). Such an account lets us objectively adjudicate moral questions, as Harris desires. However, by anchoring itself in the mortal body as a whole and not just the brain, such an account dampens the claim that neuroscience would have all the answers. Moreover, it pivots on an affirmation of one’s life that can seem mysterious by regular scientific standards. This chapter thus explains why the trade-off is worthwhile. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

Many epistemologists have argued that there is some degree of independence between individual and collective reliability (e.g., Kitcher 1990; Mayo-Wilson, Zollman, and Danks 2011; Dunn 2018). The question, then, is: To what extent are the two independent of each other? And in which contexts do they come apart? In this paper, I present a new case confirming the independence between individual and collective reliability optimization. I argue that, in voting groups, optimizing individual reliability can conflict with optimizing collective reliability. This (...) can happen even if various conditions are held constant, such as: the evidence jurors have access to, the voting system, the number of jurors, some independence conditions between voters, and so forth. This observation matters in many active debates on, e.g., epistemic dilemmas, the wisdom of crowds, independence theses, epistemic democracy, and the division of epistemic labour. (shrink)

In Natural propositions (2014), Stjernfelt contends that the interpretation of a proposition or dicisign requires the joint action of two kinds of signs. A proposition must contain a sign that conveys a general quality. This function can be served by a similarity-based icon or code-based symbol. In addition, a proposition must situate or apply this general quality, so that the predication can become liable of being true or false. This function is served by an index. Stjernfelt rightly considers the co-localization (...) of these two parts to be a primitive phenomenon. Although this primitive character would seem to bar any further analysis, I endeavor to clarify the degree of proximity sufficient to enable co-localization. Siding with Pietarinen (2014), who argues that the whole issue should not be construed in metric terms, I conclude that one cannot make sense of propositional co-localization without appealing to some form of first-person perspective. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

This paper argues that social trust is the emergent product of a complex system of property relations, backed up by a sub-system of mutual monitoring. This happens in a context similar to Ostrom’s commons, where cooperation is necessary for the management of resources, in the absence of external authorities to enforce sanctions. I show that social trust emerges in this context because of an institutional structure that enables individuals to develop a generalized disposition to internalize the external effects of their (...) actions. This is made possible by the “patrimonial” nature of this structure. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

The prevalent views of animal liberty among animal advocates suggest that liberty is merely instrumentally valuable and invasive paternalism is justified. In contrast to this popular view, I argue that liberty is intrinsically good for animals. I suggest that animal well-being is best accommodated by an Objective List Theory and that liberty is an irreducible component of animal well-being. As such, I argue that it is good for animals to possess liberty even if possessing liberty does not contribute towards their (...) subjective well-being, and even in some cases where it has a negative effect upon their subjective well-being. To establish this view I argue that if animals are agents, as I assume they are, then like humans they must be able to determine the course of their own lives (to some extent). Further, having the opportunity to self-determine one’s life just is the very same thing as liberty, and having the opportunity to determine the course of one’s life is intrinsically good. Thus liberty has intrinsic value for humans and animals. So, in addition to the instrumental harms of having one’s liberty restricted, I claim that restricting animals’ liberty in principle harms them because it undermines their capacity for self-determination and fails to acknowledge their authority as agents to make their own choices. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

One of the main tenets of current teleosemantic theories is that simple representations are Pushmi-Pullyu states, i.e. they carry descriptive and imperative content at the same time. In the paper I present an argument that shows that if we add this claim to the core tenets of teleosemantics, then (1) it entails that, necessarily, all representations are Pushmi-Pullyu states and (2) it undermines one of the main motivations for the Pushmi-Pullyu account.

This article explains Blumenberg's reluctance to make humankind the saviour of nature, and the implied scepticism towards environmental politics.

Informational theories of semantic content have been recently gaining prominence in the debate on the notion of mental representation. In this paper we examine new-wave informational theories which have a special focus on cognitive science. In particular, we argue that these theories face four important difficulties: they do not fully solve the problem of error, fall prey to the wrong distality attribution problem, have serious difficulties accounting for ambiguous and redundant representations and fail to deliver a metasemantic theory of representation. (...) Furthermore, we argue that these difficulties derive from their exclusive reliance on the notion of information, so we suggest that pure informational accounts should be complemented with functional approaches. (shrink)