This is a presentation on Charles Sanders Peirce's pragmatic philosophy, and the ay that it functions in his conception of epistemology.

Some bioethicists argue that conscientious objectors in health care should have to justify themselves, just as objectors in the military do. They should have to provide reasons that explain why they should be exempt from offering the services that they find offensive. There are two versions of this view in the literature, each giving different standards of justification. We show these views are each either too permissive (i.e. would result in problematic exemptions based on conscience) or too restrictive (i.e. would (...) produce problematic denials of exemption). We then develop a middle ground position that we believe better combines respect for the conscience of healthcare professionals with concern for the duties that they owe to patients. Our claim, in short, is that insofar as objectors should have to justify themselves, they should have to do it according to the standard that we defend rather than according to the standards that others have developed. (shrink)

Integral human development is a human-centered development perspective that originated from Catholic social teaching. The perspective holds that authentic development is development that makes every person “more human.” Although it is seldom named in the literature, integral human development has had considerable influence on notions of authentic development, and in turn, development ethics. In this short chapter, I provide a brief explanation of the origins and implications of the conceptual foundations of integral human development both within and beyond the Catholic (...) Church. I argue that integral human development offers a truly radical participatory approach to human development. I briefly raise and respond to some concerns about agency, civic liberty, and integral human development’s connection to the Catholic Church. I conclude with a short explanation of integral human development in practice. (shrink)

In this paper, i provide an introduction to development ethics and make some observations about integral human development. i argue that although there is very little dialogue between these two traditions, they have a lot of common ground, and can helpfully inform one another. International development ethics is a largely secular field concerned with ethical reflection on the ends and means of development. i discuss four levels of ethical reflection: meta-ethical, normative, practical, or applied, and personal or integral. The first (...) three of these levels are well established in philosophical ethics. i introduce the fourth with the hope of encouraging more discussion of how individuals engaged in the theory and practice of development ethics ought to navigate the various spheres of their own lives. This last stage of ethical reflection and action can benefit greatly from work done in integral human development. Integral human development is integral in at least two ways: development is not simply economic development, but development the whole person, including social, political, creative, spiritual, etc., and development is the development of every person, whether the person is a marginalize peasant or a powerful élite. i explain why this second way of integration is both less discussed and more radical than the first. Resumen En este artículo, ofrezco una introducción a la ética del desarrollo y hago algunas observaciones sobre el desarrollo humano integral. Sostengo que, aunque hay muy poco diálogo entre estas dos tradiciones, tienen mucho terreno común y pueden ayudarse mutuamente. La ética del desarrollo internacional es un campo ampliamente secular que se ocupa de la reflexión ética sobre los fines y los medios de desarrollo. Discuto cuatro niveles de reflexión ética: meta-ético, normativo, práctico, o aplicado, y personal o integral. Los tres primeros de estos niveles están bien establecidos en la ética filosófica. Presento el cuarto con la esperanza de fomentar una mayor discusión sobre cómo los individuos involucrados en la teoría y la práctica de la ética del desarrollo deben navegar por las diversas esferas de sus propias vidas. Esta última etapa de reflexión y acción ética puede beneficiarse enormemente del trabajo realizado en el desarrollo humano integral. El desarrollo humano integral es integral en al menos dos maneras: el desarrollo no es simplemente desarrollo económico, sino el desarrollo de toda la persona, incluyendo social político, creativo, espiritual etc., y el desarrollo es el desarrollo de cada persona, sea la persona un campesino marginado o una de la ponderosa elite. Explico por qué esta segunda forma de integración es menos discutida y más radical que la primera. (shrink)

This article argues the following points. The Hobbesian hypothesis, which we define as the claim that all people are better off under state authority than they would be outside of it, is an empirical claim about all stateless societies. It is an essential premise in most contractarian justifications of government sovereignty. Many small-scale societies are stateless. Anthropological evidence from them provides sufficient reason to doubt the truth of the hypothesis, if not to reject it entirely. Therefore, contractarian theory has not (...) done what it claims to do: it has not justified state sovereignty to each person subject to it by demonstrating that they benefit from that authority. To be justified in contractarian terms, states have to do something to improve the living standards of disadvantaged people under their rule. (shrink)

