This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We argue that the universal recommendations against “off-label” pediatric use of approved COVID-19 issued by the FDA, CDC, and AAP are overbroad. Especially for higher-risk children, vaccination can be ethically justified even before FDA authorization or approval – and similar reasoning is relevant for even younger patients. Legal risks can also be managed, although the FDA, CDC, and Department of Health and Human Services (HHS) should move quickly to provide clarity.

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

In this article, we perform a detailed proof theoretic investigation of a wide number of relevant logics by employing the well-established methodology of labelled sequent calculi to build our intended systems. At the semantic level, we will characterise relevant logics by employing reduced Routley-Meyer models, namely, relational structures with a ternary relation between worlds along with a unique distinct element considered as the real (or actual) world. This paper realizes the idea of building a variety of modular labelled calculi by (...) reflecting, at the syntactic level, semantic informations taken from reduced Routley-Meyer models. Central results include proofs of soundness and completeness, as well as a proof of cut- admissibility. (shrink)

This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and (...) into its English version: Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Boston-London-Dordrecht 1991. (shrink)

One of the core insights from Eleanor Rosch’s work on categorization is that human categorization isn’t arbitrary. Instead, two psychological principles constrain possible systems of classification for all human cultures. According to these principles, the task of a category system is to provide maximum information with the least cognitive effort, and the perceived world provides us with structured rather than arbitrary features. In this paper, I show that Rosch's insights give us important resources for making progress on the 'feasibility question' (...) in conceptual engineering: the question of how we can implement conceptual engineering projects in ways that are practically feasible. Specifically, I show that one overlooked upshot of Rosch's work is that naming practices play an extremely important role in the construction of perceived similarities within and dissimilarities between categories, and, correspondingly, the dissemination of social stereotypes that serve as markers between different categories that are otherwise similar. Thus, naming practices will be a crucial constraint for the feasibility of certain ameliorative projects. (shrink)

In this essay, I analyse Howard S. Becker's labelling theory, using Wittgenstein and Foucault to argue that it has significant explanatory power in describing what I term "the hegemonic power of the label". Much of this essay hints at my general thought with regards hegemony at the level of interaction and language. Final grade was first class honours, 2,000 word limit. -/- The ideas expressed herein have matured significantly since. I am working on a quantitative study with my University (...) to analyse the ability of Becker's labelling theory (plus some ideas of my own) to explain the exact process of the social construction of age. I am also working on a revision of the theory of hegemony, of which includes analysis of hegemony at an interactive/linguistic level, which is heavily influenced by Becker's and Wittgenstein's thought. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

Recent studies have explored the effectiveness of open-label placebos for a variety of conditions, including chronic pain, cancer-related fatigue and irritable bowel syndrome. OLPs are thought to sidestep traditional ethical worries about placebos because they do not involve deception: with an OLP, patients or subjects are told outright that they are not given an active substance. As deception is framed as the primary hurdle to ethical placebo use, the door is ostensibly opened to ethical studies of OLPs. In this (...) article, I suggest that even though OLPs seemingly do not involve deception, there are other ethical considerations in their clinical investigation and subsequent use. Research ethics often focusses on informed consent—of which, deception and honesty are a piece—as a means to justify research practices with human subjects. Yet, it is but one of the ethical considerations that should be taken into account. With research into placebo effects in particular, I argue that the history of clinical placebo use grounds special considerations for OLP research that go beyond respect for the autonomy of individual patients through informed consent and encompass structural concerns about the type of patient for whom a placebo has historically been thought appropriate. (shrink)

This commentary defends 3 arguments for changing the label of levonorgestrel-based emergency contraception (LNG EC) so that it no longer supports the possibility of a mechanism of action after fertilization. First, there is no direct scientific evidence confirming any postfertilization mechanisms. Second, despite the weight of evidence, there is still widespread public misunderstanding over the mechanism of LNG EC. Third, this FDA label is not a value-free claim, but instead it has functioned like a political tool for reducing (...) contraceptive access. The label is laden with antiabortion values (even though EC is contraception, not abortion), and it imposes these values on potential users, resulting in barriers to access such as with Burwell v. Hobby Lobby. These 3 arguments together provide scientific, social, and ethical grounds for the FDA to take the initiate in changing Plan B's drug label. (shrink)

