The paper explores the status of the proposition "God exists" in late scholastic debates of the sixteenth and seventeenth centuries in some key authors of the era. A proposition is said to be self-evident if its truth is known solely from the meaning of the terms and is not inferred from other propositions. It does not appear to be immediately evident from the terms that God exists, for the concept expressed by "God" is based on the relation to creatures and (...) negation of imperfection and does not reach to the divine essence. Thomas Aquinas maintains that there are two types of self-evident propositions: those self-evident in themselves but not to us and those self-evident in themselves as well as to us. "God exists" is of the fi rst type. For Scotus a self-evident proposition is such that if its terms are conceived by any intellect, the truth of the proposition becomes known from the terms, non-inferentially. In his view there is no distinction between a self-evident proposition in itself and that in relation to us, because any proposition self-evident in itself is known to be such to any intellect, even though it might not be actually known; it would be known, provided that the terms are conceived. So for Scotus the sentence "God exists" expresses diff erent propositions for the blessed in heaven, the angels and God on the one hand and humans on the other. The former is self-evident, the latter is not. While later scholastics accept either the solution of Thomas or that of Scotus, according to which "God exists" is not self-evident for humans, Thomas de Argentina diff ers in that for him "God exists" is self-evident for humans too. The position of Thomas Aquinas was defended by Domingo Ban¯ez, Francisco Zumel and Gregorio de Valentia. In contrast, Johannes Poncius was a famous adherent of Scotus. There is a fair number of scholastics harmonizing the doctrine of Thomas and Scotus: Bernard Sannig, Luis de Molina, Gabriel Vázquez, Rodrigo de Arriaga and Jean Lalemandet. According to these authors, when Thomas says that "God exists" is self-evident in itself, he speaks about the extensional proposition, i.e. the state of affairs being conceptualized, which does not contradict Scotus’s teaching. © FILOSOFIA, 2013. (shrink)

The paper attempts to interpret P. van Inwagen’s refutation of Evans’ argument that there cannot be vague objects and defend it against the charge of inconsistency raised by Radim Bělohrad. However, such an interpretation is not without a cost. Therefore another interpretation of van Inwagen’s example of the Cabinet is offered which evades Evans’ charge of inconsistency against indeterminate identity as it does not need the notion at all.

The article deals with various modal versions of the ontological argument from N. Malcolm’s to P. Tichý’s interpretation of Anselm’s second proof. Three key presuppositions of the modal proof are pin-pointed and examined. The principal problem with the proof seems to be the notion of necessary existence attributed to God. More precisely, the question is whether this is not too strong an attribute, for then there would not be a situation, i.e. a possible world, consistently thinkable which precludes the existence (...) of God. However, this seems to be wrong. (shrink)

The well-known Ratio Studiorum of 1599 states that logical instruction should follow F. Toletus or P. Fonseca. The latter authored the famous Institutionum Dialecticarum Libri Octo, the former a similar manual, Introductio in Dialecticam Aristotelis. As is often observed, the contrast between the Aristotelian and present symbolic logics is perhaps most striking in their analysis of relational statements. Both authors recognize the relational logical form as independent from the traditional subject-predicate form and see the need to recognize relational inferential rules. (...) They differ in their specific rules, however, so neither of the authors has captured the system of relational syllogism in its entirety. (shrink)

The article deals with various modal versions of the ontological argument from N. Malcolm’s to P. Tichý’s interpretation of Anselm’s second proof. Three key presuppositions of the modal proof are pin-pointed and examined. The principal problem with the proof seems to be the notion of necessary existence attributed to God. More precisely, the question is whether this is not too strong an attribute, for then there would not be a situation, i.e. a possible world, consistently thinkable which precludes the existence (...) of God. However, this seems to be wrong. (shrink)