Capability approach pioneers Amartya Sen and Martha Nussbaum both recognize empowerment as an important aspect of human development. They seem to disagree, however, about how empowerment should be represented within the capability approach (CA). This essay is concerned with the analysis of the foundational concepts at work within Sen and Nussbaum’s CAs. Part One concerns the key concepts of empowerment at work in Sen’s CA and has three goals. 1) Clarify Sen’s various empowerment concepts. 2) Argue that Sen’s concept of (...) Realize Agency Success is flawed. 3) Make clear that empowerment in Sen’s approach can be helpfully understood in terms of agency and capability set expansion. Part Two considers Nussbaum’s CA and the debate over whether it can account for empowerment. I conclude that not only can Nussbaum’s CA account for empowerment, but that the role of empowerment in both Sen’s and Nussbaum’s CAs can be understood in terms of agency and capability set expansion. In other words, Sen and Nussbaum actually agree about empowerment at the foundational level. (shrink)

Agro-ecological innovations aim at promoting sustainable agricultural practices that have long term benefits. However, farmers rarely adopt beneficial innovations in agro-ecology despite expressing an understanding of the benefits and a desire to do so. It has been argued that the farmers lack sufficient knowledge to implement complex innovations. We believe that in many cases such knowledge is necessary, but is ultimately insufficient for complex innovation adoption. We argue that in addition to knowledge and a desire to adopt an innovation, many (...) farmers require a collaborative relation with an ally. We call this method the Alliance Approach to innovation. This approach is modeled after the therapeutic Alliance Approach at work in cognitive and behavioral sciences. We argue that using the Alliance Approach will not only prove effective in helping farmers adopt complex agro-ecology innovations, but also a better fit for the human centered development of capability approach human development, as it is likely to enhance both the well-being and agency of the farmers. (shrink)

International development theorists and practitioners agree that human empowerment is a necessary part of good development. This agreement is encouraging because attention and resources are being directed towards the important goal of empowering the oppressed. It is problematic because the agreement is relatively superficial and masks some deep and important disagreements about the goals and means of development theory, policy, and practice. Chapters One and Two compare the dominant economic growth approach to development with the capability approach, a relatively new (...) alternative. I determine that the capability approach offers a more complete and therefore, superior concept of empowerment. Chapter Three considers Thomas Pogge’s argument for the conclusion that the praise and attention the capability approach receives cannot be justified. I explain that Pogge’s argument is based on a misunderstanding of crucial aspects of the capability approach, including the important role of empowerment. Chapters Four and Five provide detailed consideration of the role of empowerment within both Amartya Sen’s and Martha Nussbaum’s versions of the capability approach. I conclude that although neither scholar consistently uses the term empowerment, the concept of empowerment – both as agency and as capability-set expansion – plays a robust role on both versions of the approach. Moreover, I make the controversial suggestion that many of the differences between Sen and Nussbaum are more a matter of style than substance. Chapter Six considers the concern that Sen does not do enough to engage the role of institutionalized power in generating inequalities that prevent individuals from being empowered. I conclude that despite valuable contributions, Sen fails to provide a complete account of empowerment issues. However, this is not a fatal flaw. Considering both Sen’s contributions, and the fact that the approach is well suited to accommodate a more complete understanding of institutionalized power and of empowerment for development (for example, Naila Kabeer’s Social Relations Approach), it is clear that Sen and the capability approach have offered valuable steps towards a complete concept of empowerment. (shrink)

This special issue marks the culmination of Hypatia's twenty-fifth anniversary year. We kicked off the celebration of Hypatia's quarter century as an autonomous journal with a conference, "Feminist Legacies/Feminist Futures," which drew close to 150 attendees—a capacity crowd, and more than twice what we'd expected in the planning stages! The conference provided an opportunity to reflect on how Hypatia came to be and how it has shaped feminist philosophy.

This paper examines the attribution to Eckhart of the unpublished collationes contained in the MS Bernkastel-Kues, Bibliothek des St. Nikolaus-Hospitals 21. Eckhart’s authorship was excluded by Koch, but is plausible from the point of view of the history of the manuscript tradition. The paper announces the discovery of a series of similar collationes in a Lüneburg manuscript of Franciscan origin and highlights, through the edition of the texts relating to Advent, some parallels between both works, probably depending on the use (...) of a common source. (shrink)

