Leslie Tharp proves three theorems concerning epistemic and metaphysical modality for conventional modal predicate logic: every truth is a priori equivalent to a necessary truth, every truth is necessarily equivalent to an a priori truth, and every truth is a priori equivalent to a contingent truth. Lloyd Humberstone has shown that these theorems also hold in the modal system Actuality Modal Logic, the logic that results from the addition of the actuality operator to conventional modal logic. We show that (...) Tharp’s theorems fail for the expressively equivalent Subjunctive Modal Logic, the logic that was developed by Kai Wehmeier as an alternative to AML. We then argue that the existence of Tharp’s theorems for AML is due to a faulty interpretation of the notion of necessary truth, a feature that is not shared by SML. The paper concludes with an argument for the thesis that the existence of the distinction between truth at all worlds w and truth at all worlds w from the point of view of w as the actual world is an artifact owing to the interaction of the necessity and actuality operator. (shrink)

Each volume of this series of companions to major philosophers contains specially commissioned essays by an international team of scholars, together with a substantial bibliography, and will serve as a reference work for students and non-specialists. One aim of the series is to dispel the intimidation such readers often feel when faced with the work of a difficult and challenging thinker. Plotinus was the greatest philosopher in the 700-year period between Aristotle and Augustine. He thought of himself as a disciple (...) of Plato, but in his efforts to defend Platonism against Aristotelians, Stoics, and others, he actually produced a reinvigorated version of Platonism that later came to be known as 'Neoplatonism'. In this volume, sixteen leading scholars introduce and explain the many facets of Plotinus' complex system. They place Plotinus in the history of ancient philosophy while showing that he was a founder of medieval philosophy. (shrink)

We discuss aspects of the logic of negation bearing on an issue raised by Jean-Yves Béziau, recalled in §1. Contrary- and subcontrary-forming operators are introduced in §2, which examines some of their logical behaviour, leading on naturally to a consideration in §3 of dual intuitionistic negation (as well as implication), and some further operators related to intuitionistic negation. In §4, a historical explanation is suggested as to why some of these negation-related connectives have attracted more attention than others. The remaining (...) sections (§§5, 6) briefly address a question about a certain notion of global contrariety and the provision of Kripke semantics for the various operators in play in our discussion. (shrink)

The sophisticated philosophical literature on supervenience stands in need of supplementation by a treatment of more fundamental questions about what features this notion possesses solely in virtue of the form of the definition it is standardly given. We provide a discussion of these features without getting involved in the merits of particular supervenience claims advanced and contested in that literature.

If faraway peoples have different ideas from our own, is this because they have different mentalities? Did our remote ancestors lack logic? The notion of distinct mentalities has been used extensively by historians to describe and explain cultural diversity. Professor Lloyd rejects this psychologising talk of mentalities and proposes an alternative approach, which takes as its starting point the social contexts of communication. Discussing apparently irrational beliefs and behaviour, he shows how different forms of thought coexist in a single (...) culture but within conventionally defined contexts. (shrink)

Prompted by the concerns about legitimacy that Josh Reeves expresses in his book Against Methodology in Science and Religion: Recent Debates on Rationality and Theology, this article considers how the field of science and religion, and the disciplines and scholars that comprise it, should think about the pursuit of legitimacy today. It begins by examining four features of any conferral of legitimacy on an object. It then looks more closely at distance and its effects on judgments of legitimacy. It first (...) notes how longer distances can enable a wide range of factors other than the internal features or inherent merits of the object to influence judgments of its legitimacy. It then explores the factors that persons who have significant expertise in or experience with the object may consider when judging its legitimacy. It closes by posing three questions that anyone designing a strategy to increase the perceived legitimacy of an object might ask. (shrink)

Ampliación de un estudio anterior en la que se dan a conocer nuevas aportaciones acerca del devenir histórico de la iglesia parroquial de Gilena desde sus orígenes, en el siglo XVI, hasta el siglo XIX.

