In 1866 J.C. Maxwell thought he had discovered a Maxwellian demon—though not under that description, of course [1]. He thought that the temperature of a gas under gravity would vary inversely with the height of the column. From this he saw that it would then be possible to obtain energy for work from a cooling gas, a clear violation of Thompson’s statement of the second law of thermodynamics. This upsetting conclusion made him worry that “there remains as far as (...) I can see a collision between Dynamics and thermodynamics.” Later, he derived the Maxwell-Boltzmann distribution law that made the temperature the same throughout the column. However, he continued to think about the relationship between dynamics and thermodynamics, and in 1867, he sent Tait a note with a puzzle for him to ponder. The puzzle was his famous “neat-fingered being” who could make a hot system hotter and a cold system colder without any work being done. Thompson in 1874 christened this being a “demon”; Maxwell unsuccessfully tried to rename it “valve.” However named, the demon’s point was to “show that the second law of thermodynamics has only a statistical validity.” Since that time a large physics literature has arisen that asks a question similar to that asked in theology, namely, does the devil exist? Beginning with Popper, philosophers examining the literature on Maxwell’s demon are typically surprised—even horrified [2,3,4,5,6,7]. As a philosopher speaking at a physics conference exactly 100 yrs after Popper’s birth, I want to explain why this is so. The organizers of this conference instructed me to offend everyone, believers and non-believers in demons. Thus my talk, apart from an agnostic middle section, contains a section offending those who believe they have exorcized the demon and a section offending those who summon demons. Throughout the central idea will be to clearly distinguish the various second laws and the various demons.. (shrink)

Scrutiny (1932-1953) was one of the most important critical reviews of the last century. Its editors and contributors included F. R. Leavis, Q. D. Leavis, Denys Thompson, L. C. Knights, D. W. Harding, W. H. Mellers, H. A. Mason, among others. In recasting Scrutiny’s critique of mass culture by way of Alisdair MacIntyre’s After Virtue (1981), I hope to show that the Scrutiny project not only dramatizes the conflicts internal to what MacIntyre calls emotivist culture, but provides a new (...) way of looking at the group’s relation to the culture industry, its purported elitism, and its deep ties with a communitarian rather than socialist politics. (shrink)

Ordinary action explanation formulated as "I am doing A because I am doing B" is explanation of an action in terms of another action-in-progress. According to Michael Thompson, the explained action is a teleological part of the explaining complex action, which is composed of different parts. Thompson's analysis focuses on the part-whole relation between the explained action and the explaining action, thus ignores a possibility: these two actions can be two different parts of a complex action. I shall (...) argue that the interrelation between different parts of a complex action corresponds to a new kind of action explanation of the formulas: "I am doing A because I am doing B" and "I am doing B because I have done A", where A and B are two different parts of a complex action. This kind of action explanation is associated with the temporal schema of an action-type, for example, X: First, do A; second, do B; then, C; finally, D. This is an attempt to probe into the inner structure of complex action. (shrink)

The potential of memory modification techniques (MMTs) has raised concerns and sparked a debate in neuroethics, particularly in the context of identity and authenticity. This paper addresses the question whether and how MMTs influence authenticity. I proceed by drawing two distinctions within the received views on authenticity. From this, I conclude that an analysis of MMTs based on a dual-basis, process view of authenticity is warranted, which implies that the influence of MMTs on authenticity crucially depends on the specifics of (...) how memory modification would eventually work. Therefore, I continue with a systematic analysis of possible properties of MMTs in which I distinguish between the dimensions of memories and the kinds of experiences that can be modified as well as the properties of the process of memory modification. The impact of MMTs on authenticity is analyzed regarding the possible properties of MMTs and based on a narrative approach to authenticity which fulfills the requirements of a dual-basis, process view of authenticity. Lastly, I explore the potential of MMTs to shift the balance between self-discovery and self-creation within authenticity and thereby alter the concept itself as well as the value of authenticity. (shrink)

