The Art of Logic by Avi Sion is a collection of recent essays on various topics in logic theory and in applied logic. The same faculty and art of logic is called for in formulating theoretical logic and in applying its findings to diverse fields. The essays here collected deal with some very important issues in logic, philosophy, and spirituality, which he had not previously treated in as much detail if at all.

The Epicurean account of the origin of language appealed to eighteenth-century thinkers who tried to reconcile a natural history of language with

the biblical account of Adamic name-giving. As a third way between Aristotelian linguistic conventionality and what was perceived as a Platonic supernatural congruence between words and things, Epicurus’

theory allowed for a measure of contingency to emerge in the evolution of initially natural signs. This hypothesis was taken up by authors as different from one another as Leibniz, Vico, Condillac and (...) Mendelssohn. By integrating the Epicurean account of language into their own theories, however, these authors also revived the tensions inherent in the ancient thesis and had to confront the ensuing difficulties in innovative ways. (shrink)

ALL THE MORE, by Avi Sion, Ph.D., comprises a merged list of 72 qal vachomer arguments in the Tanakh, i.e. of a fortiori arguments in the Hebrew Bible. This listing brings together lists proposed in past rabbinic literature and in more recent studies by the author. The literature research for it was carried out mainly by R. Yaakov Gabay, who looked into works in Hebrew by five rabbis who had proposed lists, namely: R. Shmuel Yaffe Ashkenazi (Yefeh Toar, 1597), R. (...) Zvi Hirsch Katzenellenbogen (Netivot Olam, 1822), R. Zeev Wolf Einhorn (Midrash Tannaim, 1839), R. Mattityahu Strashun (Mattat Yah, 1892), R. Chaim Hirschensohn (Berure HaMidot, 1928). The author of the present essay brought additional information from the Tanakh commentary of R. Shlomo Yitzchaki (Rashi, 11th Cent.) and an essay by R. Louis Jacobs (2005), as well as from his own past works (Judaic Logic, 1995, and A Fortiori Logic, 2013). The information thus gathered is here presented in a systematic manner, after careful evaluation by the author of each case with reference to narrative context, language used, and logical form. Efforts are made to identify which cases were known to each of the past authors, and to determine who found each case first and whether subsequent listings of the case (if any) were independent or derivative. (shrink)

Inductive Logic is a ‘thematic compilation’ by Avi Sion. It collects in one volume many (though not all) of the essays, that he has written on this subject over a period of some 23 years, which all demonstrate the possibility and conditions of validity of human knowledge, the utility and reliability of human cognitive means when properly used, contrary to the skeptical assumptions that are nowadays fashionable. A new essay, The Logic of Analogy, was added in 2022.

Exposing Fake Logic by Avi Sion is a collection of essays written after publication of his book A Fortiori Logic, in which he critically responds to derivative work by other authors who claim to know better. This is more than just polemics; but allows further clarifications of a fortiori logic and of general logic. This collection includes essays on: a fortiori argument (in general and in Judaism); Luis Duarte D’Almeida; Mahmoud Zeraatpishe; Michael Avraham (et al.); an anonymous reviewer of BDD (...) (a Bar Ilan University journal); and self-publishing. (shrink)

Logical Criticism of Buddhist Doctrines is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written on this subject over a period of some 15 years after the publication of his first book on Buddhism, Buddhist Illogic. It comprises expositions and empirical and logical critiques of many (though not all) Buddhist doctrines, such as impermanence, interdependence, emptiness, the denial of self or soul. It includes his most recent essay, regarding the five skandhas doctrine.

Logic in the Torah is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Torah and related religious documents (the Nakh, the Christian Bible, and the Koran and Hadiths) are identified and analyzed.

Logic in the Talmud is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Talmud (the Mishna and Gemara) are identified and analyzed. While this book does not constitute an exhaustive study of logic in the Talmud, it is a ground-breaking and extensive study. A new essay, The Logic of Analogy, was added in 2022.

Paradoxes and their Resolutions is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written in the past (over a period of some 27 years) on this subject. It comprises expositions and resolutions of many (though not all) ancient and modern paradoxes, including: the Protagoras-Euathlus paradox (Athens, 5th Cent. BCE), the Liar paradox and the Sorites paradox (both attributed to Eubulides of Miletus, 4th Cent. BCE), Russell’s paradox (UK, 1901) and its derivatives the (...) Barber paradox and the Master Catalogue paradox (also by Russell), Grelling’s paradox (Germany, 1908), Hempel's paradox of confirmation (USA, 1940s), and Goodman’s paradox of prediction (USA, 1955). This volume also presents and comments on some of the antinomic discourse found in some Buddhist texts (namely, in Nagarjuna, India, 2nd Cent. CE; and in the Diamond Sutra, date unknown, but probably in an early century CE). (shrink)

