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)

Identity labels like “woman”, “Black,” “mother,” and “evangelical” are pervasive in both political and personal life, and in both formal and informal classification and communication. They are also widely thought to undermine agency by essentializing groups, flattening individual distinctiveness, and enforcing discrimination. While we take these worries to be well-founded, we argue that they result from a particular practice of using labels to rigidly label others. We identify an alternative practice of playful self-labelling, and argue that it can function (...) as a tool for combating oppression by expressing and enhancing individual and collective agency. (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)

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 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)

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)

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)

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.

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)

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)

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)

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...

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)

The labeling of medications includes the provision of information and instructions as well as a unique identity for the medical product. It is one of the most important sources of information for patients. Good labeling practice is critical to ensuring patients' safe and effective use of products. Misreading the label, insufficient data on the label, inappropriate labeling font, writing style, and placement on the dosage form can all have disastrous consequences. The objective of this study was to assess (...) medication labeling practices among community pharmacists in Libya. A simulated client method (SCM) was used, and the study was carried out in the City of Zawia, where 146 local pharmacies were visited over three months for the investigation (January to March 2023). These visits were made at random, without the pharmacist's knowledge. The findings revealed that all dispensed drugs were not labeled, and none of the practicing pharmacists in any pharmacies visited displayed any drug label, printed or handwritten. The majority of pharmacists did not address or explain significant information to the patient in an effective manner, which led to inappropriate and harmful consumption of medications. The absence of dispensed drug labels reduces the patient's knowledge of the necessary information about the medicine, resulting in a treatment deficit or unsuccessful therapy. Thus, more effort should be made by health authorities to instruct pharmacists to use and work according to international labeling standards or to establish local labeling specifications. (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)

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)

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.

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)

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)

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)

Aquinas has been labelled “the greatest advocate of dispositional modality”, by one contemporary power theorist. This paper’s goal is to critically analyse this claim. Before doing so, however, it first explicates some components of Aquinas’s ontology of powers, putting him in dialogue with contemporary discussions. Next it explicates the two competing views of the modality of powers, dispositional modality and conditional necessity, and proceeds to examine the textual basis as to which of the two Aquinas held. Ultimately the paper finds (...) evidence in favour of the latter. The paper then concludes with a suggestion as to how Aquinas would explain examples given by those who advocate the dispositional modality position. In answer to the title, therefore, the paper argues that thinking of Aquinas as the greatest advocate of dispositional modality is a fiction, and that this award belongs to someone else. (shrink)