Desperately difficult texts inevitably elicit desperate hermeneutical measures. Aristotle's De Anima, book three, chapter five, is evidently one such text. At least since the time of Alexander of Aphrodisias, scholars have felt compelled to draw some remarkable conclusions regarding Aristotle's brief remarks in this passage regarding intellect. One such claim is that in chapter five, Aristotle introduces a second intellect, the so-called 'agent intellect', an intellect distinct from the 'passive intellect', the supposed focus of discussion up until this passage.1 This (...) view is a direct descendent of the view of Alexander himself, who identified the agent intellect with the divine intellect.2 Even the staunchest defender of such a view is typically at a loss to give a plausible explanation of why the divine intellect pops into and then out of the picture in the intense and closely argued discussion of the human intellect that goes from chapter four through to the end of chapter seven.3 Revolting against an extravagant postulation of entities, Michael Wedin, for example, has argued with considerable subtlety and ingenuity that there is in fact only one intellect discussed in De Anima.4 This unified intellect is fully capable of being integrated into Aristotle's hylomorphic psychology. In order to make his case, though, Wedin is himself forced (1) to discount the importance of some texts and (2) to interpret others in a way that strains credulity. (shrink)

Contemporary philosophers and scientists have done much to expand our understanding of the structure and neural mechanisms of joint action. But the phenomenology of joint action has only recently become a live topic for research. One method of clarifying what is unique about the phenomenology of joint action is by considering the alternative perspective of agents subsumed in group action. By group action we mean instances of individual agents acting while embedded within a group agent, instead of with individual coordination. (...) Paradigm examples are educational bureaucracies, corporations, and nation states. There is a phenomenological difference between agents whose actions are subsumed within a group action (“the university did X”) as compared to agents who act jointly (“we did x”). Attending to this difference clarifies what is phenomenologically distinctive about joint action. Appealing to an Aristotelian account of agency and to the metaphysical concept of weak emergence, we argue that what makes paradigmatic group action distinctive is the relative inaccessibility, un-revisability, and evaluative simplicity of the group agent’s goal(s) from the perspective of individual agents. This suggests that a distinctive feature of joint agency is the maintenance of a greater sense of individual agency. Put simply, joint agency is often experienced as an enhancement of the individuals’ agency precisely because our paradigmatic agential powers are extended intersubjectively as we act together. In contrast, group agency often involves a loss of the sense of agency, precisely because it is the emergent group agent that maintains the agential powers. (shrink)

The present paper describes a joint action paradigm in which individuals or pairs utilized two computer keys to keep a dot stimulus moving inside a larger rectangle. Members of a pair could neither see nor hear each other. This paradigm allowed us to combine the discrete-trial type dependent variables commonly utilized by representational theorists, with the continuous, temporal dependence variables utilized by dynamical theorists. Analysis revealed that individuals kept the dot in the rectangle longer than dyads and did so by (...) moving it back and forth within the rectangle. Dyads, however, pressed their individual buttons as quickly as possible in order to keep the dot near the middle of the rectangle. These findings indicate that joint action constitutes a multi-scale phenomena that is best investigated via multiple, complementary methodologies versus single-measure, competing theories. (shrink)

Jean Bodin was a figure of great importance in European intellectual history, known as a jurist, associate of kings and courtiers in sixteenth-century France, and author of influential works in the fields of constitutional and social thought, historical writing, witchcraft, and a great deal else besides. Best known for his contribution to formulating the modern doctrine of sovereignty, Bodin was a scholar of exceptional range, whose works provoked controversy in his own time and have continued to do so down the (...) centuries. Hugh Trevor-Roper described him as 'the Aristotle, the Montesquieu of the sixteenth century, the prophet of comparative history, of political theory, of the philosophy of law, of the quantitative theory of money, and of so much else'. (shrink)

In this paper I contend that the 'superfluity' of triangles is only apparent; all those specified are indeed required for the smallest sub-units, so long as the symmetry of the final body to be constructed is taken into account at earlier stages.