A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the many fallacious (...) ideas circulating regarding the nature of a fortiori reasoning. -/- The work is divided into three parts. The first part, Formalities, presents the author’s largely original theory of a fortiori argument, in all its forms and varieties. Its four (or eight) principal moods are analyzed in great detail and formally validated, and secondary moods are derived from them. A crescendo argument is distinguished from purely a fortiori argument, and similarly analyzed and validated. These argument forms are clearly distinguished from the pro rata and analogical forms of argument. Moreover, we examine the wide range of a fortiori argument; the possibilities of quantifying it; the formal interrelationships of its various moods; and their relationships to syllogistic and analogical reasoning. Although a fortiori argument is shown to be deductive, inductive forms of it are acknowledged and explained. Although a fortiori argument is essentially ontical in character, more specifically logical-epistemic and ethical-legal variants of it are acknowledged. -/- The second part of the work, Ancient and Medieval History, looks into use and discussion of a fortiori argument in Greece and Rome, in the Talmud, among post-Talmudic rabbis, and in Christian, Moslem, Chinese and Indian sources. Aristotle’s approach to a fortiori argument is described and evaluated. There is a thorough analysis of the Mishnaic qal vachomer argument, and a reassessment of the dayo principle relating to it, as well as of the Gemara’s later take on these topics. The valuable contribution, much later, by Moshe Chaim Luzzatto is duly acknowledged. Lists are drawn up of the use of a fortiori argument in the Jewish Bible, the Mishna, the works of Plato and Aristotle, the Christian Bible and the Koran; and the specific moods used are identified. Moreover, there is a pilot study of the use of a fortiori argument in the Gemara, with reference to Rodkinson’s partial edition of the Babylonian Talmud, setting detailed methodological guidelines for a fuller study. There is also a novel, detailed study of logic in general in the Torah. -/- The third part of the present work, Modern and Contemporary Authors, describes and evaluates the work of numerous (some thirty) recent contributors to a fortiori logic, as well as the articles on the subject in certain lexicons. Here, we discover that whereas a few authors in the last century or so made some significant contributions to the field, most of them shot woefully off-target in various ways. The work of each author, whether famous or unknown, is examined in detail in a dedicated chapter, or at least in a section; and his ideas on the subject are carefully weighed. The variety of theories that have been proposed is impressive, and stands witness to the complexity and elusiveness of the subject, and to the crying need for the present critical and integrative study. But whatever the intrinsic value of each work, it must be realized that even errors and lacunae are interesting because they teach us how not to proceed. -/- This book also contains, in a final appendix, some valuable contributions to general logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox. (shrink)

The Logic of Analogy is a study of the valid logical forms of qualitative and quantitative analogical argument, and the rules pertaining to them. It investigates equally valid conflicting arguments, statistics-based arguments and their utility in science, arguments from precedent used in law-making or law-application, and examines subsumption in analogical terms. Included for purposes of illustration is a large section on Talmudic use of analogical reasoning.

Theology is about God and Creation, or more precisely perhaps about our ideas of them, how they are formed and somewhat justified, although it is stressed that they can be neither proved nor disproved. This book is a thematic compilation drawn from past works by the author over a period of thirteen years. A new essay, about prayer, was added in 2022.

Ethics is a collection of thoughts on the method, form and content of Ethics. This book is a thematic compilation drawn from past works by the author, over a period of thirteen years. The essays are placed in chronological order.

The Laws of Thought is an exploration of the deductive and inductive foundations of rational thought. The author here clarifies and defends Aristotle’s Three Laws of Thought, called the Laws of Identity, Non-contradiction and Exclusion of the Middle – and introduces two more, which are implicit in and crucial to them: the Fourth Law of Thought, called the Principle of Induction, and the Fifth Law of Thought, called the Principle of Deduction. This book is a thematic compilation drawn from past (...) works by the author over a period of twenty-three years (1990-2013). (shrink)

The Self is an inquiry into the concepts of self, soul, person, ego, consciousness, psyche and mind – ranging over phenomenology, logic, epistemology, ontology, psychology, spirituality, meditation, ethics and metaphysics. This book is a thematic compilation drawn from past works (1990-2008) by the author. The present, expanded edition includes an essay written in 2016 on the Buddhist five skandhas doctrine.

