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.

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)

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)

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)

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)

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)

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)

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)

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.

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)

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.

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)

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.

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

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)

Till just few decades ago, scholars used to use the label ‘Ockhamism’ to mark a turning-point in the history of mediaeval philosophy, above all in the history of natural philosophy. That turning-point was exemplified by the once so-called ‘Buridanian school’, today known simply as ‘Parisian school of natural philosophy’, whose leading representative was for sure John Buridan. But looking carefully at some crucial points of the Picard master’s idea of ‘nature’, concerning specifically the relationship between God and secondary causes (...) on one side, and the role played by free will, both the divine and the human one, on the other side, one will find out that Buridan’s ‘Ockhamism’ is at least questionable: Scotus’ modal logic is the conceptual framework, within which he redetermines the boundaries of natural laws, but the ‘pure ockhamist’ idea of the prevalence of the will on the intellect in God’s nature is the source of an image of the world in which voluntary behaviours and natural laws are intertwined. Therefore, Buridan’s natural philosophy results as a peculiar synthesis of two of the main divergent lines of thinking of late mediaeval philosophy. (shrink)

A recurrent theme in philosophy of science since the early twentieth century is the idea that at least some basic tenets within scientific theories ought to be understood as conventions. Various versions of this idea have come to be grouped together under the label ‘conventionalism’. This chapter presents and discusses some important historical stages in the development of conventionalism. Particular attention is paid to the contributions made by Henri Poincaré, Pierre Duhem and Hans Reichenbach.

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express different (...) propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (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)

In his comment, McGann argues that in my “From Sensorimotor Dependencies to Perceptual Practices: Making Enactivism Social,” I have overlooked a group of enactivist theories that can be grouped under the participatory sense-making label. In this reply, I explain that the omission is due to the fact that such theories are not accounts of perception. It is argued that, unlike participatory sense-making, the approach of the “From Sensorimotor Dependencies to Perceptual Practices” article does not focus on the perceptual aspects (...) of things social, but on the social aspects that are constitutive of perception in general. I conclude by underscoring the central argument of the original article: that the adequate notion to make enactivism about perception social is that of “perceptual practices,” a social practices-based notion of perception. (shrink)

Social media platforms have been rapidly increasing the number of informational labels they are appending to user-generated content in order to indicate the disputed nature of messages or to provide context. The rise of this practice constitutes an important new chapter in social media governance, as companies are often choosing this new “middle way” between a laissez-faire approach and more drastic remedies such as removing or downranking content. Yet information labeling as a practice has, thus far, been mostly tactical, reactive, (...) and without strategic underpinnings. In this paper, we argue against defining success as merely the curbing of misinformation spread. The key to thinking about labeling strategically is to consider it from an epistemic perspective and to take as a starting point the “social” dimension of online social networks. The strategy we articulate emphasizes how the moderation system needs to improve the epistemic position and relationships of platform users — i.e., their ability to make good judgements about the sources and quality of the information with which they interact on the platform — while also appropriately respecting sources, seekers, and subjects of information. A systematic and normatively grounded approach can improve content moderation efforts by providing clearer accounts of what the goals are, how success should be defined and measured, and where ethical considerations should be taken into consideration. We consider implications for the policies of social media companies, propose new potential metrics for success, and review research and innovation agendas in this regard. (shrink)

Smith proposes an account of how languages developed. He did so not as historian, but as a philosopher with a special concern about how a nominalist could account for general terms. Names for individuals are taken as fairly unproblematic – say ‘Thames’ and ‘Avon’ for each of the respective rivers. But whence the word ‘river,’ applicable to more than one, if all that exist are particular objects? Smith’s view is not the usual one, according to which people deploy a powerful (...) ability to abstract mentally, and subsequently affix a label to a general concept. He resisted this because he granted that such robust mental processes themselves presuppose the use of words. Rather, what holds the class together is the word itself, a “single appellation.”. (shrink)

Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...) of truthmaking, we conduct an in depth analysis of Parsons’ account of weak truthmaking. By doing that, we expose some difficulties in his original formulation. As the main contribution of this paper, we propose solutions to address these issues which are then integrated in a new precise interpretation of truthmaking that is harmonizable with. (shrink)

