Fred Sommers

An Invitation to Formal Reasoning introduces the discipline of formal logic by means of a powerful new system formulated by Fred Sommers. This system, term logic, is different in a number of ways from the standard system employed in modern logic; most striking is its greater simplicity and naturalness. Based on a radically different theory of logical syntax than the one Frege used when initiating modern mathematical logic in the 19th Century, term logic borrows insights from Aristotle's syllogistic, Scholastic logicians, Leibniz, and the 19th century British algebraists. Term logic takes its syntax directly from natural language, construing statements as combinations of pairs of terms, where complex terms are taken to have the same syntax as statements. Whereas standard logic requires extensive 'translation' from natural language to symbolic language, term logic requires only 'transcription' into the symbolic language. Its naturalness is the result of its ability to stay close to the forms of sentences usually found in every day discourse. Written by the founders of the term logic approach, An Invitation to Formal Reasoning is a unique introduction and exploration of this new system, offering numerous exercises and examples throughout the text. Summarising the standard system of mathematical logic to set term logic in context, and showing how the two systems compare, this book presents an alternative approach to standard modern logic for those studying formal logic, philosophy of language or computer theory. Fred Sommers is Professor Emeritus, Brandeis University, USA; George Englebretsen is Professor of Philosophy, Bishop's University, Canada.

VICE AND VIRTUE IN EVERYDAY LIFE has been a popular choice in college ethics course study for more than two decades because it is well-liked by both college instructors and students. Course instructors appreciate it for its philosophical breadth and seriousness while college students and other readers welcome the engaging topics and readings. VICE AND VIRTUE IN EVERYDAY LIFE provides students with a lively selection of classical and contemporary readings on pressing matters of personal and social morality. The text includes an overview of seminal ethical theories, as well as a unique set of stimulating articles on matters of social responsibility, personal integrity and individual virtue. While the readings consistently represent different points of view, the book also challenges readers to go beyond theoretical applications and contingent circumstances, to cultivate virtuous decision-making in their own lives.

The purpose Tarski speaks of is "to do justice to our intuitions which adhere to the classical Aristotelian conception of truth." Tarski takes this to be some form of correspondence theory. He has earlier considered and rejected an even less satisfactory formula of this sort: 'a sentence is true if it corresponds to reality'. His own semantic conception of truth is meant to be a more precise variant doing justice to the correspondence standpoint. In this spirit I shall presently suggest a revised version of.

" Vice and virtue in everyday life is a bestseller in college ethics because students find the readings both personally engaging and intellectually challenging. Under the guidance of classical and modern writers on morality, students using this textbook come to grips with moral issues of everyday life. They discover that some currently fashionable approaches to morality, such as egoism and relativism, have long histories. They also become aquainted with the debates and criticisms of various moral doctrines, learning central ethical theories and methods for reasoning about moral issues in the process." -- Back cover.

Modern thinkers regard logic as a purely formal discipline like number theory, and not to be confused with any empirical discipline such as cognitive psychology, which may seek to characterize how people actually reason. Opposed to this is the traditional view that even a formal logic can be cognitively veridical – descriptive of procedures people actually follow in arriving at their deductive judgments (logic as Laws of Thought). In a cognitively veridical logic, any formal proof that a deductive judgment, intuitively arrived at, is valid should ideally conform to the method the reasoning subject has used to arrive at that judgment. More specifically, it should reveal the actual reckoning process that the reasoning subject more or less consciously carries out when they make a deductive inference. That the common logical words used in everyday reasoning – words such as 'and', 'if,''some', 'is''not,' and 'all'– have fixed positive and negative charges has escaped the notice of modern logic. The present paper shows how, by unconsciously recognizing 'not' and 'all' as 'minus-words', while recognizing 'and', 'some', and 'is' as 'plus words', a child can intuitively reckon, for example, 'not (−) all (−) dogs are (+) friendly' as equivalent to 'some (+) dogs aren't (−) friendly': −(−D+F) = +D−F.