In his critique of Anselm’s ontological argument for God’s existence, William Rowe introduces the concepts of “magico” and “magican” — defining “magicos” as magicians that do not exist, and “magicans” as magicians that do exist — to help diagnose what may have gone wrong in Anselm’s argument. As I made my way through Rowe’s intriguing article, I found myself waiting for “Godo” — and for “Godan.” I expected Rowe to invoke these counterparts to his “magico” and “magican” — a (...) non-existing God to correspond to his non-existing magician, and an existing God to correspond to his existing magician — to complete his argument. Alas, like Vladimir and Estragon, I waited in vain: neither Godo — nor Godan — ever appeared. In what follows I shall argue that their inclusion in Rowe’s argument would have settled the matter against Anselm far more decisively than do Rowe’s forays into the murky waters of question-begging. (shrink)

This paper sheds new light on the subtle relation between probability and logic by (i) providing a logical development of Bruno de Finetti's conception of events and (ii) suggesting that the subjective nature of de Finetti's interpretation of probability emerges in a clearer form against such a logical background. By making explicit the epistemic structure which underlies what we call Choice-based probability we show that whilst all rational degrees of belief must be probabilities, the converse doesn't hold: some probability values (...) don't represent decision-relevant quantifications of uncertainty. (shrink)

In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.

L’esprit contemporain nous vole nos intériorités. Il entend façonner nos goûts et nos imaginaires. Orienter nos expériences. Nous détourner de nous-mêmes dans un divertissement généralisé, une mise en réseau et un art consommé de l’inquiétude qui est une autre manière de nous emporter dans son flux. C’est un homme mutilé, abruti, amoindri spirituellement que produit ce monde dominé par la technique qui ose appeler progrès les0régressions qu’il programme. L’art – entendu non comme savoir ou culture mais comme passion de la (...) liberté et exploration de nos sources enfouies – est l’un des derniers moyens qui nous restent pour nous savoir humains. Tout art digne de ce nom est insurrection, quête d’absolu, tentative désespérée pour dire l’amour incommensurable qui nous taraude. Emmanuel Godo, ici, nous provoque et nous convoque. Et si nous faisions l’épreuve de notre humanité – pour en avoir la preuve – en nous confrontant à des oeuvres d’art? Mais pas à des simulacres sans épaisseur ou à des joujoux insipides, non! Car ce n’est pas en millions de dollars que s’évalue une oeuvre mais à sa capacité à faire se lever en nous nos forces en sommeil. Un plaidoyer magistral pour l’art contemporain, le vrai. (shrink)

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on (...) the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order. (shrink)

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.

ABSTRACT The term fuzzy logic has two different meanings -broad and narrow. In Zadeh's opinion, fuzzy logic is an extension of many- valued logic but having a different agenda—as generalized modus ponens, max-min inference, linguistic quantifiers etc. The question we address in this paper is whether there is something in Zadeh's specific agenda which cannot be grasped by “classiceli”, “traditional” mathematical logic. We show that much of fuzzy logic can be understood as classical deduction in a many-sorted many-valued Pavelka- Lukasiewicz (...) style rational quantification logic. This means that, besides the linguistic or approximation aspects, the logical aspect is present too and can be made explicit. (shrink)

Betting methods, of which de Finetti's Dutch Book is by far the most well-known, are uncertainty modelling devices which accomplish a twofold aim. Whilst providing an interpretation of the relevant measure of uncertainty, they also provide a formal definition of coherence. The main purpose of this paper is to put forward a betting method for belief functions on MV-algebras of many-valued events which allows us to isolate the corresponding coherence criterion, which we term coherence in the aggregate. Our framework generalises (...) the classical Dutch Book method. (shrink)