Meditations. A meditation is a voluntary exercise intended to increase awareness, sustained over some time. The main purpose of the present Meditations is to inspire and assist readers to practice meditation of some sort, and in particular ‘sitting meditation’. This includes practices such as: observing the mechanisms of one’s thinking, stopping unnecessary thought, forgetting things about one’s self and one’s life that are irrelevant to the current effort of meditation, dealing with distractions, becoming aware of one’s breath, being here and (...) now. After such practice for some time, one gets to realize the value of meditation, and one’s commitment to it grows. The need for behavioral improvement becomes more and more obvious, and one finds it easy and natural to put more discipline into one’s life. Various recommendations are given in this regard. Prior to such practical guidance, so as to prepare the reader for it, the book reviews the theoretical teachings relating to meditation in the main traditions of mankind. The ultimate goals of meditation, the various methods or techniques used to achieve them, the experiential results of meditation, and the interpretations given to them, are topics treated here. (shrink)

We contest the unsubstantiated assumption of both materialists and non-materialist that the ontological status they propose applies to all humans and that the competing claim is false for all - ie we reject both the claim of non-materialists that all humans share the same fundamental aspect of having a "non-material consciousness" (nmc), as well as the contrasting claim of materialists that none do (being fully material as according to eliminative materialists/reductive physicalists etc). Instead, the basic proposition of this paper, our (...) ‘ontological conecture’ (OC) - an updated version of our 1998 website article “Mindless Materialists” - is that the central tenets of proponents on both sides are true, but only regarding themselves. A signature feature of nmc is that brains associated to it are capable of knowing of its existence directly, and as a corollary we would propose that if a sophisticated brain does not know it is associated to nmc then most likely this is because it is in fact not so associated. Thus, in accordance with our OC we will consider a brain’s statements on this issue (that it does or does not possess nmc) as not merely its ‘philosophical position’ but as an authoritative statement, a reflection of an ontological fact. Furthermore, we propose that only those who possess nmc are capable of understanding what it is, so that although they are well-qualified to know directly that they themselves possess it, in contrast those who lack nmc and possess only material consciousness (mc) cannot even comprehend what non-materiality means - they will understandably tend to consider it a non-existent absurdity, which contention would be quite correct in a purely-material reality, such as they effectively inhabit. -/- Terminology reflecting ontological status: Since according to our OC those brains which categorize themselves as non-materialists are presumed to indeed be associated to nmc, for usefulness in phraseology we’ll refer to people whose brain is so associated as being nmc’s (not merely “espousing nmc”). Materialists say they are conscious but that theirs is a material consciousness (abbrev: “mc”) , and since according to our OC we accept this self-determination we will refer to them as being “mc’s” or being materialist (not merely “espousing materialism”). -/- Are materialists mindless or are non-materialists delusional? Notoriously, it is impossible to prove that one possesses nmc (which is a sort of corollary to the fact that it is directly self-known) - being non-material, nmc cannot be detected via the scientific method. However just as those with nmc cannot prove they possess it so too one cannot prove or determine via measurement that materialists do not possess it. Nevertheless we feel that our OC is the simplest solution to the conundrum of how there are materialists if a brain can directly sense its associated nmc. In sum, although of course it is impossible to prove that any particular person possesses or lacks nmc, given all the above our OC considers - as stated by the title of this paper - a brain’s self-identification as "materialist" or “non-materialist” (dualist, panpsychist, idealist etc) as reflecting the absence or presence of an associated real non-material awareness/consciousness, rather than merely as a statement of a philosophical stance. An alternative solution is implicit in the above - that all humans possess nmc just that materialists are those whose brains lack the awareness of theirs, or that the brain-aspect which communicates to others has no access to it. -/- Towards developing more constructive dialogue between mc’s/nmc’s, and greater self-confidence and independence among nmc’s in the face of materialist dominance of the intellectual-climate: A large part of the overall paper is devoted to not just pointing out the futility of communication of the sort usually engaged in - ie based on the erroneous underlying assumption that both sides of the debate are ontologically the same - but also suggesting ways to make the debate less frustrating by a recognition of the OC. Greater clarity in discussions can be achieved partly via a deeper understanding of the different meanings the same term might have to nmc’s/mc’s and suggestions relevant the construction of a sort of translation algorithm to utilize in discussions (as a simple example, substituting ‘higher-level cognitive material brain-processes’ for ‘mind’ when that term is used by an mc); by the frank statement by nmc’s engaged in dialogue with mc’s that the existence of nmc is not up for discussion; by learning how the existence of our nmc colors the meaning we give to certain terms in ways we were not aware of, meanings which are absent for mc’s; and in general via the recognition by the nmc that the dialogue is with a person lacking nmc. -/- Perhaps materialists are right: In the interest of ‘reciprocity’, the paper also offers an alternative/opposing view to the central proposition, to the effect that the materialist claim is correct, and it is a defect of brain wiring or structure which is the source of an active illusion of "self-awareness" underlying the philosophical claims of non-materialists. A prospective source of this illusion is offered - an analog of the sense of presence experienced during ‘sleep paralysis’. (shrink)

