Aristotelian Formal and Material Logic


Book Description

Based on Aristotle's analysis of the form and matter found in human thought, this book examines the three steps the mind takes in arriving at the truth: defining, judging, and reasoning. The author further analyzes the type of material demanded for scientific or demonstrative knowledge: universal, necessary, and proper propositions and applies this examination to modern science.




Aristotle’s Modal Syllogistic


Book Description

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity—and is today widely regarded as incoherent. In this meticulously argued new study, Marko Malink presents a major reinterpretation of Aristotle’s modal syllogistic. Combining analytic rigor with keen sensitivity to historical context, he makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle’s philosophy. Aristotle’s modal syllogistic differs significantly from modern modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics—specifically, its theory of predicables (definition, genus, differentia, proprium, and accident) and the ten categories (substance, quantity, quality, and so on). The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle’s modal propositions, one that verifies the ancient philosopher’s claims of the validity and invalidity of modal inferences. Malink recognizes some limitations of this reconstruction, acknowledging that his proof of syllogistic consistency depends on introducing certain complexities that Aristotle could not have predicted. Nonetheless, Aristotle’s Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts, and offers a fresh perspective on the origins of modal logic.




Aristotle on Teleology


Book Description

Monte Johnson examines one of the most controversial aspects of Aristiotle's natural philosophy: his teleology. Is teleology about causation or explanation? Does it exclude or obviate mechanism, determinism, or materialism? Is it focused on the good of individual organisms, or is god or man the ultimate end of all processes and entities? Is teleology restricted to living things, or does it apply to the cosmos as a whole? Does it identify objectively existent causes in the world, or is it merely a heuristic for our understanding of other causal processes? Johnson argues that Aristotle's aporetic approach drives a middle course between these traditional oppositions, and avoids the dilemma, frequently urged against teleology, between backwards causation and anthropomorphism. Although these issues have been debated with extraordinary depth by Aristotle scholars, and touched upon by many in the wider philosophical and scientific community as well, there has been no comprehensive historical treatment of the issue. Aristotle is commonly considered the inventor of teleology, although the precise term originated in the eighteenth century. But if teleology means the use of ends and goals in natural science, then Aristotle was rather a critical innovator of teleological explanation. Teleological notions were widespread among his predecessors, but Aristotle rejected their conception of extrinsic causes such as mind or god as the primary causes for natural things. Aristotle's radical alternative was to assert nature itself as an internal principle of change and an end, and his teleological explanations focus on the intrinsic ends of natural substances - those ends that benefit the natural thing itself. Aristotle's use of ends was subsequently conflated with incompatible 'teleological' notions, including proofs for the existence of a providential or designer god, vitalism and animism, opposition to mechanism and non-teleological causation, and anthropocentrism. Johnson addresses these misconceptions through an elaboration of Aristotle's methodological statements, as well as an examination of the explanations actually offered in the scientific works.




Socratic Logic 3e Pbk


Book Description

Symbolic logic may be superior to classical Aristotelian logic for the sciences, but not for the humanities. This text is designed for do-it-yourselfers as well as classrooms.




Reason in Revolt


Book Description

The achievements of science and technology during the past century are unparalleled in history. They provide the potential for the solution to all the problems faced by the planet, and equally for its total destruction. Allegedly scientific theories are being used to "prove" that criminality is caused, not by social conditions, but by a "criminal gene". Black people are alleged to be disadvantaged, not because of discrimination, but because of their genetic make-up. Of course, such "science" is highly convenient to right-wing politicians intent on ruthlessly cutting welfare. In the field of theoretical physics and cosmology there is a growing tendency towards mysticism. The "Big Bang" theory of the origin of the universe is being used to justify the existence of a Creator, as in the book of Genesis . For the first time in centuries, science appears to lend credence to religious obscurantism. Yet this is only one side of the story.




An Introduction to Formal Logic


Book Description

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.







Aristotle on Truth


Book Description

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process he discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language.




The History of Philosophical and Formal Logic


Book Description

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages (Aristotle and The Stoics) The early modern period (Bolzano, Boole) High modern period (Frege, Peano & Russell and Hilbert) Early 20th century (Godel and Tarski) Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic.




Forall X


Book Description