A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, (...) and suggests a diagnosis as to why it might have been made, in terms of quantifier scope distinctions as they bear on schematic formulations. In between, Section 2 discusses an issue brought up by this discussion but not involving the mistaken claim itself, and shows that Suszko was familiar with two different ways to set an upper or lower finite bound to the domain—a contrast which some contemporary readers may associate with David Lewis. (shrink)

Bertrand Russell was, along with G.E. Moore, deserving of accolade as a founder of analytic philosophy, and of its close companion, the linguistic turn. Here I explain how his relocates philosophy's concern with appearance and reality as a concern with grammatical surface and logical depth. I then on remark the irony of Russell's unhappiness with views to the effect that an ethical judgment is not, despite linguistic appearances, really something that can be true or false. A further irony lies in (...) Russell's error of assigning metaphysical grandeur to logical truths, an error he could have avoided by more fully appreciating how logically misleading linguistic appearances can be. (shrink)

Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1- and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the general case) in terms of matrix methodology in §1, showing how to reformulate the matrix semantics as a Kripke-style possible worlds semantics, thereby displaying the distinction between the two (...) implications in the more familiar language of modal logic. In §§2 and 3 we study, from this perspective, the fragments obtained by taking the two implications separately, and – after a digression (in §4) on the intuitionistic analogue of the material in §3 – consider them together in §5, closing with a discussion in §6 of issues in the theory of logical rules. Some material is treated in three appendices to prevent §§1–6 from becoming overly distended. (shrink)

We argue that considering only a few ‘big’ ethical decisions in any engineering design process — both in education and practice — only reinforces the mistaken idea of engineering design as a series of independent sub-problems. Using data collected in engineering design organisations over a seven year period, we show how an ethical component to engineering decisions is much more pervasive. We distinguish three types of ethical justification for engineering decisions: (1) consequential, (2) deontological or non-consequential, and (3) virtue-based. We (...) find that although there is some evidence for engineering designers as ‘classic’ consequentialists, a more egocentric consequentialism would appear more fitting. We also explain how the idea of a ‘folk ethics’ — a justification in the second category that consciously weighs one thing with another — fits with the idea of the engineering design process as social negotiation rather than as technological progress. (shrink)

Introduction, by R. A. Markus.--St. Augustine and Christian Platonism, by A. H. Armstrong.--Action and contemplation, by F. R. J. O'Connell.--St. Augustine on signs, by R. A. Markus.--The theory of signs in St. Augustine's De doctrina Christiana, by B. D. Jackson.--Si fallor, sum, by G. B. Matthews.--Augustine on speaking from memory, by G. B. Matthews.--The inner man, by G. B. Matthews.--On Augustine's concept of a person, by A. C. Lloyd.--Augustine on foreknowledge and free will, by W. L. Rowe.--Augustine on free (...) will and predestination, by J. M. Rist.--Time and contingency in St. Augustine, by R. Jordan.--Empiricism and Augustine's problems about time, by H. M. Lacey.--Political society, by P. R. L. Brown.--The development of Augustine's ideas on society before the Donatist controversy, by F. E. Cranz.--De Civitate Dei, XV, 2, and Augustine's idea of the Christian society, by F. E. Cranz.--Chronological table.--Note on further reading (p. [422]-423). (shrink)

The semantic characterization of the (syllogistic) relations of contrariety and subcontrariety is problematic, as the present discussion illustrates here by attending to some suggestions of D. H. Sanford.

David Gauthier stages a competition between two arguments, each of which purports to decide once for all transparent agents which is best, being a straight or being a constrained maximizer. The first argument, which he criticizes and rejects, is for the greater utility, on a certain weak assumption, of straight maximization for all transparent agents. The second, which he endorses, is for the greater utility on the same weak assumption of constrained maximization for all transparent agents.In Section I, Gauthier’s account (...) of constrained maximization is presented, and his use in the two arguments of the idea of choosing a disposition to choose actions is noted. Section II is about the unfortunate argument that Gauthier criticizes. This argument is flawed in ways additional to those he notices, but a less ambitious form of reasoning can, for individuals whose probabilities and values are right, be good for the greater expected utility of straight maximization. Section III takes up the argument that Gauthier endorses and maintains that it is wrong in a way specific to it as well as in ways closely related to all of the first argument’s noted flaws. An Appendix features a three-person prisoners’ dilemma and includes demonstrations of principal conclusions reached in the body of this paper. (shrink)