This article aims to theoretically analyse so-called character friendship from the perspective of emotions. From this angle, our research enables us to distinguish different types of emotions, and we propose a conceptual model of the hierarchy of the emotions of character friendship and their influence on social behaviour. With this model in hand, the article discusses whether other-oriented emotions fully explain the emotional underpinnings of character friendship. We find other-oriented emotions to be ambiguous because they may or may not be (...) selfless. Thus we question whether these emotions can adequately explain the bonding content of character friendship. We conclude that there is a higher affective tier related to moral emotions and moral behaviour, which we have labelled the ‘bonding feeling’. This feeling is described with reference to its historical precedents (Rof Carballo’s ‘affective warp’), thus explaining its particularity. (shrink)

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

The speech act of inquiry is generally treated as a default kind of asking questions. The widespread norm states that one inquires whether p only if one does not know that p. However, the fact that inquiring is just one kind of asking questions has received little to no attention. Just as in the declarative mood we can perform not only assertions, but various other speech acts, like guesses or predictions, so in the interrogative mood we can also make various (...) speech act types. I propose a speech-act-theoretic account of a distinct kind of question that I label exam questions. According to the proposed account, one performs an exam question p only if (i) one has access to the answer to p, and (ii) one does not officially know whether the hearer knows the answer to p. Exam questions satisfy all the necessary requirements of being a distinct kind of speech act. Additionally, my proposal contributes to the recent expansion of the normative approach to a variety of speech acts. (shrink)

According to the so-called ‘Taking Condition’ (a label due to Boghossian 2014) on inference, for a response R in circumstances C to count as an instance of reasoning or inferring, it must be the case that the agent’s taking it that R is warranted or justified in C plays (the right sort of) explanatory role in her R-ing. The Taking Condition has come under much criticism in the theory of reasoning. While I believe that these criticisms can be answered, (...) my aim in this paper is to build a positive case for the Taking Condition. More specifically, I argue that views based on the Taking Condition do a much better job accounting for crucial features of reasoning—especially once we recognize the pervasiveness and significance of defeasibility in our reasoning. (shrink)

ABSTRACT: In its historical deployment, socialist thought has attracted the attention of numerous experts and thinkers. The results reached from the above mentioned efforts, are quite irregular in fact. These studies are very often linked the marxist tradition, that shifted its identity to label previous social reformers as "utopian socialists". Specifically, our academic Spanish tradition has traditionally been dependant -historically and intellectually- on other Continental currents of thought. We state, that the preeminence and fundamental influence on our Spanish culture (...) in the Iberian Peninsula, has traditionally had its origin here, between modernity and industrialism, in France. Consistently, contributions concerning authors like Saint-Simon, Fourier or Cabet do exist. However, it is necessary to say that there is a bibliographical and very significant emptiness around one of the most relevant figures of European history in the 19th Century. Such emptiness has to do with the absence of publications concerning Robert Owen and his meaning in Spanish. Key words: Christianity, Modernity, Industrialism, Utopian Socialism, Socialism, Rationality, History. (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 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)

This article claims that legal time has excluded and submerged an important sense of time inside structured time. Structured time has two forms. Each form of structured time identifies a beginning to a legal order (droit, Recht) as a whole. The one form has focussed upon a critical date. The critical date is exemplified by a basic text, such as the Constitution, or the judicially identified date of settlement, sovereignty or territorial control of a territory by the state. The second (...) form of structured time has begun with the judicial recognition of a value such as the rule of law, the protection of minorities, equal treatment, or due process of law. With the two forms of structured time, jurists have proceeded to identify a binding law. Such a law has been considered a rule, principle, doctrine or other intelligible standard. Once structured legal time has thus begun, events of legal relevance have been represented by jurists in a distinct phase or period of time. Each such a distinct period is parsed through reference to its named, or labelled, starting point and the latter, in turn and ultimately, with reference to the beginning of the very constitutional order as a whole. Legal justification and the conceptual structures of justification are presumed to follow suit. The article argues, however, that another sense of time, excluded and submerged inside structured time, is experienced. An experienced event, manifested as a discrete incident in experiential time, opens to a condition of the possibility of the existence of law. (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)