This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options (...) to attain a conclusion of a given form within a given figure. I also argue that this picture sheds some light on Aristotle’s clarifications of the final clause in his definition of syllogism. (shrink)

1. Historically, our sense of smell has been deemed informationally impoverished, not very discerning, subjective, ineffable, and generally of little value (for an overview, see e.g., Barwich, 2020...

Despite its prevalence, the term ‘extreme’ has received little critical attention. ‘Extremity’ is routinely employed in ways that imply its meanings are self-evident. However, the adjective itself offers no such clarity. This article focuses on one particular use of the term – ‘extreme porn’ – in order to illustrate a broader set of concerns about the pitfalls of labelling. The label ‘extreme’ is typically employed as a substitute for engaging with the term’s supposed referents (here, pornographic content). In its (...) contemporary usage, ‘extreme’ primarily refers to a set of context-dependent judgements rather than absolute standards or any specific properties the ‘extreme’ item is alleged to have. Concurrently then, the label ‘extreme’ carries a host of implicit values, and the presumption that the term’s meanings are ‘obvious’ obfuscates those values. In the case of ‘extreme porn’, this obfuscation is significant because it has facilitated the cultural and legal suppression of pornography. (shrink)

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied.

Abstract: The development of technology pushes human to increase productivity by changing manual system to automatic system. Modernization affect almost all aspect especially in art. Batik is a ancestor legacy of indonesian people that recogized by UNESCO as culture legacy of Indonesia yet batik industries are not develop as much. Modernization in batik art is expected to optimize its productivity. This research design algorithm and the program in MATLAB that used for controlling movement protype of batik maker 2 dof cartesian (...) robot. The input data is a picture that will be processed to obtain the order of coordinate edge. Then it procesed and sent to plantby using MATLAB based on Graphical User Interface (GUI). The 2 dof Cartesian robot and a pen (end effector) is used to draw a pattern. A servo motor is installed to activate end effector and two stepper motor coupled with thread mechanic that used to move it towards the X and Y axis. Testing is done by sending coordinat orders to the plant or by observing drawing process order. Obtained error from program and algorithm testing is 2,32% . (shrink)

The study, designed to find out the gender outcome, gender roles, and labeling of labels in the department's head examination, was conducted using 194 study participants recruited from lecturers at Dire Dawa University in Ethiopia 116 women and 78 were males aged 29.23. The following five labels are used: Department head in general, efficient male Department head, efficient female Department head, inefficient male Department head, and inefficient female Department head) were responded to by the research participants. Seven different hypotheses were (...) tested using ANOVA. Findings revealed that gender role orientation had a significant effect on the evaluation of the Department head. Furthermore, there were no significant effects of gender, and attachment of labels on the evaluation of Department head and no interaction effects of gender and gender role orientation, gender and attachment of labels and gender, gender role orientation, and attachment of labels on the evaluation of Department head. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

This article develops a logic with two fundamental components: objects and labels. We compare the properties of the two universes that can be constructed from these building blocks and show how they naturally resolve a class of linguistic paradoxes. We conclude with a application to modal logics involving context fields.

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse the implications of (...) this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor a purely formal (...) account of language is adequate, given the centrality of the sign as the fundamental unit of grammatical analysis. The author distinguishes four types of grammatical signs: experiential, logical, interpersonal, and textural. The signifiers of these signs are syntagmatic relationships of the following types, respectively: constituency, dependency, conjugational and linking. McGregor illustrates and exemplifies the theory with data from a variety of languages including English, Acehnese, Polish, Finnish, Japanese, Chinese, and Mohawk; and from his pioneering research on Gooniyandi and Nyulnyul, two languages of the Kimberleys region of Western Australia. (shrink)

‘Philosophical dialogue’ indicates both a form of philosophical inquiry and its corresponding literary genre. In its written form, it typically features two or more characters who engage in a discussion concerning morals, knowledge, as well as a variety of topics that can be widely labelled as ‘philosophical’. Our philosophical dialogue takes place in Krakow, Poland. It is a rainy morning and two strangers are waiting at a tram stop. One of them is dressed neatly, and cannot stop fidgeting with his (...) closed umbrella. The other was caught unprepared by the morning downpour and water is dripping from his worn, soaked jacket. (shrink)

“Art”—what is it? What sort of entities are artworks? “Art”—when is it? Normally, when we visit an art exhibition, when we listen to a concert or when we look at a performing art in a setting, we use to read the titles, the tags or something textual, a threshold not crafted by the author, about the exposed or executed artworks in order to grasp their subject, style, history, and author. But: how does a title, a non-fiction depiction or a pointing, (...) and different ways of para-textual activation, entitle and unable us to such an operation and to live an aesthetic relation? This issue of “Aisthesis” explores the conditions under which it could be useful to distinguish between aesthetic objects and artworks–visual, musical, literary, performing arts– and to admit that the existence of the latter depends on a marginal and basic component of them: tags. The issue contains articles by Jerrold Levinson, Bernard Sève, Filippo Focosi, Alberto Voltolini, Giulia Alberti, Pietro Kobau, Jean-Pierre Cometti, Isabelle Thomas-Fogiel, Filippo Fimiani, Bertrand Rougé, Leardo Botti, Michel Déguy, Jean-Marie Klinkenberg, Micla Petrelli, Andrea Olivieri, Alessandro Ottaviani. (shrink)

Let the label binary category terms refer to natural language expressions like ‘woman’, ‘man’, ‘female’, and ‘male’. Focusing on ‘woman’ and ‘female’, I develop a novel, empirically supported theory of the meanings of English binary category terms. Given plausible assumptions about the metaphysics of sex and gender, this gender-first theory predicts that the sentence ‘Trans women are women’ expresses a truth in all contexts and the sentence ‘Women are adult human females’ expresses a truth in most ordinary contexts — (...) thus that these two sentences can and usually do express logically consistent contents. The key feature of the proposed theory is that it treats both ‘woman’ and ‘female’ as sensitive to an individual’s gender when that individual belongs to a gendered category and to an individual’s sex otherwise. The existence and plausibility of a gender-first theory of this kind opens up conceptual room for trans-inclusive positions in the philosophy of sex and gender which endorse the claim that women are adult human females, thereby both accounting for trans women’s experiences of their bodies as female and helping to disarm the sentence ‘Women are adult human females’ as a trans-exclusionary slogan. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of (...) FEMF should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

Thomas Pogge labels the idea that each person owes each other person equal respect and concern ‘ethical cosmopolitanism’ and correctly states that it is a ‘non-starter’. He offers as an allegedly more convincing cosmopolitan alternative his ‘social justice cosmopolitanism’. I shall argue that this alternative fails for pretty much the same reasons that ‘ethical cosmopolitanism’ fails. In addition, I will show that Pogge's definition of cosmopolitanism is misleading, since it actually applies to ethical cosmopolitanism and not to social justice cosmopolitanism. (...) This means that cosmopolitanism as defined by Pogge is wrong in the light of his own arguments and that Pogge is not even a cosmopolitan in the sense of his own definition. I will further show that he is also not a cosmopolitan if cosmopolitanism is defined as a philosophical position involving the claim that state borders have no fundamental moral significance. (shrink)

The availability of large digital archives of historical newspaper content has transformed the historical sciences. However, the scale of these archives can limit the direct application of advanced text processing methods. Even if it is computationally feasible to apply sophisticated language processing to an entire digital archive, if the material of interest is a small fraction of the archive, the results are unlikely to be useful. Methods for generating smaller specialized corpora from large archives are required to solve this problem. (...) This article presents such a method for historical newspaper archives digitized using the METS/ALTO XML standard (Veridian Software, n.d.). The method is an ‘iterative bootstrapping’ approach in which candidate corpora are evaluated using text mining techniques, items are manually labelled, and Naïve Bayes text classifiers are trained and applied in order to produce new candidate corpora. The method is illustrated by a case study that investigates philosophical content, broadly construed, in pre-1900 English-language New Zealand newspapers. Extensive code is provided in Supplementary Materials. (shrink)

We take ourselves to have an inner life of thought, and we take ourselves to be capable of linguistically expressing our thoughts to others. But what is the nature of this “inner life” of thought? Is conscious thought necessarily carried out in language? This paper takes up these questions by examining Merleau-Ponty’s theory of expression. For Merleau-Ponty, language expresses thought. Thus it would seem that thought must be independent of, and in some sense prior to, the speech that expresses it. (...) He also claims, however, that thinking just is linguistic expression, and thus that language constitutes thought. The primary aim of this paper is to make sense of this constitutive claim while maintaining that, for Merleau-Ponty, there is an inner life of thought that exists independently of linguistic expression, and that this inner life rightly deserves the label “thought”. The upshot of this account is twofold. First, it explains why the mainstream view of Merleau-Ponty’s theory of expression seems plausible, but is ultimately inadequate. Second, it functions as a corrective to contemporary debates about the nature and scope of phenomenal consciousness and the sense in which conscious experience has content. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that (...) these views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

Dispositional Essentialism is a unified anti-Humean account of the metaphysics of low-level physical properties and laws of nature. In this paper, I articulate the view that I label Canonical Dispositional Essentialism, which comprises a structuralist metaphysics of properties and an account of laws as relations in the property structure. I then present an alternative anti-Humean account of properties and laws. This account rejects CDE’s structuralist metaphysics of properties in favour of a view of properties as qualitative grounds of dispositions (...) and it rejects CDE’s view of laws as relations in favour of a view of laws as features of an efficient description of possible property distributions. I then defend this view over CDE on the grounds that it can overcome an explanatory shortcoming of CDE and that it achieves a level of continuity with science that CDE fails to achieve. The upshot of this paper is a significant narrowing of the range of possibilities in which the absolutely best unified account of laws and properties resides. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, (...) the term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

Disputes about the causal structure of natural selection have implications for teleosemantics. Etiological, mainstream teleosemantics is based on a causalist view of natural selection. The core of its solution to Brentano’s Problem lies in the solution to Kant’s Puzzle provided by the Modern Synthesis concerning populational causation. In this paper, I suggest that if we adopt an alternative, statisticalist view on natural selection, the door is open for two reflections. First, it allows for setting different challenges to etiological teleosemantics that (...) arise if a statisticalist reading of natural selection is right. Second, by providing a different solution to Kant’s Puzzle based on individual causes of evolution, statisticalism promotes a different answer to Brentano’s Problem, what I label as Agential Teleosemantics. (shrink)

Among the many ideas that go by the name of “enactivism” there is the idea that by “cognition” we should understand what is more commonly taken to be behavior. For clarity, label such forms of enactivism “enactivismb.” This terminology requires some care in evaluating enactivistb claims. There is a genuine risk of enactivist and non-enactivist cognitive scientists talking past one another. So, for example, when enactivistsb write that “cognition does not require representations” they are not necessarily denying what cognitivists (...) claim when they write that “cognition requires representations.” This paper will draw attention to instances of some of these unnecessary confusions. (shrink)

A prevalent political narrative is that we are facing an epistemological crisis, where many citizens no longer care about truth and facts. Yet the view that we are living in a post-truth era relies on some implicit questionable empirical and normative assumptions. The post-truth rhetoric converts epistemic issues into motivational issues, treating people with whom we disagree as if they no longer believe in or care about truth. This narrative is also dubious on epistemic, moral, and political grounds. It is (...) epistemically dubious in being largely insensitive to the problem of complexity in politics; it is morally dubious because “post-truth” is often a derogatory label for individuals or groups that are deemed stupid, irrational, or morally compromised; and it is a politically toxic neologism because it purports to use the language of ‘truth’ as a weapon against power, yet these truth-claims are often themselves attempts to exert power over others by delegitimizing their perspectives. While it may seem as if truth and democracy are on especially bad terms lately, politics and truth have long had a vexed relationship, and moral panics about the value of truthfulness in politics are as old as politics itself. (shrink)

My initial work, with collaborators Stephen Morris, Thomas Nadelhoffer, and Jason Turner (2005, 2006), on surveying folk intuitions about free will and moral responsibility was designed primarily to test a common claim in the philosophical debates: that ordinary people see an obvious conflict between determinism and both free will and moral responsibility, and hence, the burden is on compatibilists to motivate their theory in a way that explains away or overcomes this intuitive support for incompatibilism. The evidence, if any, offered (...) by philosophers to support the claim that incompatibilism is intuitive has consisted of reports of their own intuitions or informal polls of their students. We were skeptical about the reliability of such evidence, so we used the methodology--”now associated with the label 'experimental philosophy'--”of conducting formal surveys on non-philosophers. Our participants read a scenario that describes a deterministic universe and were then asked to judge whether agents in those scenarios act of their own free will and are morally responsible for their actions. Using three different scenarios with hundreds of participants, we consistently found that the majority (2/3 to 4/5) responded that agents in deterministic universes do act of their own free will and are morally responsible. That is, we found that most ordinary folk do not seem to find incompatibilism intuitive or obviously correct. Our results have been challenged in various ways, philosophical and methodological. For instance, Shaun Nichols (2004, this volume) and Nichols and Joshua Knobe (unpublished) offer some experimental evidence suggesting that, in certain conditions, most people express incompatibilist and libertarian intuitions. I will respond to this work in the following section. I agree that people express conflicting intuitions about free will (after all, we consistently found a minority of participants expressing incompatibilist. (shrink)

Discussions regarding which norms, if any, govern our practices of forming, maintaining and relinquishing beliefs have come to be collected under the label “The ethics of belief”. Included in the ethics of belief are debates about how those normative issues relate to the nature of belief, whether belief formation is, for example, ever voluntary. The present talk concerns an analogous set of questions regarding our practices of attention. “The ethics of attention” thus concerns the discussion of which norms, if (...) any, govern our practices of attention: what norms govern what we should attend to, how we should engage our capacity for attention, when we should begin and when we should stop to pay attention to something? Like the ethics of belief, the ethics of attention will connect those normative questions to issues regarding the nature of attention, what may or may not be subject to such normative pressures. Compared with rich, complex, and systematic investigation of the ethics of belief, the study of the ethics of attention is more or less undeveloped. This paper aims to begin to change that. Specifically, it shows that attention is an appropriate target for serious normative investigation and then classifies potential norms of attention along three dimensions: whether they are manner or object based, instrumental or non-instrumental, and whether its source is moral, prudential or epistemic. -/- [EDIT. 10. November 2021: this paper has been superseded by a new version. Please cite that in turn]. (shrink)

In their recently published book Nudge (2008) Richard H. Thaler and Cass R. Sunstein (T&S) defend a position labelled as ‘libertarian paternalism’. Their thinking appeals to both the right and the left of the political spectrum, as evidenced by the bedfellows they keep on either side of the Atlantic. In the US, they have advised Barack Obama, while, in the UK, they were welcomed with open arms by the David Cameron's camp (Chakrabortty 2008). I will consider the following questions. What (...) is Nudge? How is it different from social advertisement? Does Nudge induce genuine preference change? Does Nudge build moral character? Is there a moral difference between the use of Nudge as opposed to subliminal images to reach policy objectives? And what are the moral constraints on Nudge? (shrink)

One very popular framework in contemporary epistemology is Bayesian. The central epistemic state is subjective confidence, or credence. Traditional epistemic states like belief and knowledge tend to be sidelined, or even dispensed with entirely. Credences are often introduced as familiar mental states, merely in need of a special label for the purposes of epistemology. But whether they are implicitly recognized by the folk or posits of a sophisticated scientific psychology, they do not appear to fit well with perception, as (...) is often noted. -/- This paper investigates the tension between probabilistic cognition and non-probabilistic perception. The tension is real, and the solution—to adapt a phrase from Quine and Goodman—is to renounce credences altogether. (shrink)

In a series of ten preregistered experiments (N=2043), we investigate the effect of outcome valence on judgments of probability, negligence, and culpability – a phenomenon sometimes labelled moral (and legal) luck. We found that harmful outcomes, when contrasted with neutral outcomes, lead to increased perceived probability of harm ex post, and consequently to increased attribution of negligence and culpability. Rather than simply postulating a hindsight bias (as is common), we employ a variety of empirical means to demonstrate that the outcome-driven (...) asymmetry across perceived probabilities constitutes a systematic cognitive distortion. We then explore three distinct strategies to alleviate the hindsight bias and its downstream effects on mens rea and culpability ascriptions. Not all are successful, but at least some prove promising. They should, we argue, be taken into consideration in criminal jurisprudence, where distortions due to the hindsight bias are likely considerable and deeply disconcerting. (shrink)

There is a widespread belief that, conceptually, justice cannot require what we cannot achieve. This belief is sometimes used by defenders of so-called ‘non-ideal theories of justice’ to criticise so-called ‘ideal theories of justice’. I refer to this claim as ‘the feasibility constraint on the concept of justice’ and argue against it. I point to its various implausible implications and contend that a willingness to apply the label ‘unjust’ to some regrettable situations that we cannot fix is going to (...) enhance the action-guiding potential of a conception of justice, by providing an aspirational ideal. This is possible on the condition that, at all times, we cannot specify with certainty the limits of what is feasible for us collectively. The rejection of the feasibility constraint entails that there can be injustice without perpetrators; this is a theoretical price worth paying. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian (...) theory (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Models not only represent but may also influence their targets in important ways. While models’ abilities to influence outcomes has been studied in the context of economic models, often under the label ‘performativity’, we argue that this phenomenon also pertains to epidemiological models, such as those used for forecasting the trajectory of the Covid-19 pandemic. After identifying three ways in which a model by the Covid-19 Response Team at Imperial College London may have influenced scientific advice, policy, and individual (...) responses, we consider the implications of epidemiological models’ performative capacities. We argue, first, that performativity may impair models’ ability to successfully predict the course of an epidemic; but second, that it may provide an additional sense in which these models can be successful, namely by changing the course of an epidemic. (shrink)

In this article I offer an opinionated overview of the central elements of Kant’s philosophical methodology during the critical period. I begin with a brief characterization of how Kant conceives of the aims of human inquiry – focusing on the idea that inquiry ideally aims at not just cognition (Erkenntnis), but also the more demanding cognitive achievements that Kant labels insight (Einsehen) and comprehension (Begreifen). Then I explore the implications of this picture for philosophy — emphasizing Kant’s distinction between critical (...) and doctrinal phases of philosophical inquiry, with the first of these playing both a negative and a positive role with respect to the second. Then, I will argue that this positive role is possible, according to Kant, only insofar as philosophy follows what I call a “capacities-first” methodology – that is, one that treats basic cognitive capacities (such as reason) and their self-conscious activities as fundamental (in both a cognitive sense and in an explanatory sense) for the sort of philosophy human beings are capable of. It is this methodology, I will argue, that allows Kant to introduce the first principles that philosophy in its doctrinal phase requires in a manner that is neither arbitrary nor (at least obviously) incompatible with Kant’s own critical restrictions on cognition. I conclude by discussing some of the implications of this methodological picture – including the methodological significance of self-consciousness and regressive or “transcendental” arguments, Kant’s distinction between analytic and synthetic methods in philosophy, and Kant’s conception of reason as autonomous. (shrink)

Two decades ago, in 1994, in the context of the 4th EU Framework Programme, ELSA was introduced as a label for developing and funding research into the ethical, legal and social aspects of emerging sciences and technologies. Currently, particularly in the context of EU funding initiatives such as Horizon2020, a new label has been forged, namely Responsible Research and Innovation. What is implied in this metonymy, this semantic shift? What is so new about RRI in comparison to ELSA? (...) First of all, for both labels, the signifier was introduced in a top-down manner, well before the concept that was signified by it had acquired a clear and stable profile. In other words, the signifier preceded the research strategies actually covered by these labels. Moreover, the newness of RRI does not reside in its interactive and anticipatory orientation, as is suggested by authors who introduced the term, but rather in its emphases on social-economic impacts. (shrink)