A belief in a firm correspondence between objects, ideas, and their representation in language pervaded the works of Anne Robert Jacques Turgot

(1727–1781) in 1750. This conviction is particularly manifest in Turgot’s sharp critique of Berkeley’s philosophical system and his remarks on Maupertuis’s reconstruction of the origin of language. During the 1750s Turgot’s epistemological views underwent a change, apparent in two of his contributions to the Encyclopédie: the entries Existence and Étymologie (1756). These articles included a reassessment of Berkeleyan immaterialism, facing (...) an ultimate crisis of definition and representation. A similar development may be traced in contemporary works by Condillac and Diderot. Turgot’s Encyclopédie entries also envisaged a new science, an archeology of the human mind aided by the examination of linguistic development and change. This entailed the scientific verification of conjectures in any historical account of ideas, turning etymological

and psychological inquiries into what Turgot termed ‘experimental metaphysics’. (shrink)

In July 1759 the French philosopher Andre´ Pierre Le Guay de Prémontval (1716-1764) published in Berlin a diatribe against the excessive and incorrect use of French in the Prussian capital. Far from being a mere guide to linguistic style, the Préservatif contre la corruption de la langue françoise generated a heated debate, attested by an official threat to ban its publication. The personal animosity between Prémontval and the perpetual secretary of the Berlin Academy, Jean Henri Samuel Formey (1711-1797) was amply (...) demonstrated over the pages of the Préservatif, offering a rare insight into the complex web of social and intellectual tensions in mid eighteenth-century Berlin and its Academy of Sciences. At stake were the social status and the philosophical outlook of local Huguenots, compared to that of French philosophers who were granted asylum in Prussia by Frederick II. The debate also concerned the issues of academic freedom in an absolutist regime, the material production and distribution of texts, conduct and etiquette in the Republic of Letters and the formation of group identities in eighteenth-century Germany. Drawing on manuscripts preserved in Berlin, Göttingen and Krakow, this article traces the development of the controversy and the reception of Prémontval’s work by both French- and German- writing authors at the Berlin Academy and beyond its confines. (shrink)

Hume argues that we succumb to the vice of prejudice when we fail to correct negative generalizations about social groups in the face of counter-evidence. We are blameworthy for these biases, moreover, even if they are unavoidable. Hume’s theory of doxastic responsibility entails that his own racial prejudices are deserving of condemnation. In contrast, contemporary vice epistemologists are more inclined to absolve agents of culpability for prejudices beyond their control.

Unfortunately, many people today see the regulation of lies, disinformation, hate speech, and fake news as an infringement of free speech, at least when such speech is ‘political,’ despite the damage that such speech can do. But this very protective attitude toward speech rests on a mistaken understanding of the role of free speech in a liberal society. The right to free speech is based on the liberal value of freedom, and as such can be no broader than freedom itself. (...) And freedom has always been subject to reasonable limits in a liberal society. Indeed, while the principles of toleration and neutrality are often cited as supporting a broad interpretation of the right to free speech, they also tell us that certain limits apply to that right. We need not tolerate speech that encourages intolerance, and while government should be neutral between reasonable conceptions of the good, it need not be neutral between reasonable and unreasonable conceptions. These ideas form the framework of liberal society, and as I shall show, also provide a guide for understanding what kind of speech is protected in a liberal society and what it is not. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the Bible, and (...) analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