The profound changes in personality, mood, and other features of the self that neural interventions can induce can be disconcerting to patients, their families, and caregivers. In the neuroethical debate, these concerns are often addressed in the context of possible threats to the narrative self. In this paper, I argue that it is necessary to consider a dimension of impacts on the narrative self which has so far been neglected: neural interventions can lead to a loss of meaning of actions, (...) feelings, beliefs, and other intentional elements of our self-narratives. To uphold the coherence of the self-narrative, the changes induced by neural interventions need to be accounted for through explanations in intentional or biochemical terms. However, only an explanation including intentional states delivers the content to directly ascribe personal meaning, i.e., subjective value to events. Neural interventions can deprive events of meaning because they may favor a predominantly biochemical account. A loss of meaning is not inherently negative but it can be problematic, particularly if events are affected one was not prepared or willing to have stripped of meaning. The paper further examines what it is about neural interventions that impacts meaning by analyzing different methods. To which degree the pull towards a biochemical view occurs depends on the characteristics of the neural intervention. By comparing Deep Brain Stimulation, Prozac, Ritalin, psychedelics, and psychotherapy, the paper identifies some main factors: the rate of change, the transparency of the causal chain, the involvement of the patient, and the presence of an acute phenomenological experience. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

Authenticity has been recognized as a central concept in the ethics of human enhancement. In the last decade, a plethora of novel distinctions, specifications, and definitions of authenticity have been added to the debate. This chapter takes a step back and maps the different accounts of authenticity to provide a nuanced taxonomy of authenticity and reveal the emerging underlying structures of this concept. I identify three kinds of conditions for authentic creation and change of the true self (coherence, endorsement, and (...) relations) as well as ways how the true self should be expressed (in one’s self-conception, self-presentation, and one’s body, emotions, and actions). Based on this analysis, I discuss the hopes and concerns human enhancement raises for authenticity. Enhancement technologies do not threaten or foster authenticity across the board but affect different dimensions of authenticity individually. Finally, I turn to the value of authenticity and argue that the debate on authenticity in the ethics of human enhancement would profit from a more extended discussion on the comparative value of the individual dimensions of authenticity. (shrink)

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

Attempts to elucidate grounding are often made by connecting grounding to metaphysical explanation, but the notion of metaphysical explanation is itself opaque, and has received little attention in the literature. We can appeal to theories of explanation in the philosophy of science to give us a characterization of metaphysical explanation, but this reveals a tension between three theses: that grounding relations are objective and mind-independent; that there are pragmatic elements to metaphysical explanation; and that grounding and metaphysical explanation share a (...) close connection. Holding fixed the mind-independence of grounding, I show that neither horn of the resultant dilemma can be blunted. Consequently, we should reject the assumption that grounding relations are mind-independent. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

At first glance, it looks like Aristotle can’t make up his mind about the ethical or moral status of non-human animals in his ethical treatises. Somewhat infamously, the Nicomachean Ethics claims that “there is neither friendship nor justice towards soulless things, nor is there towards an ox or a horse” (EN 8.11.1161b1–2). Since Aristotle thinks that friendship and justice are co-extensive (EN 8.9.1159b25–32), scholars have often read this passage to entail that humans have no ethical obligations to non-human animals. By (...) contrast, although the Eudemian Ethics denies that non-human animals can participate in “primary” friendships, EE 7.2 claims that “the other kinds of friendship are also found among animals; and it is evident that utility is present to some extent among them both in relation to humankind, in the case of tame animals, and in relation to each other” (EE 7.2.1236b3–11). Does the Nicomachean account of non-human animals contradict that of the Eudemian Ethics? Ultimately, I believe the Nicomachean account is consistent with the Eudemian account. Nonetheless, I argue that Aristotle’s treatment of non-human animals differs significantly in the two texts. My chapter explores this difference in greater detail and considers the ramifications of such a difference for our understanding of Aristotle’s place in the philosophical tradition concerning the ethical status of non-human animals. (shrink)

El objetivo de este artículo es realizar una historización del sistema sanitario de Neuquén, concretamente atendiendo a los programas de salud aplicados en esta provincia desde su surgimiento hasta el año 2020. En este marco, en primer lugar, me enfocaré en los lineamientos políticos que definieron las bases ideológicas de las políticas públicas llevadas a cabo en la atención sanitaria neuquina, y, en segundo lugar, examinaré las variables estadísticas publicadas por el sistema de salud provincial referidas a las condiciones materiales (...) de atención médica de la población en general, y de las mujeres indígenas mapuce en particular. Para efectuar dicho abordaje, analizaré específicamente la localidad de Las Coloradas. -/- . (shrink)