Epistemic injustice has become one of the most widely discussed topics in social epistemology, and has revived interest in issues in the intersections between epistemology and ethics and political philosophy. Much of the impetus for this recent explosion of interest has been the influential work of Miranda Fricker; however, Fricker’s framework and terminology for discussing the phenomena and the kinds of examples she’s interested in has not always been cleanly separated from the phenomena themselves. This chapter examines what’s distinctive of (...) Fricker’s treatment of the phenomena she labels epistemic injustice, focusing on the two varieties that her discussion highlights, testimonial injustice and hermeneutical injustice. Once the distinctive elements of Fricker’s treatment are clearer, we will be better placed to assess which of them are plausible and which implausible, and to consider alternative theoretical frameworks for thinking about the phenomena, such as that developed by Kristie Dotson. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.2 (2001) 215-232 [Access article in PDF] Eighteenth-Century Print Culture and the "Truth" of Fictional Narrative Lisa Zunshine As a session entitled "Truth" at a recent Modern Language Association of America annual convention has demonstrated, the obsession with the epistemologies of truth is alive and well. Our "familiar ways of thinking and talking about truth," as one of the speakers, Barbara Herrnstein Smith, observed, remain "theoretically (...) elusive, discursively slippery, and hard or perhaps impossible to articulate clearly in relation to other current concepts and ideas" 1 --an irresistible invitation to further thinking and talking on the subject. My essay enters this conversation by attempting to contemplate truth not as a stable attribute but as a ongoing attribution, that is, not as an inherent property but rather as a dynamic process predicated upon functional idiosyncrasies of our evolved cognitive architecture. The broad question posed here is this: What if our never-ending quest for truth is itself cognitively constructed and the various forms that this quest takes manifest the (not necessarily harmonious) interaction between our evolved cognitive capacities and the ever-changing specifics of our cultural environment?Consider just one of the forms of such an interaction, namely, our age-long preoccupation with the "truth" of literary narrative. In many respects, this preoccupation is counterproductive: the most "fantastic" story contains a number of contingently useful "truths" about the world, whereas the most "factual" narrative manipulates facts by virtue of being a narrative or a subjective arrangementof information. Still, we persevere in wanting to put the label "fiction" or "nonfiction" onto any story that comes our way. As I will argue, the bookstore's organization of its sections satisfies this species of "cognitive" craving as well as [End Page 215] reinforces it, making it seem culturally inevitable. Viewed from this perspective, our culture appears to be a multifaceted feedback mechanism engaged in the process of satisfying, reinforcing, struggling with, and manipulating our cognitive predispositions.The cultural manipulation of our cognitive predispositions is the topic of the present essay, which discusses several examples of such manipulation that respond to our desire to assign a certain "truth-value" to a given narrative, i.e., to attach a label to it announcing its "factuality" or "fictionality." "Truth-value" is a loaded term, resisting definition, and liable to lead me into trouble. Imperfect as it is, however, I need it in order to shuffle between two scholarly discourses that do not (yet) have much vocabulary in common: literary criticism and cognitive science. The reason for turning to cognitive science in my discussion of literary narrative is that cognitive anthropologists and psychologists frequently engage the same problems that we do when we ask, What is "Fiction"? How is it different from "History"? How do we decide whether what we are reading is "true?" The key difference between the two approaches is, however, that whereas the literary critic focuses on specific texts produced and read in specific cultural circumstances, the cognitive anthropologist pays attention to the cross-cultural insistence with which people wish to and often claim to distinguish "truth" from "fiction" and inquires into the possible evolutionary history of the cognitive architecture implicated in our never-ending quest for "truth." The latter perspective can thus be useful for literary studies because, by suggesting that our evolved cognitive architecture often "encourages" us to construe the world as a negotiation of "truths" and "nontruths," this perspective begins to account--at least on some level--for the fact that people may approach a complex cultural artifact, such as a novel, with a "truth"/"non-truth" binary in mind that is ultimately not very productive. 2 Evolutionary psychologists and anthropologists frequently point to disjunctions between the tasks that our brain evolved to solve and the tasks that we have to deal with in the modern environment; our vexed insistence on determining the truth-value of the 500-page printed narrative--not an object one would come across in the Pleistocene--can be seen as yet another instance of such a disjunction.Thus, I suggest that, on the... (shrink)

I begin with by discussing cases that seem to show that a range of norms – norms like Choose the best!, Believe the truth!, and even Keep your promises! – fail to map out an important part of normative space. At the core of the problem is the observation that in some cases we can only conform to these norms by luck, in a way that is not creditable to us. I outline a prevalent diagnosis of the problem of luck, (...) which I label perspectivist. According to this diagnosis, the problem with a range of objectivist norms is that they make reference to facts that may lie outside our perspectives, not being present to our minds. An agent’s perspective is a kind of representation of the world: her evidence, knowledge, beliefs, experiences, etc. The first aim of this paper is to argue that the perspectivist diagnosis of the problem of luck is not ultimately correct. The correct diagnosis, I argue, is feasibilist: in some situations it is not feasible to choose, act, or believe in ways that conformity to objectivist norms robustly depends on. That is, it is sometimes not feasible to manifest dispositions that robustly enough track what one ought to do or believe, according to norms like those listed above. The same, I argue, is true of perspectivist norms: sometimes it is not feasible to track facts about our own perspectives. This shift in focus from the limits of our perspectives to limits on what dispositions it is feasible to manifest has, I argue, deep ramifications for normative theory. My second aim is to sketch an alternative, feasibilist way of thinking about a more subject-directed kind of normativity, one that takes into account our limitations as human agents. The result is a normative picture that unifies the practical and theoretical domains. (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)

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)

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)

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)

