Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Logic, Epistemology, and the Unity of Science (Logic, Epistemology, and the Unity of Science #1)

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.

Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Over 500 entries include key terms found in the study of:* Logic: Argument, Turing Machine, Variable* Set and model theory: Isomorphism, Function* Computability theory: Algorithm, Turing Machine* Plus a table of logical symbols.Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Over 500 entries include key terms found in the study of:* Logic: Argument, Turing Machine, Variable* Set and model theory: Isomorphism, Function* Computability theory: Algorithm, Turing Machine* Plus a table of logical symbols.Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Logic in High Definition: Trends in Logical Semantics (Trends in Logic #56)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics.The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic.

Logic in Law: Remarks on Logic and Rationality in Normative Reasoning, Especially in Law (Law and Philosophy Library #6)

The study presented in this book was entered upon by me from a legal point of view. 'Legal logic' has been known for a long time, concerning itself with the methodology of legal and in particular judicial reasoning. In modern days, however, this 'legal logic' is sometimes also connected with modern formal logic, as it has been developed in the works of G. Boole, A. de Morgan, G. Frege, C.S. Peirce, E. Schroder, G. Peano, A.N. Whitehead, B. Russell and others. For me this gave rise to the as yet not very specific question about the meaning of modern symbolic logic for law. Already in an early stage it appeared that, although traditional legal logic and modern symbolic logic both concern logic, this may not create the misapprehension that a similar matter is at issue. Both concern themselves (among other things) with reasonings and reasoning. Traditional legal logic is, however, as it was said by the German legal theoretician K. Engisch: "a material logic that wants us to reflect on what we have to do if we -within the limits of actual possibility- wish to reach true, or at least correct judgements" (Engisch, 1964, p.5). Modern symbolic logic on the other hand is not concerned with the truth or correctness of the result of an argument, but with its validity, i.e. the question when or under which conditions the truth (correctness) of the conclusion is guaranteed by the truth (correctness) of the premisses.

Logic in Reality

This book is both dif?cult and rewarding, affording a new perspective on logic and reality, basically seen in terms of change and stability, being and becoming. Most importantly it exemplifies a mode of doing philosophy of science that seems a welcome departure from the traditional focus on purely analytic arguments. The author approaches ontology, metaphysics, and logic as having offered a number of ways of constructing the description of reality, and aims at deepening their relationships in a new way. Going beyond the mere abstract and formal aspects of logical analysis, he offers a new architecture of logic that sees it as applied not only to the “reasoning processes” belonging to the first disciplinary group – ontology – but also directly concerned with en- ties, events, and phenomena studied by the second one – metaphysics. It is the task of the book to elaborate such a constructive logic, both by offering a lo- cal view of the structure of the reality in general and by proffering a wealth of models able to encompass its implications for science. In turning from the merely formal to the constructive account of logic Brenner overcomes the limitation of logic to linguistic concepts so that it can be not only a logic “of” reality but also “in” that reality which is constitutively characterized by a number of fundamental dualities (observer and observed, self and not-self, internal and external, etc.

Logic in the Theory and Practice of Lawmaking (Legisprudence Library #2)

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making.Elaborations of the process of law making have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical tools in law making. This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems—and some possible solutions—as seen through the work of leading contemporary academics.The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of law making taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law.How does logic inform lawmaking?Are legal systems consistent and complete?How can legal rules be represented by means of formal calculi and visualization techniques?Does the structure of statutes or of legal systems resemble the structure of deductive systems?What are the logical relations between the basic concepts of jurisprudence that constitute the system of law?How are theories of legal interpretation relevant to the process of legislation?How might the statutory text be analysed by means of contemporary computer programs?These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection.

Logic, Language and Computation (Applied Logic Series #5)

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin­ guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

This textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintaining a comfortable pace that students can follow. The technical exposition is clear, precise and follows a paced increase in complexity, allowing the reader to get comfortable with previous definitions and procedures before facing more difficult material. The book also presents an interesting overall balance between formal and philosophical discussion, making it suitable for both philosophy and more formal/science oriented students. This textbook is of great use to undergraduate philosophy students, graduate philosophy students, logic teachers, undergraduates and graduates in mathematics, computer science or related fields in which logic is required.

Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library #305)

The Logic of Discovery: A Theory of the Rationality of Scientific Research (Synthese Library #231)

Scientific research is viewed as a deliberate activity and the logic of discovery consists of strategies and arguments whereby the best objectives (questions) and optimal means for achieving these objectives (heuristics) are chosen. This book includes a discussion and some proposals regarding the way the logic of questions can be applied to understanding scientific research and draws upon work in artificial intelligence in a discussion of heuristics and methods for appraising heuristics (metaheuristics). It also includes a discussion of a third source for scientific objectives and heuristics; episodes and examplars from the history of science and the history of philosophy. This book is written to be accessible to advanced students in philosophy and to the scientific community. It is of interest to philosophers of science, philosophers of biology, historians of physics, and historians of biology.

The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library #200)

The Logic of Explanation in Psychoanalysis

The Logic of Explanation in Psychoanalysis is this is the first full-length study of a single case history written by a practicing psychiatrist from the standpoint of the philosophy of science. This book is a contribution to the growing dialogue between philosophers of science and psychiatrists. It ranges in scope from highly technical linguistic issues to problems concerning Freud's early theory of psychosexual development. The study's primary appeal will be, on the one hand, to those philosophers interested in logical problems in the behavioral sciences and, on the other, to those psychiatrists and psychoanalysts who are not content simply to worry about the very real difficulties of psychotherapy, but who also feel obliged to concern themselves with the scientific status of a psychodynamically oriented theory of human behavior. However, the importance and contemporary relevance of such an interdisciplinary approach will be apparent to a far wider audience. Therefore, an attempt has been made to present the material in a manner both appealing and comprehensible to readers who may lack the specialized knowledge required of either the philosopher or the psychiatrist. In so doing it is hoped that an even wider based dialogue can be established.

The Logic of Language: A Semiotic Study of Speech

This book serves as a basis for the exploration of language in a more systematic way. By surveying the several major divisions of language (phonology, morphology, syntax, lexis, tropology) and explicating the way in which sound and meaning cohere in them, this text lays bare––for students, scholars and advanced readers alike––the lineaments of an understanding of what makes language the sign system par excellence, in the service of its most important function as the instrument of cognition and of communication. This book is intended as a companion volume to Shapiro’s The Speaking Self: Language Lore and English Usage. The two volumes taken in tandem will provide a solid grounding in the observational science of linguistics, linking theory with practice in a way that will expand one’s understanding of language as a global phenomenon.

The Logic of Metaphor: Analogous Parts of Possible Worlds (Synthese Library #299)

1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors. My goal here is to show how contemporary formal semantics can be extended to handle metaphorical utterances. What distinguishes this work is that it focuses intensely on the logical aspects of metaphors. I stress the role of logic in the generation and int- pretation of metaphors. While I don't presuppose any formal training in logic, some familiarity with philosophical logic (the propositional calculus and the predicate c- culus) is helpful. Since my theory makes great use of the notion of structure, I refer to it as the structural theory of m etaphor (STM). STM is a semant ic theory of m etaphor : if STM is correct, then metaphors are cognitively meaningful and are n- trivially logically linked with truth. I aim to extend possible worlds semantics to handle metaphors. I'll argue that some sentences in natural languages like English have multiple meanings: "Juliet is the sun" has (at least) two meanings: the literal meaning "(Juliet is the sunkIT" and the metaphorical meaning "(Juliet is the sun)MET". Each meaning is a function from (possible) worlds to truth-values. I deny that these functions are identical; I deny that the metaphorical function is necessarily false or necessarily true.

The Logic of Sortals: A Conceptualist Approach (Synthese Library #408)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions (such as sortal identity and first-order sortal quantification) are characterized. Most of these logics are intensional in nature and possess, in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches.

Logic, Probability, and Presumptions in Legal Reasoning (Philosophy of Legal Reasoning: A Collection of Essays by Philosophers and Legal Scholars)

At least since plato and Aristotle, thinkers have pondered the relationship between philosophical arguments and the "sophistical" arguments offered by the Sophists -- who were the first professional lawyers. Judges wield substantial political power, and the justifications they offer for their decisions are a vital means by which citizens can assess the legitimacy of how that power is exercised. However, to evaluate judicial justifications requires close attention to the method of reasoning behind decisions. This new collection illuminates and explains the political and moral importance in justifying the exercise of judicial power.

Logic, Probability, and Presumptions in Legal Reasoning: A Collection Of Essays By Philosophers And Legal Scholars: Logic, Probability, And Presumptions In Legal Reasoning (Philosophy of Legal Reasoning: A Collection of Essays by Philosophers and Legal Scholars #No. 1)

At least since plato and Aristotle, thinkers have pondered the relationship between philosophical arguments and the "sophistical" arguments offered by the Sophists -- who were the first professional lawyers. Judges wield substantial political power, and the justifications they offer for their decisions are a vital means by which citizens can assess the legitimacy of how that power is exercised. However, to evaluate judicial justifications requires close attention to the method of reasoning behind decisions. This new collection illuminates and explains the political and moral importance in justifying the exercise of judicial power.

Logic, Theology and Poetry in Boethius, Anselm, Abelard, and Alan of Lille: Words in the Absence of Things (The New Middle Ages)

This interdisciplinary study offers an interpretation of the major logical, philosophical/theological and poetic writings of Boethius, Abelard and Alan of Lille. The author examines their theories of language and the ways in which they explore how words illuminate things, how the mind comprehends God and how the individual reaches beatitude.

Logical Empiricism at Its Peak: Schlick, Carnap, and Neurath

First Published in 1996. This volume reprints pieces from the Vienna Circle period between the manifesto and the adoption of semantics, as well as two commentaries. During this period, the logical empiricists were the most ambitious and the most confident about the success of their enterprise. The first section consists of four ideological classics, The second section reprints three papers on physicalism. The third section consists of three papers on logic and the fourth on reprints three papers on truth, induction, and confirmation.

Logical Empiricism at Its Peak: Schlick, Carnap, and Neurath

First Published in 1996. This volume reprints pieces from the Vienna Circle period between the manifesto and the adoption of semantics, as well as two commentaries. During this period, the logical empiricists were the most ambitious and the most confident about the success of their enterprise. The first section consists of four ideological classics, The second section reprints three papers on physicalism. The third section consists of three papers on logic and the fourth on reprints three papers on truth, induction, and confirmation.

Logical Form: Between Logic and Natural Language (Synthese Library #393)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.

The Logical Foundations of Mathematics: Foundations and Philosophy of Science and Technology Series

The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and the other, in a "natural deduction" style, for presenting detailed formal proofs. A somewhat novel feature of this framework is a full semantic and syntactic treatment of variable-binding term operators as primitive symbols of logic. Subsequent chapters focus on the origin of modern foundational studies; Gottlob Frege's formal system intended to serve as a foundation for mathematics and its paradoxes; the theory of types; and the Zermelo-Fraenkel set theory. David Hilbert's program and Kurt Gödel's incompleteness theorems are also examined, along with the foundational systems of W. V. Quine and the relevance of categorical algebra for foundations.This monograph will be of interest to students, teachers, practitioners, and researchers in mathematics.

The Logical Grammar of Abelard (The New Synthese Historical Library #51)

This book focuses on Abelard’s logical-grammatical analysis of natural language. Tools of modern categorial grammar are employed to clarify many of the problems raised by historiography. The book’s ample analysis of grammatical sources and critical literature allows one to evaluate the progress which is at the basis of the forthcoming terministic logic. The book is aimed at scholars of medieval philosophy and historians of logic and linguistics.

Logical Models of Legal Argumentation

In 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.