Divine names, i.e. the names religions use to speak of their god(s), pose a special problem to semantics. It is not only disputed whether they are proper names, descriptions, or names of kinds, the dispute between believers and non-believers over the ontological status of their bearers is a further obstacle to offering a single theory that can account for all divine names. But aboutness theory can come to the rescue here. Whatever terms divine names are, they pick out a subject (...) matter, and whereas ontology is relevant to reference, subject matters need no corresponding object in the world. Believers and non-believers can therefore agree on the name bearers’ status as topics of their conversation. (shrink)

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and its rival (...) thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)

Citizen Satisfaction Index System (CSIS) was used to assess the delivery of support to education initiatives in the municipality of Banga, Aklan, Philippines. The samples were determined using multiple application of stratified random sampling approach. In accordance with the Philippine Statistical Authority's Data on Census Population and Housing for 2015, barangays having a bigger share of the population contributed more respondents to the 150 targeted participants. Following the inclusion criteria, the probability respondents were chosen using the Kish Grid. Pre-numbered questionnaires (...) were distributed, with odd numbers targeting male responders and even numbers targeting females. The following criteria were used to evaluate the respondents' assessments: awareness, availment of the program/service, satisfaction, and need for action. Furthermore, interviews were conducted to better understand and investigate the respondents' thoughts, behavior, and perspectives. The reasons for their reaction were also obtained. The data was provided in percentage as well as frequency distributions. The study inferred that awareness on alternative learning system and/or special education program should be improved since it is the only program that attained low rating for awareness. Most of the residents were not able to avail education programs because they have no household member who attends school. Majority of the respondents who availed the services were satisfied. However, scholarship and other assistance programs to students may be enhanced to improve service delivery. It is highly recommended by the citizens to improve accessibility to scholarship programs and other forms of financial assistance to students. (shrink)

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

This paper explores a middle way between realism and eliminativism about grounding. Grounding-talk is intelligible and useful, but it fails to pick out grounding relations that exist or obtain in reality. Instead, grounding-talk allows us to convey facts about what metaphysically explains what, and about the worldly dependence relations that give rise to those explanations.

The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural properties. This paper argues that being a perfectly (...) natural property is not a very natural property, and examines the consequences. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

In discussing whether legal systems are necessarily coercive, legal philosophers usually appeal to thought experiments involving angels or other morally driven beings who need no coercion to organise their social lives. Such appeals have invited criticism. Critics have not only challenged the relevance of such thought experiments to our understanding of legal systems; they have also argued that, contrary to the intuitions of most legal philosophers, the ‘man on the Clapham Omnibus’ would not hold that there is law in a (...) society of angels because the view that law is necessarily coercive ‘enjoys widespread support among laypersons’. This is obviously an empirical claim. Critics, however, never systematically polled the ‘man on the Clapham Omnibus’. We boarded that bus. This article discusses findings from five empirical studies on the relationship between law and coercion. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for measurement. (...) Following Aristotle, a single fundamental cause is proposed to explore the efficacy of using pure non-mathematical philosophy to explain the universe, contrary to current quantum physical views. The cause is taken as Time, which is then defined, surprisingly leading automatically to a definition of a three-dimensional space answering the question into what can a universe be placed (space before space seems non-sensical). This enables the philosophical arguments to derive a universal rule giving clear-cut descriptions (definitions) of force (both gravitational and electromagnetic), motion, energy, and particles. The formation of atomic nuclei and atomic properties together with an unexpected role for neutrinos follow. In particular, a Popper-test can be prepared by introducing the concept of measurement to allow the philosophy arguments to be tested in another discipline - mathematics. The solution agrees with human physical observations to a remarkable degree of accuracy, automatically explaining and predicting values for Planck’s and the fine-structure constants. Although mathematical, it is included as confirming the efficacy of philosophy in attaining a final theory. (shrink)

