- Table View
- List View
A Logical Introduction to Proof
by Daniel W. CunninghamThe book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
Logical Investigations Volume 1
by Edmund Husserl Dermot MoranEdmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy.This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance.These editions include a new preface by Sir Michael Dummett.
Logical Investigations Volume 1
by Edmund Husserl Dermot MoranEdmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy.This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance.These editions include a new preface by Sir Michael Dummett.
Logical Investigations Volume 2
by Edmund Husserl Dermot MoranEdmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy.This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance.These editions include a new preface by Sir Michael Dummett.
Logical Investigations Volume 2
by Edmund Husserl Dermot MoranEdmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy.This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance.These editions include a new preface by Sir Michael Dummett.
The Logical Legacy of Nikolai Vasiliev and Modern Logic (Synthese Library #387)
by Vladimir Markin Dmitry ZaitsevThis volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights.
Logical Methods: The Art of Thinking Abstractly and Mathematically
by Roger AntonsenMany believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically. Mathematics is a way of thinking. It is an activity that is both highly creative and challenging. This book offers an introduction to mathematical reasoning for beginning university or college students, providing a solid foundation for further study in mathematics, computer science, and related disciplines. Written in a manner that directly conveys the sense of excitement and discovery at the heart of doing science, its 25 short and visually appealing chapters cover the basics of set theory, logic, proof methods, combinatorics, graph theory, and much more. In the book you will, among other things, find answers to:What is a proof? What is a counterexample?What does it mean to say that something follows logically from a set of premises?What does it mean to abstract over something?How can knowledge and information be represented and used in calculations?What is the connection between Morse code and Fibonacci numbers?Why could it take billions of years to solve Hanoi's Tower? Logical Methods is especially appropriate for students encountering such concepts for the very first time. Designed to ease the transition to a university or college level study of mathematics or computer science, it also provides an accessible and fascinating gateway to logical thinking for students of all disciplines.
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday (Progress in Computer Science and Applied Logic #12)
by John N. Crossley Jeffrey B. Remmel Richard Shore Moss E. SweedlerThe twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.
Logical Models of Legal Argumentation
by GiovanniSartor HenryPrakkenIn the study of forms of legal reasoning, logic and argumentation theory long followed separate tracks. `Legal logicians' tended to focus on a deductive reconstruction of justifying a decision, disregarding the dialectical process leading to the chosen justification. Others instead emphasized the adversarial and discretionary nature of legal reasoning, involving reasonable evaluation of alternative choices, and the use of analogical reasoning. Recently, however, developments in Artificial Intelligence and Law have paved the way for overcoming this separation. Logic has widened its scope to defensible argumentation, and informal accounts of analogy and dialectics have inspired the construction of computer programs. Thus the prospect is emerging of an integrated logical and dialectical account of legal argument, adding to the understanding of legal reasoning, and providing a formal basis for computer tools that assist and mediate legal debates while leaving room for human initiative. This book presents contributions to this development. From a logical point of view it covers topics such as evaluating conflicting arguments, weighing reasons, modelling legal disputes as a dialogue game, the role of the burden of proof, the relation between principles, rules, reasons and facts, and the relation between deductive and nondeductive arguments. Written by leading scholars in the field and building on recent developments in logic and Artificial Intelligence, the chapters provide a state-of-the-art account of research on the logical aspects of legal argument.
The Logical Must: Wittgenstein on Logic
by Penelope MaddyThe Logical Must is an examination of Ludwig Wittgenstein's philosophy of logic, early and late, undertaken from an austere naturalistic perspective Penelope Maddy has called "Second Philosophy." The Second Philosopher is a humble but tireless inquirer who begins her investigation of the world with ordinary perceptual beliefs, moves from there to empirical generalizations, then to deliberate experimentation, and eventually to theory formation and confirmation. She takes this same approach to logical truth, locating its ground in simple worldly structures and our knowledge of it in our basic cognitive machinery, tuned by evolutionary pressures to detect those structures where they occur. In his early work Tractatus Logico-Philosophicus, Wittgenstein also links the logical structure of representation with the structure of the world, but he includes one key unnaturalistic assumption: that the sense of our representations must be given prior to-independently of-facts about how the world is. When that assumption is removed, the general outlines of the resulting position come surprisingly close to the Second Philosopher's roughly empirical account. In his later discussions of logic in Philosophical Investigations and Remarks on the Foundations of Mathematics, Wittgenstein also rejects this earlier assumption in favor of a picture that arises in the wake of the famous rule-following considerations. Here Wittgenstein and the Second Philosopher operate in even closer harmony-locating the ground of our logical practices in our interests, our natural inclinations and abilities, and very general features of the world-until the Second Philosopher moves to fill in the account with her empirical investigations of the world and cognition. At this point, Wittgenstein balks, but as a matter of personal animosity rather than philosophical principle.
Logical Number Theory I: An Introduction (Universitext)
by Craig SmorynskiNumber theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography.
Logical Skills: Social-Historical Perspectives (Studies in Universal Logic)
by Julie Brumberg-Chaumont Claude RosentalThis contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses.Specific topics covered include:the rise of logical skillsproblems concerning medieval notions of idiocy and rationalitydecolonizing natural logicnatural logic and the course of timeLogical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.
The Logical Status of ‘God’: The Function of Theological Sentences (New Studies in the Philosophy of Religion)
by Michael Durrant
The Logical Structure of Kinds
by Eric FunkhouserEric Funkhouser uncovers a logical structure that is common to many, if not all, classificatory systems or taxonomies. Every conceptual scheme—including the sciences, mathematics, and ethics—classifies things into kinds. Given their ubiquity across theoretical contexts, we would benefit from understanding the nature of such kinds. Significantly, most conceptual schemes posit kinds that vary in their degree of specificity. Species-genus taxonomies provide us with familiar examples, with the species classification being more specific than the genus classification. This book instead focuses on adjectival kinds—classifications picked out by kind-terms like 'mass', 'shape', or 'belief', to give but a few examples. Some adjectival kinds specify others—for example, scarlet is a specific kind of red. This is an instance of the determinate-determinable relation. One of the fundamental claims of this book is that studying the determination relation provides deep insight into the essences of adjectival kinds and their instances (properties). The determination relation is found to contain two components, which are employed to structure kinds at the same level of abstraction into property spaces. In turn, these property space models lead to a theory for individuating properties, which has profound consequences when it comes to reduction, autonomy, and causation. Determination relations are contrasted with realization relations, the latter being the favored way of understanding how the mental and the physical are related. Particular attention is given to the distinction between multiple realizability and multiple determination, and it is argued that determination and realization are mutually exclusive relations. This has been overlooked in many discussions of multiple realizability, but it is central to maintaining the connection between multiple realizability and autonomy. The claim that multiple realizability entails various senses of autonomy is defended from various reductionist challenges. These theories of determination and realization ultimately provide general standards for establishing the autonomy of the special sciences or, conversely, their reduction.
The Logical Structure of Mathematical Physics (Synthese Library #35)
by J.D. SneedThis book is about scientific theories of a particular kind - theories of mathematical physics. Examples of such theories are classical and relativis tic particle mechanics, classical electrodynamics, classical thermodynamics, statistical mechanics, hydrodynamics, and quantum mechanics. Roughly, these are theories in which a certain mathematical structure is employed to make statements about some fragment of the world. Most of the book is simply an elaboration of this rough characterization of theories of mathematical physics. It is argued that each theory of mathematical physics has associated with it a certain characteristic mathematical struc ture. This structure may be used in a variety of ways to make empirical claims about putative applications of the theory. Typically - though not necessarily - the way this structure is used in making such claims requires that certain elements in the structure play essentially different roles. Some playa "theoretical" role; others playa "non-theoretical" role. For example, in classical particle mechanics, mass and force playa theoretical role while position plays a non-theoretical role. Some attention is given to showing how this distinction can be drawn and describing precisely the way in which the theoretical and non-theoretical elements function in the claims of the theory. An attempt is made to say, rather precisely, what a theory of mathematical physics is and how you tell one such theory from anothe- what the identity conditions for these theories are.
Logical Structures for Representation of Knowledge and Uncertainty (Studies in Fuzziness and Soft Computing #14)
by Ellen HisdalIt is the business of science not to create laws, but to discover them. We do not originate the constitution of our own minds, greatly as it may be in our power to modify their character. And as the laws of the human intellect do not depend upon our will, so the forms of science, of (1. 1) which they constitute the basis, are in all essential regards independent of individual choice. George Boole [10, p. llJ 1. 1 Comparison with Traditional Logic The logic of this book is a probability logic built on top of a yes-no or 2-valued logic. It is divided into two parts, part I: BP Logic, and part II: M Logic. 'BP' stands for 'Bayes Postulate'. This postulate says that in the absence of knowl edge concerning a probability distribution over a universe or space one should assume 1 a uniform distribution. 2 The M logic of part II does not make use of Bayes postulate or of any other postulates or axioms. It relies exclusively on purely deductive reasoning following from the definition of probabilities. The M logic goes an important step further than the BP logic in that it can distinguish between certain types of information supply sentences which have the same representation in the BP logic as well as in traditional first order logic, although they clearly have different meanings (see example 6. 1. 2; also comments to the Paris-Rome problem of eqs. (1. 8), (1. 9) below).
Logical Studies (International Library of Philosophy)
by Georg Henrik Von WrightFirst published in 2000. In this volume are eight essays; with the first three essays deal with the problem of logical truth. Their aim is to elucidate what is meant by saying that logical truth is formal-dependent of form and independent of content-or that logical truth is tautologous. The next is on study of distributive normal forms that awakened my interest in modality. The next three essays are in the field of modal logic. Related to modal logic are the problems of the conditional (the if-then) and of entailment (logical consequence) on which the final essay is based.
Logical Studies (International Library of Philosophy)
by Georg Henrik Von WrightFirst published in 2000. In this volume are eight essays; with the first three essays deal with the problem of logical truth. Their aim is to elucidate what is meant by saying that logical truth is formal-dependent of form and independent of content-or that logical truth is tautologous. The next is on study of distributive normal forms that awakened my interest in modality. The next three essays are in the field of modal logic. Related to modal logic are the problems of the conditional (the if-then) and of entailment (logical consequence) on which the final essay is based.
Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Trends in Logic #45)
by Holger Andreas Peter VerdéeThis book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
The Logical Syntax of Greek Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)
by Fabio AcerbiThe aim of this monograph is to describe Greek mathematics as a literary product, studying its style from a logico-syntactic point of view and setting parallels with logical and grammatical doctrines developed in antiquity. In this way, major philosophical themes such as the expression of mathematical generality and the selection of criteria of validity for arguments can be treated without anachronism. Thus, the book is of interest for both historians of ancient philosophy and specialists in Ancient Greek, in addition to historians of mathematics.This volume is divided into five parts, ordered in decreasing size of the linguistic units involved. The first part describes the three stylistic codes of Greek mathematics; the second expounds in detail the mechanism of "validation"; the third deals with the status of mathematical objects and the problem of mathematical generality; the fourth analyzes the main features of the "deductive machine," i.e. the suprasentential logical system dictated by the traditional division of a mathematical proposition into enunciation, setting-out, construction, and proof; and the fifth deals with the sentential logical system of a mathematical proposition, with special emphasis on quantification, modalities, and connectors. A number of complementary appendices are included as well.
Logical Theory and Semantic Analysis: Essays Dedicated to STIG KANGER on His Fiftieth Birthday (Synthese Library #63)
by Ann-Mari Henschen-Dahlquist L. Lindahl L. Y Nordenfelt Jan Odelstad
A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)
by Alexander BochmanThis is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change. Many results and constructions in the book are completely new and have not appeared earlier in the literature.
A Logical Theory of Teaching: Erotetics and Intentionality (Philosophy and Education #1)
by C.J.B. Macmillan James W. Garrisonhappens, how it happens, and why it happens. Our assumption ought to be that this is as true in education as it is in atomic physics. But this leaves many other questions to answer. The crucial ones: What kind of science is proper or appropriate to education? How does it differ from physics? What is wrong with the prevai1~ ing, virtually unopposed research tradition in education? What could or should be done to replace it with a more adequate tradi tion? What concepts are necessary to describe and explain what we find there? It is in this realm that we find ourselves. Where to start? One place - our place, needless to say - is with one limited but central concept in education, teaching. A long philosophical tradition concerned with the nature of teaching goes back (along with everything else) to Plato, divulging most recent ly in the work of such philosophers as B. O. Smith, Scheffler, Hirst, Komisar, Green, McClellan, Soltis, Kerr, Fenstermacher, et al. An empirical tradition runs parallelto the philosophers -it has its most notable modern proponents in Gage, the Soars, Berliner, Rosen shine, but its roots can be traced to the Sophists. These two tradi tions have been at loggerheads over the centuries.
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
by Lutz Geldsetzer Richard L. SchwartzThis new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its ‘pyramidal’ graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid. Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of ‘false’ contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences.
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
by Dov M. Gabbay Karl SchlechtaAgents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.