The well-known Ratio Studiorum of 1599 states that logical instruction should follow F. Toletus or P. Fonseca. The latter authored the famous Institutionum Dialecticarum Libri Octo, the former a similar manual, Introductio in Dialecticam Aristotelis. As is often observed, the contrast between the Aristotelian and present symbolic logics is perhaps most striking in their analysis of relational statements. Both authors recognize the relational logical form as independent from the traditional subject-predicate form and see the need to recognize relational inferential rules. (...) They differ in their specific rules, however, so neither of the authors has captured the system of relational syllogism in its entirety. (shrink)

This volume collects P. M. S. Hacker's papers on Wittgenstein and related themes written over the last decade. Hacker provides comparative studies of a range of topics--including Wittgenstein's philosophy of psychology, conception of grammar, and treatment of intentionality--and defends his own Wittgensteinian conception of philosophy.

Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative applications. This happens even in informal logic and mathematics. Yet in some cases, the concepts in question – although only informally and vaguely characterized – in fact have, or appear to have, entirely determinate extensions. Here’s one familiar example. When we start learning computability theory, we are introduced to the idea of an algorithmically computable function (...) (from numbers to numbers) – i.e. one whose value for any given input can be determined by a step-by-step calculating procedure, where each step is fully determined by some antecedently given finite set of calculating rules. We are told that we are to abstract from practical considerations of how many steps will be needed and how much ink will be spilt in the process, so long as everything remains finite. We are also told that each step is to be ‘small’ and the rules governing it must be ‘simple’, available to a cognitively limited calculating agent: for we want an algorithmic procedure, step-by-minimal-step, to be idiot-proof. For a classic elucidation of this kind, see e.g. Rogers (1967, pp. 1–5). Church’s Thesis, in one form, then claims this informally explicated concept in fact has a perfectly precise extension, the set of recursive functions. Church’s Thesis can be supported in a quasi-empirical way, by the failure of our searches for counterexamples. It can be supported too in a more principled way, by the observation that different appealing ways of sharpening up the informal chararacterization of algorithmic computability end up specifying the same set of recursive functions. But such considerations fall short of a demonstration of the Thesis. So is there a different argumentative strategy we could use, one that could lead to a proof? Sometimes it is claimed that there just can’t be, because you can never really prove results involving an informal concept like algorithmic computability.. (shrink)

This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to (...) individual nodes is possible.But hybrid logic is a rather unusual modal upgrade. It pushes one simple idea as far as it will go: represent all information as formulas. This turns out to be the key needed to draw together a surprisingly diverse range of work . Moreover, it displays a number of knowledge representation issues in a new light, notably the importance of sorting. (shrink)

Central to Thomas Sprat's History of the Royal Society was the description and justification of the method adopted and advocated by the Fellows of the Society, for it was thought that it was their method which distinguished them from ancients, dogmatists, sceptics, and contemporary natural philosophers such as Descartes. The Fellows saw themselves as furthering primarily a novel method, rather than a system, of philosophy, and the History gave expression to this corporate self-perception. However, the History's description of their method (...) was not necessarily accurate. Rather, as will be argued below, by a combination of subtle misrepresentation and selective exposition, Sprat portrayed a method which would further the aims of social and ecclesiastical stability and material prosperity, essential for the Royal Society since its continued existence depended upon the creation of a social basis for the institutionalized pursuit of natural philosophy. Some link had to be forged between the activities of the Society and the intellectual and social aspirations of the Restoration. To understand the intent and meaning of Sprat's History and the method there portrayed, we must therefore look to the institutional needs which it fulfilled. (shrink)

Rule A: if it's metaphysically necessary that p, we may validly infer that no one is even partly morally responsible for the fact that p. Our principal aim in this article is to highlight the importance of this rule and to respond to two recent challenges to it. We argue that rule A is more important to contemporary theories of moral responsibility than has previously been recognized. We then consider two recent challenges to the rule and argue that neither challenge (...) successfully undermines the rule's initial appeal. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo's (...) results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