Pierre-Henri Castel provides a short but richly argued precis of his recently published two-volume 1,000-page masterwork on the history of obsessive-compulsive disorder. Having not read the as-yet-untranslated books, I write this commentary from Plato’s cave, trying to infer the reality of Castel’s analysis from expository shadows. I am unlikely to be more successful than Plato’s poor troglodytes, so I apologize ahead of time for any misunderstandings. Moreover, I cannot assess Castel’s detailed evidential case for his substantive theses.1 I thus focus (...) on some key philosophical issues that impinge on an area of my concern, the concept of mental disorder. Castel is a rare breed of French.. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Peirce and Dewey were generally more concerned with the process of scientific activity than purely mathematical work. However, their accounts of knowledge production afford some insights into the epistemology of mathematical postulates, especially definition and axioms. Their rejection of rationalist metaphysics and their emphasis on continuity in inquiry provides the pretext for the pragmatic a priori – hypothetical and operational assumptions whose justification relies on their fruitfulness in the long run. This paper focuses on the application of this idea to (...) the epistemology of definitions and an account of progress in mathematics, although it has broader implications for the study of conceptual change and the function and basis of presuppositions in the sciences. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Global climate change is one of the most widely discussed problems of our time. However, many libertarian thinkers have not participated in the ethical dimensions of this discussion due to a narrow focus on the scientific basis for concern about climate change. In this paper, I reject this approach and explore the kind of response libertarians should be offering instead. I frame the climate change problem as one which concerns potential rights-infringements and explore different ways in which climate change might (...) be thought to infringe upon rights. I conclude that there are some ways in which climate change might be expected to result in rights-infringements, but that some of the current concern about climate change cannot be reconciled with a rights-oriented paradigm. I close by outlining future directions for research, emphasizing that much remains to be done in order to formulate a complete libertarian perspective on climate change. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Although the word 'sustainability' is used broadly, scientific approaches to sustainability fall into one of two competing paradigms. Following the influential Brundtland report of 1987. some theorists identify sustainability with some form of resource availability, and develop indicators for sustainability that stress capital depletion. This approach has spawned debates about the intersubstitutivity of capitals, with many environmental theorists arguing that at some point, depletion of natural capital cannot be offset by increases in human or social capital. The alternative approach is (...) grounded in stock and flow systems systems modeling, and defines sustainability through indicators that determine whether the system structure is robust (e.g. resists perturbation), resilient (recovers after disruption) and adaptive (capable of change in response to external conditions). Both paradigms have applications in economics and ecology. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Dialogamos con Cintia Rodríguez Garat, quien obtuvo el Primer Premio Bioética 2023 de la Fundación Jaime Roca por su trabajo “Resiliencia y salud pública de las mujeres mapuce ante el cambio climático. Un análisis desde una perspectiva intercultural, participativa y de derechos humanos”.

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

I offer a diagnosis of the parallelism between the Doctrine of Potential Parts and the Doctrine of Potential Wholes and briefly examine its bearing on Johansson’s account of the Tibbles-Tib Problem.