Drawing inspiration om Joseph T. O’Connell’s work on socio‐cultural integration, this pa‐ per connects the notion of ‘deep equality’ with two broad lessons that can be taken om O’Connell’s approach that pertain to the study of religious diversity in contemporary life. The rst is the recognition of the amorphous nature of religious identity, and the second is the necessity to search for models of socio‐cultural integration in the face of di erence. These lessons are valuable in providing an alternative discourse (...) of diversity that moves away om problematisation to collaboration. Słowa kluczowe: ; ; ; ; ; ; ;;;. (shrink)

Three recent research reports by Topping and Trickey, by Fair and colleagues, and by Gorard, Siddiqui and Huat See have produced data that support the conclusion that a Philosophy for Children program of one-hour-per-week structured discussions has a marked positive impact on students. This article presents data from a follow up study done three years after the completion of the study reported in Fair et al.. The data show that the positive gains in scores on the Cognitive Abilities Test were (...) still present and had not faded after three years. Given the strength of these confirmations of the positive durable impact of the P4C program of structured discussions and given the relatively low cost of implementing the P4C program, it is recommended that it become a standard part of the school curriculum. (shrink)

Some of the central questions that have been explored by Latin American and Latinx philosophers are questions of metaphilosophy. "Metaphilosophy" refers to philosophical reflections on the nature of philosophy itself. For example, we might ask: What is the purpose of doing philosophy? How does philosophy compare and contrast with other disciplines, such as science, theology, or literature? And what is the best way of categorizing the different kinds and traditions of philosophy? These are philosophical questions about philosophy as an activity (...) and as a discipline. In this chapter, we discuss some ways that Latin American and Latinx philosophers have addressed these and other metaphilosophical issues. Our focus will be on the following questions: What are the defining characteristics of Latin American philosophy and Latinx philosophy? Do they constitute distinctive traditions of philosophy, and if so, what is especially valuable about these traditions? (shrink)

It has been said that all philosophy begins with a set of concerns and a set of intuitions. With this idea in mind, we ask: Would it be helpful to understand Mexican-American philosophy as a kind of philosophy that begins with the concerns and intuitions of the Mexican-American community? On this view, what distinguishes Mexican-American philosophy is the orientation from which the philosophical investigation proceeds. Such an orientation is shaped by the experiences and relationships that are characteristic of those who (...) identify as Mexican-American. We offer a list of concerns and intuitions that we suggest are widely held by the Mexican-American community. Focusing on questions surrounding linguistic assimilation in the U.S., we illustrate how beginning from these particular starting points might alter the way we think about philosophical issues. (shrink)

Storrs McCall continues the tradition of Lucas and Penrose in an attempt to refute mechanism by appealing to Gödel’s incompleteness theorem. That is, McCall argues that Gödel’s theorem “reveals a sharp dividing line between human and machine thinking”. According to McCall, “[h]uman beings are familiar with the distinction between truth and theoremhood, but Turing machines cannot look beyond their own output”. However, although McCall’s argumentation is slightly more sophisticated than the earlier Gödelian anti-mechanist arguments, in the (...) end it fails badly, as it is at odds with the logical facts. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...) العلم الكندي المعاصر «ستورس مكال»، وأوجه الاختلاف بينه وبين النماذج التفسيرية المماثلة القائمة على فكرة متصل الزمان – مكان، ويُركز على ما يقترحه النموذج من حلٍ لواحدةٍ من أصعب مشكلات العلم والمنطق والفلسفة، ألا وهى مشكلة تحديد شروط الصدق للقضايا المنطقية الشرطية المناقضة للواقع؛ أعني تلك التي لا تُعبر عن حوادث وقعت بالفعل، بل كان من المفترض أن تقع، وبالتالي يصعب تحديد قيمة صدق (صادقة أو كاذبة) لها. هذا النوع من القضايا يرتبط ارتباطًا وثيقًا بتصور القانون العلمي، وتحفل به المقاربات التاريخية والخطط المستقبلية للأفراد والحكومات، لذا تعددت محاولات معالجته من قبل الفلاسفة، وهو ما تجلى مثلاً في النظرية الاستدلالية للقضايا الشرطية التي اقترحها «نيلسون جودمان», ونظرية العقول واعتقاداتها للفيلسوف الإنجليزي «فرانك رامزي», ونظرية العوالم الممكنة للفيلسوفين الأمريكيين المعاصـرين «روبرت ستالنيكر»، و«ديفيد لويس»، وأخيرًا نظرية النموذج الشجري لـ «ستورس مكال». وينتهي المقال إلى نتيجة مؤداها نجاح النموذج في معالجة المشكلة، وإن كان ذلك مرهونًا بالتأكيد على موضوعية قيم الصدق والاحتمال التي تحوزها القضايا الشرطية في مقابل الذات المُدركة، تلك التي تنتقل عبر غُرف انتظار متعددة تقترب رويدًا رويدًا من الحقيقة. . (shrink)