Within John Dewey's pragmatic naturalism, consciousness, meaning, and value were conceptualized as ontologically real phenomena. During the century that has passed since Dewey's time, naturalism has come to be dominated by physicalist and realist perspectives within which the reality of consciousness, meaning, and value are problematic. Given this historical tension in naturalism, the present paper does the following: describes why consciousness, causality, and the body were all at home in Dewey's naturalism, and why Dewey's naturalism fell out of favour during (...) the century that followed, describes a sample of unsuccessful twentieth-century attempts to get consciousness back into naturalism, including the contemporary embodiment movement, presents a recently developed holist, post-naturalist philosophy of embodiment that challenges the physicalist and realist assumptions at work in most contemporary forms of naturalism, and presentsWST as an intra-disciplinary framework for scholarship, and as a potential means of addressing the scholarship-culture tensions that have emerged during the zeitgeist of naturalism. (shrink)

Am(B m B). Specifically I was wondering whether for every BCI-provable formula A there is a B for which the inset formula was provable. If you want to read about this issue, which I..

I here respond to my interlocutors in the symposium on my book, Love Divine: A Systematic Account of God’s Love for Humanity. Addressing each of them in the order in which their essays appear within this symposium, I reply to the comments by R. T. Mullins, Keith Hess, and Ty Kieser.

Drawing from conflicts observed in online communities, I extend Pietraszewski's theory to accommodate phenomena dependent on the intersubjectivity of groups, where representations of group membership diverge. Doing so requires enriching representations to include other agents and their beliefs in a process of recursive mentalizing.

Among the concepts central to Plato's metaphysical vision are those of identity, sameness, and difference. For example, it is on the basis of a claim about putative cases of sameness among different things that Plato postulates the existence of separate Forms. It is owing to the apparent sameness between instances of Forms and the Forms themselves that Plato is compelled somehow to take account of potentially destructive vicious infinite regress arguments. Further, in reflecting on the Forms and their relations among (...) themselves, it is their self-identity that seems to be threatened or at least compromised. And in providing an account of the possibility of cognition in Timaeus, Plato evidently sees the need to incorporate principles of identity and difference into the soul's very fabric. In this paper, I propose to explore some of the systematic connections between these concepts. Translators have sometimes obscured the fact that there are such connections. The Greek terms taujtovn, e{teron, and o{moion (ajnovmoion) are variously rendered, often in ways that obscure the metaphysics. For example, taujtovn is most commonly rendered in English as "same," which, predictably, leads o{moion to be translated as "like" or "similar." This has suggested to some that if two things are "like" or "similar," then they are not "the same." But "like" and "similar" are not, as I shall show, well-formed or perspicuous metaphysical concepts. There is no justification for foisting them on Plato; rendering the terms thus often leads scholars to miss the force of Plato's arguments. In addition, translating taujtovn as "same" threatens to trivialize a fundamental concept in Plato, leading to complaints that to say that something is "the same as itself" is to say nothing at all. (shrink)

The objective is simple: ‘Better decision making’. The only issue is that there are so many different views over what we mean by ‘better’. At the core of all decision making is the need to balance power with responsibility, as the vehicle for resolving the ‘better’ question. This article explores why that is so difficult. It also argues that exploring the concept of ‘wisdom’ can provide invaluable insights into how to achieve the most effective balance between power and responsibility, which (...) is central to what our values mean in practice, as well as how we incorporate ethics into our decision making. The article argues that wisdom is a very practical body of knowledge (/information) that has an incredibly useful contribution to help us understand the world we live in. (shrink)