In lieu of an abstract, here is a brief excerpt of the content:BENEDICT, THOMAS, OR AUGUSTINE? THE CHARACTER OF MACINTYRE'S NARRATIVE CHRISTOPHER J. THOMPSON University of St. Thomas St. Paul, Minnesota Introduction I N HIS Three Rival Versions of Moral Enquiry1 Alasdair Macintyre continues (with certain modifications) in a similar trajectory established in two earlier works, After Virtue and Whose Justice? Which Rationality? Against postEnlightenment portraits of moral reasoning, he consistently defends a conception of practical rationality which entails the (...) recognition of tradition, authority, and narrative as constitutive components of any rationally determined moral enquiry. Despite the consistent appeal to tradition, there is a significant development within Macintyre's reflections regarding the pre-eminent resources we are to draw upon. At the end of After Virtue we are asked to await a "doubtless very different" St. Benedict. In Whose Justice? Which Rationality? the Thomistic tradition emerges as the superior form of moral enquiry. While Thomism maintains a pre-eminence in Three Rival Versions of Moral Enquiry, I suggest that there is an increasingly Augustinian element emerging within his analysis and that this dimension underlies Macintyre's efforts in ways not previously specified. There is a warrant, then, for seeing within Augustine's efforts the paradigmatic "narrative form of moral enquiry." 1Alasdair Macintyre, Three Rival Versions of Moral Enquiry (Notre Dame: University of Notre Dame Press, 1990). Hereafter RV. 379 380 CHRISTOPHER J. THOMPSON That Augustine figures in Macintyre's reception of the Thomistic tradition is not necessarily striking, for part of what fuels Macintyre's increasing enthusiasm for St. Thomas is precisely the latter's capacity to draw upon the best of the Augustinian tradition of enquiry. Beyond what Macintyre himself has overtly recognized as Augustine's contribution to the thought of St. Thomas, however, I suggest that elements of Augustine's thought directly influence much of Macintyre 's own attempts at restoring a kind of tradition-guided enquiry. This Augustinian strain, moreover, not only serves to highlight features of Macintyre's analysis of Thomism, but also brings to light certain theological presuppositions essential to the kind of moral enquiry Macintyre hopes to retrieve. The character of Macintyre's narrative, then, leads us to St. Augustine. In After Virtue it is largely the Aristotelian tradition of enquiry which he defends against rival post-Enlightenment theories of morality. He argues that the analytic, linguistic, and phenomenological tools brought to bear upon the task of formulating a coherent conception of the moral life and moral enquiry have failed miserably, principally for two reasons. The first is that such contemporary efforts have neglected to realize that moral enquiry is embedded in a broader context of social practices, practices which are inevitably historically conditioned; thus a failure to recognize the historically situated character of moral enquiry distorts that account. The second reason is related to the first in that failure to acknowledge the historical character of such enquiry has resulted in a failure to recognize that much of our contemporary terms and tools of moral analysis are remnants from previous contexts of enquiry which are no longer mutually agreed upon nor recognized as relevant.' What has been lost, among other things, is the teleological metaphysics which serves as the context for nearly two millennia in the West. Uproot the stock of ethical norms from this tradition 2 For this notion of "moral remnants" surviving beyond the historical contexts in which they emerge, see Alasdair Macintyre, "Ought," Chapter 15 in Against the Self Images ofthe Age (New York: Schocken Books, 1971), 136-156, though in a different context and with very different effect. THE CHARACTER OF MACINTYRE 'S NARRATIVE 381 of enquiry and what remains is simply an amalgam of unrelated moral demands-some divinely sanctioned, some rooted in the passions, some the outburst of emotive whimsy-yet all lacking any coherent exposition.' The only hope is to retrieve something of the Aristotelian tradition of moral enquiry in which the notion of the virtues and the virtuous human person entails a conception of the moral life as bearing a narrative unity, a teleologically ordered whole in which one's actions bear an intrinsic unity and significance to the extent they complement one's telos. The narrative unity ascribed to the living of the good life is... (shrink)

On the opposition between de re and de dicto conceptions of vagueness, with special reference to their bearing on the tasks of ontology.

In this paper, we defend Socratic studies as a research programme against several recent attacks, including at least one recently published in Polis . Critics have argued that the study of Socrates, based upon evidence mostly or entirely derived from some set of Plato's dialogues, is founded upon faulty and indefensible historical or hermeneutical technique. We begin by identifying what we believe are the foundational principles of Socratic studies, as the field has been pursued in recent years, and we then (...) show how the research programme that derives from accepting these principles is not defeated by any of the most common recent criticisms of it. Specifically, we argue that challenges to sorting Plato's dialogues by date, more general challenges to historicist interpretations of Plato's dialogues, as well as recent literary criticisms of Socratic studies all fail to undermine the research programme. We conclude with some thoughts about how and why Socratic studies has proved itself a valuable and fruitful research programme. (shrink)

Any ethical inquiry into addiction research is faced with the preliminary challenge that the term “addiction” is itself a matter of scientific and ethical controversy. Accordingly, the chapter begins with a brief history of the term “addiction.” The chapter then turns to ethical issues surrounding consent and decision-making capacity viewed from the perspective of the current opioid epidemic. One concern is the neglect of the cyclical nature of addiction and the implications of this for the validity of current psychometric instruments (...) used to evaluate decision-making capacity in addiction. Another is the apparent discrepancy—possibly an ethical double standard—in the manner in which society and addiction researchers view the mental capacity and vulnerability of individuals who suffer from severe addiction. On the whole, the main ethical concern of the chapter is the puzzling lack of clinical research on decision-making capacity in research on addiction. (shrink)

An imaginary report of Square’s plans for a journey aimed to find out whether the topology of Flatland is sphere-like or torus-like, intended as a trubute to Hans Herzberger’s uncompromising philosophical style, courage, and passion.