Effective altruists (EAs) seek to persuade the globally wealthy to donate a proportion of their income to do good, and specifically to donate it to those charit.

McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

The seventeenth century Muslim philosopher Muhammad Sadr al-Din Shirazi, known as Mulla Sadra, introduced the idea of substantial motion in Islamic philosophy. This view is characterized by a continuity criterion for diachronic identity, a four-dimensional view of individual substances, the notion that possibilities change, and the continual creation of all creatures. Modern philosophical logic provides means to model a variety of claims about individuals, substances, modality and time. In this paper, the semantics of formal systems discussed by Carnap, Bressan and (...) Gupta are reviewed with regard to the issue of substance and identity. Next a model introduced by Storrs McCall is described that is able to build upon and yet resolve some of the issues about substance and identity as characterized by Bressan and others. McCall’s model is also shown to be able to provide an illustration of Mulla Sadra’s doctrine of substantial motion. (shrink)

Commentary to Leslie McCall's 2005 paper "The complexity of intersectionality", with a review of her main points and some critical remarks.

Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a (...) model with at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

In Entangled Empathy, Lori Gruen offers an alternative ethic for our relationships with animals. In this article, I examine Gruen's account of entangled empathy by first focusing on entangled empathy's relation to the moral emotions of sympathy, compassion, and other emotions. I then challenge Gruen's account of how entangled empathy moves us to attend to others. Lastly, and without intending to place humans at the center of the conversation, I reflect on the ways entangled empathy can help us solve (...) some human problems—particularly the racial divide in the United States. (shrink)

Reprinted in Philosophical and Theological Essays on the Trinity, Oxford, 2009, eds Michael Rea and Thomas McCall. In this essay, I assess a certain version of ’social Trinitarianism’ put forward by J. P. Moreland and William Lane Craig, ’trinity monotheism’. I first show how their response to a familiar anti-Trinitarian argument arguably implies polytheism. I then show how they invoke three tenets central to their trinity monotheism in order to avoid that implication. After displaying these tenets more fully, I (...) argue that Trinitarians would do well to hold Moreland’s and Craig’s trinity monotheism at arms length. (shrink)

In a recent paper in this journal, McCall and Lowe (2003) argue that an understanding of Special Relativity reveals that the A theorist’s notion of temporal passage is consistent with the B theory of time. They arrive at this conclusion by considering the twins’ paradox, where one of two twins (T) travels to Alpha Centauri and back and upon her return has aged 30 years, while her earth-bound twin (S) has aged 40 years. This paper argues that their account (...) of temporal passage fails to reconcile the A theoretic notion of temporal passage with the B theory of time since the B theorist is at liberty to adopt this as an account of temporal passage as understood by the B theorist. (shrink)

This study set out to look into the relationship between metacognitive reading strategies and reading comprehension of Grade 11 Technical-Vocational-Livelihood modular distance learners of Pasay City East. A correlational research design was employed. The Metacognitive reading strategies served as the dependent variable while reading comprehension served as an independent variable. Random sampling was used to select the 116 respondents and MARSI R and McCall Crabbs Reading Proficiech test were the instruments. The findings of this study show a weak relationship (...) between metacognitive awareness of reading strategies and reading comprehension and the unachieved grade level which failed to reject the hypothesis that there was no significant relationship of metacognitive reading strategies and reading comprehension for Global and Problem-Solving reading strategies. It recommended that future researchers should employ other reading comprehension proficiency tests to validate the result of the existing study and include intervention through the utilization of metacognitive reading strategies as the appropriate strategy to address reading comprehension. (shrink)