In the accepted view, the basic disposition of believers is one of absolute obedience, humility, and lack of critique, doubt, or, indeed, defiance of God. Only through such a disposition do believers convey their absolute faith and establish the appropriate hierarchy between God and humans. This article challenges this view and argues that, in mainstream rabbinic tradition, the believer is not required to renounce his or her moral autonomy and certainly not his or her understanding of God and the world. (...) Indeed, faith rests on such understanding; moreover, human autonomy is the mechanism through which humans convey God’s goodness and perfection. Their questions and criticism are part of a persistent effort to close the evident gap between their assumptions about God’s goodness and the flawed imperfect reality. The analysis focuses on rabbinic tradition but its implications go beyond it, presenting a model of a life of faith that compels subjects, as believers, to preserve their constitutive foundations as rational autonomous creatures. (shrink)

Buddhist Illogic. The 2nd Century CE Indian philosopher Nagarjuna founded the Madhyamika (Middle Way) school of Mahayana Buddhism, which strongly influenced Chinese, Korean and Japanese (Ch’an or Zen) Buddhism, as well as Tibetan Buddhism. Nagarjuna is regarded by many Buddhist writers to this day as a very important philosopher, who they claim definitively proved the futility of ordinary human cognitive means. His writings include a series of arguments purporting to show the illogic of logic, the absurdity of reason. He considers (...) this the way to verbalize and justify the Buddhist doctrine of “emptiness” (Shunyata). These arguments attack some of the basic tenets and techniques of reasoning, such as the laws of thought (identity, non-contradiction and the excluded middle), conceptualization and predication, our common assumptions of self, entities and essences, as well as our beliefs in motion and causation. The present essay demonstrates the many sophistries involved in Nagarjuna’s arguments. He uses double standards, applying or ignoring the laws of thought and other norms as convenient to his goals; he manipulates his readers, by giving seemingly logical form (like the dilemma) to his discourse, while in fact engaged in non-sequiturs or appealing to doubtful premises; he plays with words, relying on unclear terminology, misleading equivocations and unfair fixations of meaning; and he ‘steals concepts’, using them to deny the very percepts on which they are based. Although a critique of the Madhyamika philosophical interpretation and defense of “emptiness”, Buddhist Illogic is not intended to dissuade readers from Buddhism. On the contrary, its aim to enhance personal awareness of actual cognitive processes, and so improve meditation. It is also an excellent primer on phenomenological epistemology. (shrink)

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with regard to (...) inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments. (shrink)

Phenomenology is the study of appearance as such. It is a branch of both Ontology and Epistemology, since appearing is being known. By an ‘appearance’ is meant any existent which impinges on consciousness, anything cognized, irrespective of any judgment as to whether it be ‘real’ or ‘illusory.’ The evaluation of a particular appearance as a reality or an illusion is a complex process, involving inductive and deductive logical principles and activities. Opinion has to earn the status of strict knowledge. Knowledge (...) develops from appearances, which may be: (a) objects of perception, i.e. concrete phenomena in the physical or mental domains; (b) objects of intuition, i.e. one’s subjective self, cognitions, volitions and valuations (non-phenomenal concretes); and/or (c) objects of conception, i.e. simple or complex abstracts of preceding appearances. Abstraction relies on apprehensions of sameness and difference between appearances (including received or projected appearances, and projected negations of appearances). Coherence in knowledge (perceptual, intuitive and conceptual) is maintained by apprehensions of compatibility or incompatibility. Words facilitate our construction of conceptual knowledge, thanks to their intentionality. The abstract concepts most words intend are common characters or behaviors of particulars (concrete material, mental or subjective experiences). Granting everything in the world is reducible to waves, ‘universals’ would be equalities or proportionalities in the measures of the features, motions and interrelations of particular waves. Such a theory of universals would elucidate sensation and memory. In attempting to retrace the development of conceptual knowledge from experience, we may refer to certain major organizing principles. It is also important to keep track of the order of things in such development, interrelating specific concepts and specific experiences. By proposing a precise sequence of events, we avoid certain logical fallacies and are challenged to try and answer certain crucial questions in more detail. Many more topics are discussed in the present collection of essays, including selfhood, adduction and other logical issues, the status of mathematical concepts and theology. (shrink)

Ruminations is a collection of sundry notes and essays on Logic. These complement and enrich the author’s past writings, further analyzing or reviewing certain issues. Among the many topics covered are: the importance of the laws of thought, and how they are applied using the logic of paradox; details of formal logic, including some important new insights on the nesting, merger and splitting up of hypothetical propositions; details of causal logic, including analogical reasoning from cause to cause; a cutting-edge phenomenological (...) analysis of negation. Additionally, this volume is used to publish a number of notes and essays previously only posted in his Internet site, including a history of Jewish logic and an analysis of Islamic logic. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