India has produced several drafts of data policies. In this work, they are referred to [1] JBNSCR 2018, [2] DPDPR 2018, [3] NSAI 2018, [4] RAITF 2018, [5] PDPB 2019, [6] PRAI 2021, [7] JPCR 2021, [8] IDAUP 2022, [9] IDABNUP 2022. All of them consider Artificial Intelligence (AI) a social problem solver at the societal level, let alone an incentive for economic growth. However, these policy drafts warn of the social disruptions caused by algorithms and encourage the careful use (...) of computational technologies in various social contexts. Hence, the emerging data society and its implications in India's social contexts demand immense social science attention, which needs to be improved in the policy drafts, primarily because they are creations of industry stakeholders, technocrats, bureaucrats, and experts from tech schools. In the larger social milieu of digital infrastructure emerging, the fundamental question is whether India's national philosophy envisioned in the Indian constitution is reflected in the policy papers. The paper enquires whether the national data policy upholds the core values dispersed through the philosophy of the Indian constitution, which, among other things, is not confined only to inclusion, diversity, rights, liberty, justice and equality. By focusing on constitutional values, the paper seeks to offer a broader and more critical understanding of India's approach to AI policy by bringing together analyses of a wide array of policy documents available in the public realm. (shrink)

The author clarifies the existential philosophy that is implicit in Kurt Goldstein's philosophy of organism (Goldstein, 1963; 1995). Situated in response to the growing trend that psychological phenomena are reducible to the nervous system, the author argues for the reverse: that the significance of nervous system activity can only be understood by viewing it as background to foreground performances. Like the organization of perception into meaningful figure-- ground Gestalts, the existential modes of embodiment, sociality, temporality, spatiality, and attunement are organized (...) together to accomplish foreground performances. It is only within this context that the activity of the nervous system may be understood as significant or insignificant. Speech is given as an example. The article concludes with a commentary on how the trend of reducing psychological phenomena to neurological phenomena has impaired our understanding of brain disorders and psychological disorders. (shrink)