This 4000 word entry to Routledge’s Handbook of Development Ethics (Jay Drydyk & Lori Keleher, eds., 2018) considers development within United States of America and Canada. Indigenous peoples and their nations are also featured. Canada and USA are both characterized by the UN Development Program as maintaining very high human development. Addressable weaknesses are nevertheless evident when performance is compared, for example, with OECD member nations. This entry focuses upon such comparison, noting characteristic political institutions and attendant social inequality (...) in the areas of social welfare, education and health. The histories of both nations over the past half-century suggest that cultural shifts within USA have displaced the ethos of social responsibility that the country had previously shared with Canada, replacing it with an ideal of self-reliance. The turn may be a factor in the USA’s increasing inequality and general weakness in social welfare programs since the 1980s. Events since 2016 especially also display a turn towards another ideal of self-reliance: isolationism. USA’s reduction in global commitments – to open trade, to limits on environmental impact, and especially, to immigration – contrast greatly with Canada’s evolving commitment to a global society and to a cultural ideal of multiple non-assimilated cultures within its borders, including cultures of new immigrant populations. Canada is by many measures a more equal society, but it shares with USA continued failings in development for aboriginal groups and vulnerability for that group and others. (shrink)

A fundamental problem in understanding the nature of time is explaining its directionality. This 1990 PhD thesis re-examines the concepts of time flow, the physical directionality of time, and the semantics of tensed language. Several novel results are argued for that contradict the orthodox anti-realist views still dominant in the subject. Specifically, the concept of "metaphysical time flow" is supported as a valid scientific concept, and argued to be intrinsic to the directionality of objective probabilities in quantum mechanics; the common (...) claims that quantum probability theory is time reversible is shown to be based on an analytic error, stemming from a false choice for the criterion for reversibility of probabilistic theories (recognized by Satosi Watanabe in the 1950s but ignored in all philosophical discussions); and a consistent semantics for tensed language (adapted from the tree model of Storrs McCall) is constructed, showing that the common rejection of "time flow" as having no meaningful semantics is false. These debates are still ongoing in almost exactly the same state they were pre-1990, and there is appears to be no visible progress in the subject. Critical points made against errors in the orthodox account (which has been sustained for 70 years by the anti-realist philosophy of time, typified by the "Pittsburg School" of Grunbaum-Earman-Norton-Roberts), are still not recognized in the philosophy of time or physics. Some key technical proofs in this thesis have been published in physics proper. See p.ii-iii for full original abstract. (This pdf is uploaded from the Massey University archive.). (shrink)

Nicole Hassoun’s sufficientarian theory is based on a particular conception of caring, which she calls ‘care, simpliciter’. However, ‘care, simpliciter’ is not described in any detail. This essay tries to offer a critical revision of Hassoun’s concept of care in a way that would put the MGL theory on its strongest footing. To that end, I will contrast her view with a taxonomy of care that supplements the accounts of care provided by Stephen Darwall and Lori Gruen. I then (...) put forward a form of empathy that is best suited to the MGL theory, which fits the description of ‘care, simpliciter’. **Unpublished manuscript: feel free to cite.**. (shrink)

The laws of classical logic are taken to be logical truths, which in turn are taken to hold objectively. However, we might question our faith in these truths: why are they true? One general approach, proposed by Putnam [8] and more recently Dickson [3] or Maddy [5], is to adopt empiricism about logic. On this view, logical truths are true because they are true of the world alone – this gives logical truths an air of objectivity. Putnam and Dickson both (...) take logical truths to be true in virtue of the world’s structure, given by our best empirical theory, quantum mechanics. This assumes a determinate logical structure of the world given by quantum mechanics. Here, I argue that this assumption is false, and that the world’s logical structure, and hence the related ‘true’ logic, is underdetermined. This leads to what I call empirical conventionalism. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...) provide reduction axioms for the dynamic operator of the new logic. (shrink)

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action (...) model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition is that a (...) context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)