Albert Camus’ views contributed to the rise of the philosophy known as Absurdism, he defines the Absurd “as the conflict between the human tendency to seek inherent value and meaning in life, and the human inability to find any meaning in a purposeless, meaningless, and irrational universe, with the ‘unreasonable silence’ of the universe in response.” However, this world in itself is not absurd, what is absurd is our relationship with the universe, which is irrational. Camus is considered to be (...) an existentialist, even though he firmly rejected the term throughout his lifetime. He is properly categorised as an atheist existentialist. However, he would also disagree with this label. In his notebooks, he presents the following contradictory statement: -/- “I do not believe in God and I am not an atheist.” -/- This reflects the notion of the Absurd. The search of the possibility of the existence of God is humanly impossible, but this also entails that the proof that God does not exist is impossible too. He writes in The Myth of Sisyphus: “In a universe suddenly divested of illusions and lights, man feels an alien, a stranger. His exile is without remedy since he is deprived of the memory of a lost home or the hope of a promised land. This divorce between man and his life, the actor and his setting, is properly the feeling of absurdity.” The Myth of Sisyphus is a fierce expression of the Absurd. It starts off with a powerful and thought-provoking statement: “There is but one truly serious philosophical problem and that is suicide. Judging whether life is or is not worth living amounts to answering the fundamental question of philosophy.” . (shrink)

I respond to Tim Smartt’s (2023) skepticism about epistemic blame. Smartt’s skepticism is based on the claims that (i) mere negative epistemic evaluation can better explain everything proponents of epistemic blame say we need epistemic blame to explain; and (ii) no existing account of epistemic blame provides a plausible account of the putative force that any response deserving the label “blame” ought to have. He focuses primarily on the prominent “relationship-based” account of epistemic blame to defend these claims, arguing (...) that the account is explanatorily idle, and cannot distinguish between epistemically excused and epistemically blameworthy agents. I argue that Smartt mischaracterizes the account’s role for judgments of epistemic relationship impairment, leading to mistaken claims about the account’s predictions. I also argue that the very feature of the account that Smartt mischaracterizes is key to understanding what epistemic blame does for our epistemic responsibility practices that mere negative epistemic evaluation cannot. (shrink)

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument (Sect. 2 ). A key premise has it (...) that, necessarily, for items with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible (Sect. 3 ). However, Schellenberg rejects the etiological theory of functions (Sect. 4 ) and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception (Sect. 5 ). But then what supports the key premise? Schellenberg argues that accurate perception is a part of the _nature_ of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately (Sect. 6 ). We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any _actual_ good cases—just possible ones (Sect. 7 ). This reading, we argue, is too weak to support the key premise (Sect. 8 ). Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection to Schellenberg’s argument (Sect. 9 ). (shrink)