Volition and Allied Causal Concepts is a work of aetiology and metapsychology. Aetiology is the branch of philosophy and logic devoted to the study of causality (the cause-effect relation) in all its forms; and metapsychology is the study of the basic concepts common to all psychological discourse, most of which are causal. Volition (or free will) is to be distinguished from causation and natural spontaneity. The latter categories, i.e. deterministic causality and its negation, have been treated in a separate work, (...) The Logic of Causation. Volition may be characterized as personal causality, a relation between an agent (the self or soul) and his actions (acts of will). Unlike causation, this relation cannot be entirely defined using conditional (if–then) propositions. Although we can say that the agent is a sine qua non of his actions, we cannot say that the agent is invariably (in all or specific circumstances) followed by his actions. It appears that both an act of will and its negation remain possible to a soul in any given set of circumstances. This defines freedom of the will, and implies the responsibility of the agent for his actions. Introspection provides knowledge of particular acts of will. The existence of freewill implies a distinction between necessary causation (determinism independent of volition) and inertial causation (determinism, except when some contrary will interferes). An act of will occurs on a spiritual plane. It may have natural (mental or physical) consequences; those that inevitably follow it may be regarded as directly willed, whereas those that vary according to circumstances must be considered indirectly willed. Volition presupposes some degree of consciousness. So-called involuntary acts of will involve a minimum of attention, whereas mindful acts are fully conscious. Even pure whim involves intention. Most volitions moreover involve valuation, some sort of projection of goals, deliberation on means, choice and decision. To judge responsibility, various distinctions are called for, like that between intentional, incidental and accidental consequences. Volitional action can be affected through the terms and conditions of the world surrounding its agent, but also more intimately through the influence of concrete or abstract aspects of that world that the subject has cognized. The causal concept of influence, and its implication of cognition (of inner or outer information, including emotions), are crucial to measuring the effort involved in volition. Influences make willing easier or harder, yet do not curtail its essential freedom. All the causal concepts used in psychological explanation – affections, appetites, instincts, habits, obsessions, compulsions, urges and impulses – can be elucidated thanks to this important finding. Much of human (and animal) behavior can thus be both acknowledged as volitional and as variously influenced. Volition and Allied Causal Concepts is a work of ambitious scope, intent on finally resolving philosophical and logical issues that have always impeded progress in psychology. It clarifies the structure and workings of the psyche, facilitating hygienic and therapeutic endeavors. The relation between volition and physical laws is discussed, as is the place of volition in biology. Concepts used in biology, analogous to that of purpose, are incidentally analyzed. Theological issues are also dealt with, as are some topics in ethics and law. (shrink)

Orwell’s views on the nature of free speech are significantly more complex than is often recognized. This paper examines what he had to say about freedom of speech and intellectual freedom. It seeks to provide a philosophical analysis of his understanding and use of these concepts and to address some apparent tensions in his thought. In so doing, the paper identifies five dominant aspects of Orwell’s account of free speech. He viewed free speech as closely related to intellectual freedom, which (...) he highly valued; he treated free speech as primarily about the ability to say what one believes to be true; he thought that both government and various kinds of private actors posed serious threats to free speech; he believed that free speech required social safeguards, in addition to legal protection; and he recognized that free speech was a right with limits. He wrote little about the freedom of speech for liars. The paper concludes with the observation that he, therefore, left us with a number of crucial questions to discuss and think about for ourselves. (shrink)

Questions regarding the formation of the Universe and ‘what was there’ before it came to existence have been of great interest to mankind at all times. Several suggestions have been presented during the ages – mostly assuming a preliminary state prior to creation. Nevertheless, theories that require initial conditions are not considered complete, since they lack an explanation of what created such conditions. We therefore propose the ‘Creatio Ex Nihilo’ (CEN) theory, aimed at describing the origin of the Universe from (...) ‘nothing’ in information terms. The suggested framework does not require amendments to the laws of physics: but rather provides a new scenario to the Universe initiation process, and from that point merges with state-of-the-art cosmological models. The paper is aimed at providing a first step towards a more complete model of the Universe creation – proving that creation Ex Nihilo is feasible. Further adjustments, elaborations, formalisms and experiments are required to formulate and support the theory. (shrink)