Richard Taylor was born in Charlotte, Michigan on 5 November 1919. He received his A. B. from the University of illinois in 1941, his M. A. from Oberlin College in 1947, and his Ph. D. from Brown University in 1951. He has been William H. P. Faunce Professor of Philosophy at Brown University, Professor of Philosophy (Graduate Faculties) at Columbia University, and Professor of Philosophy at the University of Rochester. He is the author of about fifty articles and of five (...) philosophical books. This volume consists of essays presented to Richard Taylor on the occa sion of his sixtieth birthday. Some of the contributors have been Taylor'S students; some have been his colleagues; and all have been, and continue to be, his admirers. I have made several attempts to articulate what it is I (I would not presume to speak for anyone else) admire about Richard Taylor: (1) There is a particular 'flavor' to Taylor's philosophical writing and con versation that is wholly delightful. Like any other flavor, it can be tasted and enjoyed and remembered but never adequately described. (If there should be someone who has picked up this book who does not know what I mean, I recommend that he read the chapter on 'God' in Taylor's Metaphysics. ) (2) Taylor is a masterful dialectician. (shrink)

Philosophers often distinguish in some way between two senses of life's meaning. Paul Edwards terms these a ‘cosmic’ and ‘terrestrial’ sense. The cosmic sense is that of an overall purpose of which our lives are a part and in terms of which our lives must be understood and our purposes and interests arranged. This overall purpose is often identified with God's divine scheme, but the two need not necessarily be equated. The terrestrial sense of meaning is the meaning people find (...) in their own lives apart from the place of their lives in any ultimate end or context. (shrink)

In this article, I examine Luhmann’s, Bunge’s and others’ views on emergence, and argue that Luhmann’s epistemological construal of emergence in terms of Totalausschluss (total exclusion) is both ontologically flawed and detrimental to an appropriate understanding of the distinctive features of social emergence. By contrast, Bunge’s rational emergentism, his CESM model, and Wimsatt’s characterization of emergence as nonaggregativity provide a useful framework to investigate emergence. While researchers in the field of social theory and sociology tend to regard Luhmann as the (...) sole representative of systems theory, the latter has been characterized by its diversity, and the writings of such systems theorists as Mario Bunge deserve more (critical) attention from social researchers than they receive at present. Finally, this article suggests that the perennial debate over methodological individualism and holism in social science may make real progress if such ambiguous terms as reduction and reductionism are elucidated before they are employed. (shrink)

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Burma’s Healthcare Under Fire: My Experience as an Exiled Medical ProfessionalP. P. KyawI used to work as a medical doctor in a less developed state than many big cities in Burma1 that experienced prolonged civil wars and current similar atrocities decades before the urban areas of the country experienced them. Before everything started, I was responsible for the medical management of the most vulnerable communities and had been struggling (...) with pandemic-related medical activities. Those were the happiest years of my life. I was with one of the best international organizations, where every effort I made was directly delivered to the patients with no unnecessary paperwork. The system was efficient, my colleagues were supportive, and I had a good work-life balance. I supported my family and whoever needed temporary financial support, played music weekly, met good friends who I hung out with every weekend, and [End Page 164] found hobbies like gardening and crocheting. I was content and happy. I even postponed my plans to get registered as a doctor in the Western world.Before moving to this beautiful ethnic state in 2019, I previously worked as a government medical doctor in Yangon, the capital. As much as I loved working in those civilian hospitals, I could not support myself with a monthly pay of $100-$150 USD. It was a hard decision to leave the service because it meant I could not pursue the medical specialty that I had always longed for and had to leave like-minded supportive colleagues. In Myanmar, unless you are a civil servant, you cannot pursue further clinical specialties. However, after leaving the government’s service to work in humanitarian medical assistance in hard-to-reach areas of Burma, I learned that life is still beautiful outside my comfort zone, until February 2021 when the coup began. Democratically elected members of the country’s ruling party were overthrown by the military, which then bestowed power in a military junta.I expected the election prior to the coup in November 2020 to be an uphill battle for Burma, but nothing more. I was still in denial when I first heard the news from one of the town’s NGO staff. The person had to travel on a motorbike to inform everyone that the junta had staged the coup. No telephone or internet was working at that time. My colleagues and I cried in our office, saying, “We are so young, and the future is still ahead. I don’t think this is going to last long. Maybe it will be over in a few days or, at most, a few weeks.” Once the peaceful protests started nationwide, my friends and I provided medical cover for the protesters, initially for minor medical problems such as low sugar, low blood pressure, injuries from accidental minor slips and falls, etc. Never in my life had I imagined that I would be taking care of bullet wounds and people injured by live rounds. While learning about gunshot wounds in forensic medicine, I thought, “Oh, this is not going to be very useful because Burma is not America, and I am not going there.” Then suddenly, it became too real and more useful than I would’ve liked it to be.I always think back to one especially bloody day when many people in the town were shot with live rounds. We assisted many patients. Usually, we would go around with the protest groups until they were over in the late afternoon. The protesters were always peaceful. There were no riots, no harmful acts, or vandalism. Only when the protesters were cruelly dispersed with tear gas, high-pressure pumps, rubber bullets, and live rounds (to the head) did they decide to defend themselves while still making their voices heard. The only defenses people had to counteract the live rounds were things like metal covers, firecrackers, and slingshots.One afternoon in March 2021, my team and I took an early break for lunch—unaware that some people would lose their lives that afternoon. We followed the local protests through Facebook Live while having lunch and started to hear firecracker sounds. A few seconds later, we knew... (shrink)

Cicero's philosophical works are now exciting renewed interest, in part because he provides vital evidence of the views of the Greek philosophers of the Hellenistic age, and partly because of the light he casts on the intellectual life of first century Rome. This edition uses the 1997 Clarendon text by the acclaimed translator P.G. Walsh.

I contrast our own evidence for the hypothesis of organic fossil origins with that available in previous centuries, suggesting that the most powerful contemporary evidence consists in a form of projective support whose distinctive features are not well captured by familiar hypothetico-deductive, abductive, or even more recent and more technically sophisticated accounts of scientific confirmation. I suggest that such accounts either misrepresent or ignore something important about the heterogeneous ways in which scientific hypotheses can be supported by evidence, and I (...) go on to suggest that the search for any single such account may be misguided in any case. (shrink)

J. L. Mackie's famous claim that Locke ‘anticipates’ Kripke's Causal Theory of Reference rests, I suggest, upon a pair of important misunderstandings. Contra Mackie, as well as the more recent accounts of Paul Guyer and Michael Ayers, Lockean Real Essences consist of those features of an entity from which all of its experienceable properties can be logically deduced; thus a substantival Real Essence consists of features of a Real Constitution plus logically necessary objective connections between them and features of some (...) particular Nominal Essence. Furthermore, what Locke actually anticipates is the most significant contemporary challenge to the CTR: the qua‐problem. (shrink)

table ronde du Centre national de la recherche scientifique, Paris, 27-29 mars 1979. Huygens et la France (Paris, Vrin, 1981, p. 99-114) CHRISTIAAN HUYGENS VU PAR LEIBNIZ par Albert HEINEKAMP (*) (Leibniz-Archiv, Hannover) Les ...

Writing of Terence's Andria in 1952, Duckworth said: ‘In the Andria the second love affair is unusual; Charinus’ love for a respectable girl whose virtue is still intact has been considered an anticipation of a more modern attitude towards love and sex. More frequently in Plautus and Terence the heroine, if of respectable parentage, has been violated before the opening of the drama , or she is a foreigner, a courtesan, or a slave girl' , p. 158). Perhaps in 1993 (...) it does not seem quite so ‘modern’ that Charinus is not only in love with a respectable virgin but wishes to marry her. (shrink)