Even though the evidence‐based medicine movement (EBM) labels mechanisms a low quality form of evidence, consideration of the mechanisms on which medicine relies, and the distinct roles that mechanisms might play in clinical practice, offers a number of insights into EBM itself. In this paper, I examine the connections between EBM and mechanisms from several angles. I diagnose what went wrong in two examples where mechanistic reasoning failed to generate accurate predictions for how a dysfunctional mechanism would respond to intervention. (...) I then use these examples to explain why we should expect this kind of mechanistic reasoning to fail in systematic ways, by situating these failures in terms of evolved complexity of the causal system(s) in question. I argue that there is still a different role in which mechanisms continue to figure as evidence in EBM: namely, in guiding the application of population‐level recommendations to individual patients. Thus, even though the evidence‐based movement rejects one role in which mechanistic reasoning serves as evidence, there are other evidentiary roles for mechanistic reasoning. This renders plausible the claims of some critics of evidencebased medicine who point to the ineliminable role of clinical experience. Clearly specifying the ways in which mechanisms and mechanistic reasoning can be involved in clinical practice frames the discussion about EBM and clinical experience in more fruitful terms. (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures (...) are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (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)

The study dealt with the present socio-economic status, perceptions and opportunities of maximizing the benefits of ecotourism to the local community. Responses from the local community, officials of the local government unit, and visitors using quantitative and qualitative method, particularly the inductive approach through survey, observation and interview was used. Local community involvement in tourism activity is limited to tour guiding, particularly the children, while the rest of the population are into farming, fishing and harvesting forest products. The park was (...) categorized as “Protected Landscape” under Republic Act 7586, now gaining its popularity and one of the fastest growing ecotourism sites in the Philippines is under the supervision of a private company. Visitor satisfaction and potential risk on environmental degradation were observed due to lack of regulation on the observance of carrying capacity. Tourism Action Plan for the destination was prepared but allocation for project for the local community that would contribute to their present socio-economic status was not evident. The geographical unit of the destination, its breath-taking view, the presence of various distinct flora and fauna made it to be labelled as the “Hidden Paradise and Mystical Eco-tourism in Nueva Ecija”. Sustainability in ecotourism, involves the participation of the communities that protect and manage the natural resources, cultural and indigenous knowledge and practices, environmental education and ethics. Community involvement equipped with proper education and conservation awareness, training, and employment opportunities may sustain the destination and enhance visitor satisfaction. (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)

The idea that only complex brains can possess genuine representations is an important element in mainstream philosophical thinking. An alternative view, which I label ‘liberal representationalism’, holds that we should accept the existence of many more full-blown representations, from activity in retinal ganglion cells to the neural states produced by innate releasing mechanisms in cognitively unsophisticated organisms. A promising way of supporting liberal representationalism is to show it to be a consequence of our best naturalistic theories of representation. However, (...) several philosophers and scientists have recently argued against this strategy. In the paper I counter these objections in defense of liberal representationalism. (shrink)

First, I will discuss several reasons as to why there is still almost a reluctance to reading Kant’s philosophy in the context of the scholastic tradition. The focus will be on (i) the label “revolutionary” often attached to Kant’s thought thereby suggesting a radical break with the past, especially with regard to philosophers often perceived as conservative, and (ii) the issue of confessional ramifications (not unrelated to the first point) will also be touched upon, albeit briefly. Then, two examples (...) will be investigated with regard to which a recourse to this context provides important clues to the philosophical points at issue. These are Kant’s claims that on the one hand, existence is not a real predicate, and on the other, that appearances are nothing but representations. (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)

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)

In bioethics, the predominant categorization of various types of influence has been a tripartite classification of rational persuasion (meaning influence by reason and argument), coercion (meaning influence by irresistible threats—or on a few accounts, offers), and manipulation (meaning everything in between). The standard ethical analysis in bioethics has been that rational persuasion is always permissible, and coercion is almost always impermissible save a few cases such as imminent threat to self or others. However, many forms of influence fall into the (...) broad middle terrain—and this terrain is in desperate need of conceptual refining and ethical analysis in light of recent interest in using principles from behavioral science to influence health decisions and behaviors. This paper aims to address the neglected space between rational persuasion and coercion in bioethics. First, I argue for conceptual revisions that include removing the “manipulation” label and relabeling this space “nonargumentative]influence,” with two subtypes: “reason-bypassing” and “reason-countering.” Second, I argue that bioethicists have made the mistake of relying heavily on the conceptual categories themselves for normative work and instead should assess the ethical permissibility of a particular instance of influence by asking several key ethical questions, which I elucidate, that relate to (1) the impact of the form of influence on autonomy and (2) the relationship between the influencer and the influenced. Finally, I apply my analysis to two examples of nonargumentative influence in health care and health policy: (1) governmental agencies such as the Food and Drug Administration (FDA) trying to influence the public to be healthier using nonargumentative measures such as vivid images on cigarette packages to make more salient the negative effects of smoking, and (2) a physician framing a surgery in terms of survival rates instead of mortality rates to influence her patient to consent to the surgery. (shrink)