Many paradigmatic forms of animal rights and environmental activism have been classed as terrorism both in popular discourse and in law. This paper argues that the labelling of many violent forms of direct action carried out in the name of animal rights or environmentalism as ‘terrorism’ is incorrect. Furthermore, the claim is also made that even those acts which are correctly termed as terrorism are not necessarily wrongful acts. The result of this analysis is to call into question the terms (...) of public debate and the legitimacy of anti-terrorism laws targeting and punishing radical activism. (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 this paper, I present the possibility of some other analytic political philosophy, in contrast to what is usually given this label. I do so by rejecting what I call the dualism between craftsmanship and vision.

In this paper, we consider the role of conversations in contributing to healthcare quality improvement. More specifically, we suggest that conversations can be important in responding to what we call ’normative complexity’. As well as reflecting on the value of conversations, the aim is to introduce the dimension of normative complexity as something that requires theoretical and practical attention alongside the more recognised challenges of complex systems, which we label, for short, as ’explanatory complexity’. In brief, normative complexity relates (...) to the inherent difficulty of deciding what kinds of changes are ’improvements’ or, more broadly, what is valuable in healthcare. We suggest that explanatory and normative complexity intersect and that anyone interested in healthcare improvement needs to be sensitive to both. After briefly introducing the idea of normative complexity, we consider some contrasting examples of conversations, reflecting on how they do and might contribute to healthcare quality. We discuss both conversations that are deliberately organised and facilitated (’orchestrated conversations’) and more informally occurring and routine conversations. In the first half of the paper, we draw on some examples of orchestrated and routine conversations to open up these issues. In the second half of the paper, we bring some more theoretical lenses to bear on both conversations and normative complexity, summarise what we take to be the value of conversations and draw together some of the implications of our discussion. In summary, we argue that conversations can play a crucial role in negotiating the normative complexity of healthcare quality improvement because of their capacity to hold together a plurality of perspectives, to contribute and respond to emergence and to help underpin institutional conditions for empathy and imagination. (shrink)

Physics tells us that the world that we live in is “really” composed of vast numbers of tiny particles, defined and individuated by their mass, charge, velocity and position. That is all there is, the rest being empty space. In contrast the world that we interact with in our every day lives is composed of rooms with windows, people and cats, and plates filled with milk and cornflakes. It is a world of individual objects and stuffs, most of which can (...) be effortlessly identified and labelled as being of a particular kind. Like an illustration in a child’s reader, we could look around our environment and attach labels to all of the objects and kinds of things around us. (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)

The distinction of things in themselves and appearances is an integral part of Kant’s transcendental idealism, yet it has often been met with rather significant hostility. Moreover, what surely has not contributed to the popularity of this Kantian doctrine is that there are, or at least there appear to be, two distinct models, detectable in Kant’s texts, to account for this distinction. Most commonly, these two models are called the “two aspect view” on the one hand and the “two world (...) view” on the other, but it is possible that these labels themselves invite misunderstandings and obscure rather than clarify what Kant had in mind with his distinction. In this paper, I shall first briefly discuss how these two models could be described and labelled in a more suitable manner, namely as the “one composite entity view” and the “two separate objects view”. Subsequently, I will enquire which of the models is pertinent for Kant’s solution to the 3rd antinomy. I will try to show that although the two models appear to be incompatible, it is at least plausible to read Kant as using both of them in this crucial text of his oeuvre. Moreover, Kant’s strategy in solving the freedom problem on the basis of an indirectly realist account of the divine intellect provides the clue to understanding how these seemingly incompatible models can co-exist without forcing Kant into maintaining contradictory claims. (shrink)