Jewish law takes an approach to self-defense that differs dramatically from the conventional assumptions of Western secular legal systems. The central theme of Talmudic jurisprudence is that self-defense rests on a duty not to stand idly by while one's neighbor suffers. “Do not stand on the blood of one's neighbor,” as the point is cryptically put in Leviticus 19:16. This way of thinking about self-defense departs in two significant ways from common Western assumptions. First, it stresses that the roots of (...) self-defense are a duty rather than a right to act; second, it treats the case of third-party defense as logically prior to the first-party case of self -defense. (shrink)

This article examines the origin of experiential organization, especially whether it is salient or selective. Aron Gurwitsch believes it is salient and William James that it is selective. I argue that Gurwitsch is right, and recount his argument and his critique of James, but I also pose my own critique and critical questions on the issue. -/- Gurwitsch's argument attempts to show that the organization of consciousness is not arbitrary or merely selected in some way by the subject. He claims (...) that when consciousness is organized it is found as already organized. -/- This is important for Gurwitsch's philosophical system because if he can establish that consciousness is always originally organized, then his famous claim that the theme, thematic-field, margin structure of consciousness is an invariant patterning impervious to the subject's whim, mood, or possible noetic training, is protected at the very start. (shrink)

P J Crittenden; Thoughts about Locke's Thoughts about Education, Journal of Philosophy of Education, Volume 15, Issue 2, 30 May 2006, Pages 149–160, https://doi.

Having thought out the Enlightenment project of individualism, privacy, and autonomy to its end, Anglo-American ethical theory now finds itself unable to respond to the collapse of community in which the practices justified by this project have resulted. In the place of reasonable deliberation about the goals to be chosen and the means to them, we now, it seems, have only what MacIntyre has aptly called “interminable debate” among “rival” positions, debate in which each party merely contends with the others (...) for its own advantage. And this circumstance MacIntyre himself seems unable to escape despite his best efforts. In further elaborating Hans-Georg Gadamer’s hermeneutical reception of Plato, Aristotle, Aquinas, Kant, and Hegel, and in referring simultaneously to Edmund Burke’s parallel political rhetoric, among other tradition-oriented arguments in the English language, this book seeks a recollection of shared ethical principles, a recollection which alone, it is argued, might prevent the devolution of discussion into war with words and make possible some measure of consensus, however provisional and shadowed by dissent it will be. (shrink)