Fitting Attitudes accounts of value analogize or equate being good with being desirable, on the premise that ‘desirable’ means not, ‘able to be desired’, as Mill has been accused of mistakenly assuming, but ‘ought to be desired’, or something similar. The appeal of this idea is visible in the critical reaction to Mill, which generally goes along with his equation of ‘good’ with ‘desirable’ and only balks at the second step, and it crosses broad boundaries in terms of philosophers’ other (...) commitments. For example, Fitting Attitudes accounts play a central role both in T.M. Scanlon’s [1998] case against teleology, and in Michael Smith [2003], [unpublished] and Doug Portmore’s [2007] cases for it. And of course they have a long and distinguished history. (shrink)

What is it to have a reason? According to one common idea, the "Factoring Account", you have a reason to do A when there is a reason for you to do A which you have--which is somehow in your possession or grasp. In this paper, I argue that this common idea is false. But though my arguments are based on the practical case, the implications of this are likely to be greatest in epistemology: for the pitfalls we fall into when (...) trying to defend the Factoring Account reflect very well the major developments in empiricist epistemology during the 20th century. I conjecture that this is because epistemologists have been--wrongly--wedded to the Factoring Account about evidence, which I conjecture is a certain kind of reason to believe. (shrink)

Intentions matter. They have some kind of normative impact on our agency. Something goes wrong when an agent intends some end and fails to carry out the means she believes to be necessary for it, and something goes right when, intending the end, she adopts the means she thinks are required. This has even been claimed to be one of the only uncontroversial truths in ethical theory. But not only is there widespread disagreement about why this is so, there is (...) widespread disagreement about in what sense it is so. In this paper I explore an underdeveloped answer to the question of in what sense it is so, and argue that resolving an apparent difficulty with this view leads to an attractive picture about why it is so. (shrink)

In the 1960s, Peter Geach and John Searle independently posed an important objection to the wide class of 'noncognitivist' metaethical views that had at that time been dominant and widely defended for a quarter of a century. The problems raised by that objection have come to be known in the literature as the Frege-Geach Problem, because of Geach's attribution of the objection to Frege's distinction between content and assertoric force, and the problem has since occupied a great deal of the (...) attention both of defenders of broadly noncognitivist views, and of their critics. In this article I explain Geach and Searle's historical objections, and put the subsequent discussion into dialectical context, paying some attention to the developments along the way and how they have enhanced our overall understanding of the problem. The article covers a lot of territory, so we will only be able to see the highlights, along the way. For further reading, see the Works Cited. (shrink)

Allow me to rehearse a familiar scenario. We all know that which ends you have has something to do with what you ought to do. If Ronnie is keen on dancing but Bradley can’t stand it, then the fact that there will be dancing at the party tonight affects what Ronnie and Bradley ought to do in different ways. In short, (HI) you ought, if you have the end, to take the means. But now trouble looms: what if you have (...) dreadful, murderous ends? Ought you to take the means to them? Seemingly not. But fortunately, an assumption made by deontic logics1 comes to the rescue. Since ‘‘ought’’, according to this assumption, is a sentential operator, HI must really be ambiguous. It could be read either as (Narrow) You have the end ! O(you take the means) or as (Wide) O(you have the end ! you take the means). Now if Narrow is true, then you really ought to take the means to your murderous ends. But this doesn’t follow from Wide. All that follows from Wide is that you ought to either take the means to these ends or else give them up. Conclusions: (1) Since HI is on some reading true, but Narrow isn’t, Wide is true. (2) Wide accounts for the relationship between your ends and what you ought to do. This elegant scenario repeats itself in many other domains in which it seems like something can have a bearing on what some particular agent ought to do. Does what you know affect what you ought to do? Do your beliefs about what you ought to do affect what you ought to do? Do your promises affect what you ought to do? Do your beliefs affect what you ought to believe? On each of these counts, the intuitive answer is ‘‘yes’’. And so each of these questions leaves something for the moral philosopher or the epistemologist to investigate. On each count, it seems that what we all know, is that (Account) you ought, if p, to do A. But on each count, the Narrow-scope reading of the ‘‘ought’’ in this claim yields unintuitive consequences. So since Account is true, it must be true on the Wide-scope reading.. (shrink)

Research notes of Mark Pettinelli about cognitive science, cognitive psychology.