The monoidal t-norm based logic MTL is obtained from Hájek''s Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...) (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

In this paper we provide a finite axiomatization (using two finitary rules only) for the propositional logic (called $L\Pi$ ) resulting from the combination of Lukasiewicz and Product Logics, together with the logic obtained by from $L \Pi$ by the adding of a constant symbol and of a defining axiom for $\frac{1}{2}$ , called $L \Pi\frac{1}{2}$ . We show that $L \Pi \frac{1}{2}$ contains all the most important propositional fuzzy logics: Lukasiewicz Logic, Product Logic, Gödel's Fuzzy Logic, Takeuti and Titani's (...) Propositional Logic, Pavelka's Rational Logic, Pavelka's Rational Product Logic, the Lukasiewicz Logic with $\Delta$ , and the Product and Gödel's Logics with $\Delta$ and involution. Standard completeness results are proved by means of investigating the algebras corresponding to $L \Pi$ and $L \Pi \frac{1}{2}$ . For these algebras, we prove a theorem of subdirect representation and we show that linearly ordered algebras can be represented as algebras on the unit interval of either a linearly ordered field, or of the ordered ring of integers, Z. (shrink)

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...) (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

ABSTRACTIn this paper, we consider non-associative generalisations of Hájek's logics BL and psBL. As it was shown by Cignoli, Esteva, Godo, and Torrens, the former is the logic of continuous t-norms and their residua. Botur introduced logic naBL which is the logic of non-associative continuous t-norms and their residua. Thus, naBL can be viewed as a non-associative generalisation of BL. However, Botur has not presented axiomatization of naBL. We fill this gap by constructing an adequate Hilbert-style calculus for naBL. (...) Although, as was shown by Flondor, Georgescu, and Iorgulescu, there are no non-commutative continuous t-norms, Hájek's psBL can be viewed as BL's non-commutative generalisation. We present the logic psnaBL of psnaBL-algebras which can be viewed as naBL's non-commutative generalisation as well as psBL's non-associative generalisation and BL's both non-commutative and non-associative generalisation. (shrink)

This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These (...) enriched systems extend Wansing's logic I4C4, showing that Łukasiewicz negation is a species of Nelson's negation of constructible falsity and yielding a Kripke-style semantics for G~ and Gn~ to complement the many-valued semantics. (shrink)

The ŁΠ and logics were introduced by Godo, Esteva and Montagna. These logics extend many other known propositional and predicate logics, including the three mainly investigated ones (Gödel, product and Łukasiewicz logic). The aim of this paper is to show some advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in the ŁΠ family of logics (namely logics induced by the continuous finitely constructed t-norms (...) and Takeuti and Titani's fuzzy predicate logic). (shrink)

This article tells the empirical story of women from seven villages of Kwale, the most southeastern county in the Coast Province of Kenya that borders with Tanzania—Lunga Lunga, Godo, Perani, Umoja, Maasailand, Mpakani and Jirani—as they searched for community health, equity, gender equality and peace on their own terms. This article shows that creative health initiatives can be successfully used as mechanisms for peace building. Since 2010, the Nikumbuke-Health by All Means projects from the University of Madison-Wisconsin in the (...) United States, have trained 57 health promoters and 32 female actors on disease prevention and health promotion that have outreached approximately 120,000 inhabitants around the county enhancing unity in diversity, and breaking down the walls of ethnic hostilities and prejudice. Because of its low cost and high effectivity, the United Nations awarded N-HbAM[1] the 2013 Public Service Award as a model of best practice in gender, community development and sustainable wellbeing. [1] In 2013, at the time of the UNPS Award the projects were still called Nikumbuke-Health by Motorbike. The name was changed in 2018 as the projects broadened in scope and geographical location. (shrink)

The ŁΠ and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} logics were introduced by Godo, Esteva and Montagna. These logics extend many other known propositional and predicate logics, including the three mainly investigated ones (Gödel, product and Łukasiewicz logic). The aim of this paper is to show some advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in the ŁΠ family of (...) logics (namely logics induced by the continuous finitely constructed t-norms and Takeuti and Titani's fuzzy predicate logic). (shrink)

Stages on Life's Way, the sequel to Either/Or, is an intensely poetic example of Kierkegaard's vision of the three stages, or spheres, of existence: the esthetic, the ethical, and the religious. With characteristic love for mystification, he presents the work as a bundle of documents fallen by chance into the hands of "Hilarius Bookbinder," who prepared them for printing. The book begins with a banquet scene patterned on Plato's Symposium. (George Brandes maintained that "one must recognize with amazement that it (...) holds its own in this comparison.") Next is a discourse by "Judge William" in praise of marriage "in answer to objections." The remainder of the volume, almost two-thirds of the whole, is the diary of a young man, discovered by "Frater Taciturnus," who was deeply in love but felt compelled to break his engagement. The work closes with a letter to the reader from Taciturnus on the three "existence-spheres" represented by the three parts of the book. Stages on Life's Way not only repeats themes, characters, and pseudonymous authors of the earlier works but also goes beyond them and points to further development of central ideas in Concluding Unscientific Postscript. (shrink)

The first major work in the history of philosophy to bear the title "Metaphysics" was the treatise by Aristotle that we have come to know by that name. But Aristotle himself did not use that title or even describe his field of study as 'metaphysics'; the name was evidently coined by the first century C.E. editor who assembled the treatise we know as Aristotle's Metaphysics out of various smaller selections of Aristotle's works. The title 'metaphysics' -- literally, 'after the Physics' (...) -- very likely indicated the place the topics discussed therein were intended to occupy in the philosophical curriculum. They were to be studied after the treatises dealing with nature (ta phusika). In this entry, we discuss the ideas that are developed in Aristotle's treatise. (shrink)

This textbook is a compilation of central and representative texts taken from the German Søren Kierkegaard Edition. This first volume contains texts from Kierkegaard's literary legacy drawn from the first three volumes of the German Søren Kierkegaard Edition.

As a spiritual autobiography, Kierkegaard's The Point of View for My Work as an Author stands among such great works as Augustine's Confessions and Newman's Apologia pro Vita Sua. Yet Point of View is neither a confession nor a defense; it is an author's story of a lifetime of writing, his understanding of the maze of greatly varied works that make up his oeuvre. Upon the imminent publication of the second edition of Either/Or, Kierkegaard again intended to cease writing. Now (...) was the time for a direct "report to history" on the authorship as a whole. In addition to Point of View, which was published posthumously, the present volume also contains On My Work as an Author, a contemporary substitute, and the companion piece Armed Neutrality. (shrink)

Drawing on the Agency-Stewardship approach, which suggests that manager profile may range from the agent model to the steward model, this article aims to examine how important CEOs are to corporate social responsibility (CSR). Specifically, this exploratory study proposes the existence of a relationship between manager profile and CSR practices and that this relation is mediated by the perceived role of ethics and social responsibility. After applying a mediated regression analysis using survey information collected from 149 CEOs in Spain, results (...) show that those closer to the steward model are more inclined to attach great importance to ethics and social responsibility, and to implement CSR practices in their companies. Results also provide support for the suggested mediating effect. Thus, this article extends research in understanding top managers as drivers for CSR and suggests new ways to deal with this issue empirically. (shrink)

An able and clear defense of Bradley's principal theses and the underlying conception of metaphysical enterprise. "This is a book about a metaphysician, about metaphysics, and, most importantly, it attempts to develop elements of a metaphysical position long the lines of what is called Absolute Idealism." The Introduction takes up the Verificationists [[sic]] argument and two recent accounts of metaphysics. Part I devotes ten Chapters to the elucidation and defense of Bradley's conception of reality. It culminates in examining three alternative (...) accounts of "Real". Part II considers "the major philosophical theories of the self in order to defend Bradley's Theory of the self within his metaphysical scheme."--A. S. C. (shrink)

Sebastian Gardner competently tackles one of Sartre's more complex and challenging works in this new addition to the Reader's Guides series.

Sally Sedgwick presents a fresh account of Hegel's critique of Kant's theoretical philosophy. She argues that Hegel offers a compelling critique of and alternative to the conception of cognition that Kant defended in his 'Critical' period, and explores Hegel's claim to derive from Kantian doctrines clues to a superior form of idealism.

In his book Shadows of the Mind: A search for the missing science of con- sciousness [SM below], Roger Penrose has turned in another bravura perfor- mance, the kind we have come to expect ever since The Emperor’s New Mind [ENM ] appeared. In the service of advancing his deep convictions and daring conjectures about the nature of human thought and consciousness, Penrose has once more drawn a wide swath through such topics as logic, computa- tion, artificial intelligence, quantum physics (...) and the neuro-physiology of the brain, and has produced along the way many gems of exposition of difficult mathematical and scientific ideas, without condescension, yet which should be broadly appealing. 1 While the aims and a number of the topics in SM are the same as in ENM, the focus now is much more on the two axes that Pen- rose grinds in earnest. Namely, in the first part of SM he argues anew and at great length against computational models of the mind and more specifi- cally against any account of mathematical thought in computational terms. Then in the second part, he argues that there must be a scientific account of consciousness but that will require a (still to be found) non-computational extension or modification of present-day quantum physics. (shrink)

Contributed articles on relations in Indian philosophy and Sanskrit grammar.

Plato’s dialogue Cratylus focuses on being and human dependence on words, or the essential truths about the human condition. Arguing that comedy is an essential part of Plato's concept of language, S. Montgomery Ewegen asserts that understanding the comedic is key to an understanding of Plato's deeper philosophical intentions. Ewegen shows how Plato’s view of language is bound to comedy through words and how, for Plato, philosophy has much in common with playfulness and the ridiculous. By tying words, language, and (...) our often uneasy relationship with them to comedy, Ewegen frames a new reading of this notable Platonic dialogue. (shrink)

A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms.

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

There are three questions associated with Simpson’s Paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP?, and (iii) What should be done about SP? By developing a logic-based account of SP, it is argued that (i) and (ii) must be divorced from (iii). This account shows that (i) and (ii) have nothing to do with causality, which plays a role only in addressing (iii). A counterexample is also presented against the causal account. Finally, the causal and logic-based (...) approaches are compared by means of an experiment to show that SP is not basically causal. (shrink)

Revision of the author's thesis (Ph. D.--Kāśī Hindu Viśvavidyālaya, 1994) under title: Śaktiviśishṭādvaita Vedānta, eka samīkshātmka anuśīlana.

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

G. E. Moore observed that to assert, 'I went to the pictures last Tuesday but I don't believe that I did' would be 'absurd'. Over half a century later, such sayings continue to perplex philosophers. In the definitive treatment of the famous paradox, Green and Williams explain its history and relevance and present new essays by leading thinkers in the area.

Critical discussion of J.M.E. Moravcsik's paper on Plato's method of division.

There are two observations about the history of Marxism as a theory, and of the movements informed by that theory, which command wide assent. The first is an indisputable empirical observation: socialist movements proved more successful in the relatively �backward� parts of the world than in the heartlands of capitalism, where Marx expected his ideas to take root and his prophecies to be fulfilled. Marxist ideas and Marxist inspired movements once registered important successes in Eastern and Central Europe (distant as (...) that now seems!), but not in Western Europe and North America. They also -- what concerns us in this essay -- occasionally triumphed, and frequently achieved some measure of influence even where they did not triumph, in �Third World� countries. The second observation is that the phenomena of nationhood and of nationalism were never adequately theorized within Marxism; nor, in most cases, were they dealt with satisfactorily in �practical� terms. This theoretical shortcoming was frequently pointed out by non-Marxists. In more recent times Marxists have been at the forefront in pointing to this lacunae or limitation. Nicos Poulantzas urges an imputedly reluctant audience, �we have to recognize that there is no Marxist theory of the nation�. Similarly Tom Nairn adjudges, in portentious tones: �The theory of nationalism represents Marxism's great historical failure.� Both these observations are indisputably true, but a paradox becomes apparent when they are juxtaposed. It would appear that Marxism proved more influential and successful in the former colonial and semi-colonial countries of the �East� than in the bourgeois societies of Western Europe, despite the fact that in the former region the national question, one of Marxism's great theoretical failings, was an issue of pressing political importance. How can one explain this paradox? This essay argues that a major part of the answer lies in the manner in which Lenin developed and reformulated Marx's theory. It suggests that the seeds both of the successful extension of Marxism to the underdeveloped parts of the world, and of its failure to develop a theory of the nation, lay in the reformulation of Marx's thought undertaken with the theory of imperialism. In order fully to understand how Lenin developed Marx's thought, it is first necessary to consider Marx's writings on the non-Western world and what would later come to be known as the 'colonial question'. (shrink)

Classical verse work, expounding the early Vedantic approach in Hindu philosophy; Sanskrit text with Hindi translation and exhaustive introduction.