It is now generally understood that constraints play an important role in commonsense moral thinking and generally accepted that they cannot be accommodated by ordinary, traditional consequentialism. Some have seen this as the most conclusive evidence that consequentialism is hopelessly wrong,1 while others have seen it as the most conclusive evidence that moral common sense is hopelessly paradoxical.2 Fortunately, or so it is widely thought, in the last twenty-five years a new research program, that of Agent-Relative Teleology, has come to (...) the rescue on all sides. While consequentialism says that every agent ought always to do that action that will bring about the most good, according to Agent- Relative Teleology. (shrink)

The best writing of Mark Pettinelli, about cognitive psychology, cognitive science, etc.

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)

Provides an overview of Mark Sharlow's philosophical work with summaries of his positions. Includes references and links to his writings.

It doesn’t seem possible to be a realist about the traditional Christian God while claiming to be able to reduce God talk in naturalistically acceptable terms. Reduction, in this case, seems obviously eliminativist. Many philosophers seem to think that the same is true of the normative—that reductive “realists” about the normative are not really realists about the normative at all, or at least, only in some attenuated sense. This paper takes on the challenge of articulating what it is that makes (...) reductive theological realism look hopeless, with the aim of explaining why we should think that the normative is relevantly different. Although it follows from my diagnosis that reductivists have their work cut out for them, I find nothing which suggests that the prospects for a successful reductive realism about the normative are in any way diminished—particularly for reductive views about reasons. Even reductivists, I argue, can at least aspire to a realism that is robust. (shrink)

This collection of articles is almost all of the psychological writings of Mark Pettinelli.

This article considers two important problems for the idea that what we ought to do is determined by the balance of competing reasons. The problems are distinct, but the object of the article is to explore how they admit of a single solution. It is a consequence of this solution that objective reasons—facts that count in favor—are in an important sense less objective than they have consistently been assumed to be. This raises but does not answer the question as to (...) what evidence we ever had that reasons are as objective as has been assumed. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

In this paper I explore how and why personal identity might be essentially narrative in nature. My topic is the question of personal identity in the strict sense of identity—the question of which person you are, and how that person is extended in space, time, and quality. In this my question appears to contrast with the question of personal identity in the sense sought by teenagers and sufferers of mid-life crises who are trying to ‘find themselves’. But in fact it (...) will be key to my argument that these questions are not distinct and independent. Whereas Parfit was concerned, in his work on personal identity, with how he was extended over time, the teenager who is finding themselves is concerned with how they are extended in quality. Indeed, the core of my argument is that because narrative is the key to understanding how we are extended in quality, and quality is just one more dimension along which we are extended, along with space and time, narrative must also be the clue as to how we are extended in space and time. You, I will argue, are the protagonist in the best story of your life. (shrink)

Using path-breaking discoveries of cognitive science, Mark Johnson argues that humans are fundamentally imaginative moral animals, challenging the view that morality is simply a system of universal laws dictated by reason. According to the Western moral tradition, we make ethical decisions by applying universal laws to concrete situations. But Johnson shows how research in cognitive science undermines this view and reveals that imagination has an essential role in ethical deliberation. Expanding his innovative studies of human reason in Metaphors We (...) Live By and The Body in the Mind, Johnson provides the tools for more practical, realistic, and constructive moral reflection. (shrink)

Because obituaries are succinct and explicitly intended to summarize their subjects’ lives, they may be expected to include only the features that the author finds most salient but also to signal to others in the community the socially-recognized aspects of the deceased’s character. We begin by reviewing studies 1 and 2, in which obituaries were carefully read and labeled. We then report study 3, which further develops these results with a semi-automated, large-scale semantic analysis of several thousand obituaries. Geography, gender, (...) and elite status all turn out to be associated with the virtues and values associated with the deceased. (shrink)

This book investigates what change is, according to Aristotle, and how it affects his conception of being. Mark Sentesy argues that change leads Aristotle to develop first-order metaphysical concepts such as matter, potency, actuality, sources of being, and the teleology of emerging things. He shows that Aristotle’s distinctive ontological claim—that being is inescapably diverse in kind—is anchored in his argument for the existence of change. -/- Aristotle may be the only thinker to have given a noncircular definition of change. (...) When he gave this definition, arguing that change is real was a losing proposition. To show that it exists, he had to rework the way philosophers understood reality. His groundbreaking analysis of change has long been interpreted through a Platonist lens, however, in which being is conceived as unchanging. Offering a comprehensive reexamination of the relationship between change and being in Aristotle, Sentesy makes an important contribution to scholarship on Aristotle, ancient philosophy, the history and philosophy of science, and metaphysics. (shrink)