- Table View
- List View
Logic, Meaning, and Conversation: Semantical Underdeterminacy, Implicature, and Their Interface
by Jay David AtlasThis fresh look at the philosophy of language focuses on the interface between a theory of literal meaning and pragmatics--a philosophical examination of the relationship between meaning and language use and its contexts. Here, Atlas develops the contrast between verbal ambiguity and verbal generality, works out a detailed theory of conversational inference using the work of Paul Grice on Implicature as a starting point, and gives an account of their interface as an example of the relationship between Chomsky's Internalist Semantics and Language Performance. Atlas then discusses consequences of his theory of the Interface for the distinction between metaphorical and literal language, for Grice's account of meaning, for the Analytic/Synthetic distinction, for Meaning Holism, and for Formal Semantics of Natural Language. This book makes an important contribution to the philosophy of language and will appeal to philosophers, linguists, and cognitive scientists.
Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance (Ashgate New Critical Thinking in Philosophy)
by Hanoch Ben-YamiFrege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic characteristics, primarily in its treatment of reference and quantification, and that as a result the calculus is inadequate for the analysis of the semantics and logic of natural language. Ben-Yami develops both an alternative analysis of the semantics of natural language and an alternative deductive system comparable in its deductive power to first order predicate calculus but more adequate than it for the representation of the logic of natural language. Ben-Yami's book is a revolutionary challenge to classical first order predicate calculus, casting doubt on many of the central claims of modern logic.
Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance (Ashgate New Critical Thinking in Philosophy)
by Hanoch Ben-YamiFrege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic characteristics, primarily in its treatment of reference and quantification, and that as a result the calculus is inadequate for the analysis of the semantics and logic of natural language. Ben-Yami develops both an alternative analysis of the semantics of natural language and an alternative deductive system comparable in its deductive power to first order predicate calculus but more adequate than it for the representation of the logic of natural language. Ben-Yami's book is a revolutionary challenge to classical first order predicate calculus, casting doubt on many of the central claims of modern logic.
The Logic of Analogy: An Interpretation of St Thomas
by R.M. McInernyThe need for another study on the doctrine of analogy in the writings ofSt Thomas may not be obvious, since a complete bibliography in this area would doubtless assume depressing proportions. The present work is felt to be justified because it attempts a full-fledged alternative to the interpretation given in Cajetan's De nominum analogia, an interpretation which has provided the framework for subsequent discussions of the question. Recently, it is true, there has been growing dissatisfaction with Cajetan's approach; indeed there have been wholesale attacks on the great commentator who is alleged to have missed the clef de voute of the metaphysics of his master. Applied to our problem, this criticism leads to the view that Cajetan was not metaphysical enough, or that he was metaphysical in the wrong way, in his discussion of the analogy of names. As its title indicates, the present study is not in agreement with Cajetan's contention that the analogy of names is a metaphysical doctrine. It is precisely a logical doctrine in the sense that "logical" has for St Thomas. We have no desire to be associated with attacks on Cajetan, the meta physician, attacks we feel are quite wrongheaded. If Cajetan must be criticized for his interpretation of the analogy of names, it is imperative that he be criticized for the right reasons. Moreover, criticism ofCajetan in the present study is limited to his views on the analogy of names.
The Logic of Being: Historical Studies (Synthese Historical Library #28)
by Simo Knuuttila Jaakko HintikkaThe last twenty years have seen remarkable developments in our understanding of how the ancient Greek thinkers handled the general concept of being and its several varieties. The most general examination of the meaning of the Greek verb 'esti'/'einai'/'on' both in common usage and in the philosophical literature has been presented by Charles H. Kahn, most extensively in his 1973 book The Verb 'Be' in Ancient Greek. These discussions are summarized in Kahn's contribution to this volume. By and large, they show that conceptual schemes by means of which philosophers have recently approached Greek thought have not been very well suited to the way the concept of being was actually used by the ancients. For one thing, being in the sense of existence played a very small role in Greek thinking according to Kahn. Even more importantly, Kahn has argued that Frege and Russell's thesis that verbs for being, such as 'esti', are multiply ambiguous is ill suited for the purpose of appreciating the actual conceptual assumptions of the Greek thinkers. Frege and Russell claimed that a verb like 'is' or'esti' is ambiguous between the 'is' of identity, the 'is' of existence, the copulative 'is', and the generic 'is' (the 'is' of class-inclusion). At least a couple of generations of scholars have relied on this thesis and fre quently criticized sundry ancients for confusing these different senses of 'esti' with each other.
The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science #6850)
by Richard Moot Christian RetoreThis book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
The Logic of Commitment (Routledge Focus on Philosophy)
by Gary ChartierThis book develops and defends a conception of commitment and explores its limits. Gary Chartier shows how commitment serves to resolve conflicts between ordinary moral intuitions and the reality that the basic aspects of human well-being are incommensurable. He outlines a variety of overlapping and mutually reinforcing rationales for making commitments, explores the relationship between commitment and vocation and the relevance of commitment to love, and notes some reasons why it might make sense to disregard one’s commitments. The Logic of Commitment will appeal to ethicists interested in the connection between commitment and personal well-being, and to anyone who wonders why and when it might make sense to make or keep commitments.
The Logic of Commitment (Routledge Focus on Philosophy)
by Gary ChartierThis book develops and defends a conception of commitment and explores its limits. Gary Chartier shows how commitment serves to resolve conflicts between ordinary moral intuitions and the reality that the basic aspects of human well-being are incommensurable. He outlines a variety of overlapping and mutually reinforcing rationales for making commitments, explores the relationship between commitment and vocation and the relevance of commitment to love, and notes some reasons why it might make sense to disregard one’s commitments. The Logic of Commitment will appeal to ethicists interested in the connection between commitment and personal well-being, and to anyone who wonders why and when it might make sense to make or keep commitments.
Logic of Computation (NATO ASI Subseries F: #157)
by Helmut SchwichtenbergThe Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. • The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. • Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. • Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. • Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. • Category theoretic and more generally algebraic methods and techniques to analyze the semantics of programming languages. All these issues were covered by a team of leading researchers. Their courses were grouped under the following headings.
The Logic of Conditionals: An Application of Probability to Deductive Logic (Synthese Library #86)
by E.W. AdamsOf the four chapters in this book, the first two discuss (albeit in consider ably modified form) matters previously discussed in my papers 'On the Logic of Conditionals' [1] and 'Probability and the Logic of Conditionals' [2], while the last two present essentially new material. Chapter I is relatively informal and roughly parallels the first of the above papers in discussing the basic ideas of a probabilistic approach to the logic of the indicative conditional, according to which these constructions do not have truth values, but they do have probabilities (equal to conditional probabilities), and the appropriate criterion of soundness for inferences involving them is that it should not be possible for all premises of the inference to be probable while the conclusion is improbable. Applying this criterion is shown to have radically different consequences from the orthodox 'material conditional' theory, not only in application to the standard 'fallacies' of the material conditional, but to many forms (e. g. , Contraposition) which have hitherto been regarded as above suspi cion. Many more applications are considered in Chapter I, as well as certain related theoretical matters. The chief of these, which is the most important new topic treated in Chapter I (i. e.
The Logic of Discovery: A Theory of the Rationality of Scientific Research (Synthese Library #231)
by S. KleinerScientific 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.
Logic of Domains (Progress in Theoretical Computer Science)
by G. ZhangThis monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena tational semantics: SFP domains, and the less standard, but important, category of stable domains. The intended readership of this monograph includes researchers and graduate students interested in the relation between semantics of program ming languages and formal means of reasoning about programs. A basic knowledge of denotational semantics, mathematical logic, general topology, and category theory is helpful for a full understanding of the material. Part I SFP Domains Chapter 1 Introduction This chapter provides a brief exposition to domain theory, denotational se mantics, program logics, and proof systems. It discusses the importance of ideas and results on logic and topology to the understanding of the relation between denotational semantics and program logics. It also describes the motivation for the work presented by this monograph, and how that work fits into a more general program. Finally, it gives a short summary of the results of each chapter. 1. 1 Domain Theory Programming languages are languages with which to perform computa tion.
The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library #200)
by Jaakko Hintikka Merrill B.P. Hintikka
The Logic of Essentialism: An Interpretation of Aristotle’s Modal Syllogistic (The New Synthese Historical Library #43)
by P. ThomAristotle's modal syllogistic has been an object of study ever since the time of Theophrastus; but these studies (apart from an intense flowering in the Middle Ages) have been somewhat desultory. Remarkably, in the 1990s several new lines of research have appeared, with series of original publications by Fred Johnson, Richard Patterson and Ulrich Nortmann. Johnson presented for the first time a formal semantics adequate to a de re reading of the apodeictic syllogistic; this was based on a simple intuition linking the modal syllogistic to Aristotelian metaphysics. Nortmann developed an ingenious de dicto analysis. Patterson articulated the links (both theoretical and genetic) between the modal syllogistic and the metaphysics, using an analysis which strictly speaking is neither de re nor de dicto. My own studies in this field date from 1976, when my colleague Peter Roeper and I jointly wrote a paper "Aristotle's apodeictic syllogisms" for the XXIInd History of Logic Conference in Krakow. This paper contained the disjunctive reading of particular affirmative apodeictic propositions, which I still favour. Nonetheless, I did not consider that paper's results decisive or comprehensive enough to publish, and my 1981 book The Syllogism contained no treatment of the modal syllogism. The paper's ideas lay dormant till 1989, when I read Johnson's and Patterson's initial articles. I began publishing on the topic in 1991. Gradually my thoughts acquired a certain comprehensiveness and systematicity, till in 1993 I was able to take a semester's sabbatical to write up a draft of this book.
The Logic of Estrangement: Reason in an Unreasonable Form
by Julius SensatThe book recasts the concept of estrangement as `reason in an unreasonable form', traces its development in writings of Kant, Hegel, and Marx, supplies a game-theoretic reconstruction of it, and assesses its significance for a critical understanding of John Rawls's philosophy.
The Logic of Expression: Quality, Quantity and Intensity in Spinoza, Hegel and Deleuze (Ashgate New Critical Thinking in Philosophy)
by Simon DuffyEngaging with the challenging and controversial reading of Spinoza presented by Gilles Deleuze in Expressionism in Philosophy (1968), this book focuses on Deleuze's redeployment of Spinozist concepts within the context of his own philosophical project of constructing a philosophy of difference as an alternative to the Hegelian dialectical philosophy. Duffy demonstrates that a thorough understanding of Deleuze's Spinozism is necessary in order to fully engage with Deleuze's philosophy of difference.
The Logic of Expression: Quality, Quantity and Intensity in Spinoza, Hegel and Deleuze (Ashgate New Critical Thinking in Philosophy)
by Simon DuffyEngaging with the challenging and controversial reading of Spinoza presented by Gilles Deleuze in Expressionism in Philosophy (1968), this book focuses on Deleuze's redeployment of Spinozist concepts within the context of his own philosophical project of constructing a philosophy of difference as an alternative to the Hegelian dialectical philosophy. Duffy demonstrates that a thorough understanding of Deleuze's Spinozism is necessary in order to fully engage with Deleuze's philosophy of difference.
The Logic of Filtering: How Noise Shapes the Sound of Recorded Music
by Melle Jan KromhoutThe Logic of Filtering traces the profound impact of technical media on the sound of music, asking: how do media technologies shape sound? How does this affect music? And how did it change what we listen for in music? Since the invention of sound recording in the second half of the nineteenth century, media that transmit, record, store, and reproduce physical sound inspired dreams of perfect reproduction, but were also confronted with the inevitable introduction of noise. Based on a wide range of historical, technical and theoretical sources, author Melle Jan Kromhout explores this one hundred and forty-year history of sound media and shows why noise should not be understood as unwanted by-effect, but instead plays a foundational role in shaping the sonic contours of recorded music. The Logic of Filtering develops an extensive media archaeological analysis of the 'noise of sound media,' encompassing all the disturbances, distortions, and interferences that these media add to the sounds they reproduce. It thereby stands to enrich our understanding of the way in which sound media changed and continue to change the sonorous qualities of music, and offers new perspectives on the interaction between music, media and listeners.
The Logic of Filtering: How Noise Shapes the Sound of Recorded Music
by Melle Jan KromhoutThe Logic of Filtering traces the profound impact of technical media on the sound of music, asking: how do media technologies shape sound? How does this affect music? And how did it change what we listen for in music? Since the invention of sound recording in the second half of the nineteenth century, media that transmit, record, store, and reproduce physical sound inspired dreams of perfect reproduction, but were also confronted with the inevitable introduction of noise. Based on a wide range of historical, technical and theoretical sources, author Melle Jan Kromhout explores this one hundred and forty-year history of sound media and shows why noise should not be understood as unwanted by-effect, but instead plays a foundational role in shaping the sonic contours of recorded music. The Logic of Filtering develops an extensive media archaeological analysis of the 'noise of sound media,' encompassing all the disturbances, distortions, and interferences that these media add to the sounds they reproduce. It thereby stands to enrich our understanding of the way in which sound media changed and continue to change the sonorous qualities of music, and offers new perspectives on the interaction between music, media and listeners.
The Logic of Gersonides: A Translation of Sefer ha-Heqqesh ha-Yashar (The Book of the Correct Syllogism) of Rabbi Levi ben Gershom with Introduction, Commentary, and Analytical Glossary (The New Synthese Historical Library #40)
by Charles H. ManekinIn the great libraries of Europe and the United States, hidden in fading manuscripts on forgotten shelves, lie the works of medieval Hebrew logic. From the end of the twelfth century through the Renaissance, Jews wrote and translated commentaries and original compositions in Aristotelian logic. One can say without exaggeration that wherever Jews studied philosophy - Spain, France, Northern Africa, Germany, Palestine - they began their studies with logic. Yet with few exceptions, the manuscripts that were catalogued in the last century have failed to arouse the interest of modem scholars. While the history of logic is now an established sub-discipline of the history of philosophy, the history of Hebrew logic is only in its infancy. The present work contains a translation and commentary of what is arguably the greatest work of Hebrew logic, the Sefer ha-Heqqesh ha-Yashar (The Book of the Correct Syllogism) of Levi ben Gershom (Gersonides; 1288-1344). Gersonides is well known today as a philosopher, astronomer, mathematician, and biblical exegete. But in the Middle Ages he was also famous for his prowess as a logician. The Correct Syllogism is his attempt to construct a theory of the syllogism that is free of what he considers to be the 'mistakes' of Aristotle, as interpreted by the Moslem commentator A verroes. It is an absorbing, challenging work, first written by Gersonides when he was merely thirty-one years old, then significantly revised by him. The translation presented here is of the revised version.
The Logic of Gilles Deleuze: Basic Principles (Bloomsbury Studies in Continental Philosophy)
by Corry ShoresFrench philosopher Gilles Deleuze wrote two 'logic' books: Francis Bacon: The Logic of Sensation and The Logic of Sense. However, in neither of these books nor in any other works does Deleuze articulate in a formal way the features of the logic he employs. He certainly does not use classical logic. And the best options for the non-classical logic that he may be implementing are: fuzzy, intuitionist, and many-valued. These are applicable to his concepts of heterogeneous composition and becoming, affirmative synthetic disjunction, and powers of the false. In The Logic of Gilles Deleuze: Basic Principles, Corry Shores examines the applicability of three non-classical logics to Deleuze's philosophy, by building from the philosophical and logical writings of Graham Priest, the world's leading proponent of dialetheism. Through so doing, Shores argues that Deleuze's logic is best understood as a dialetheic, paraconsistent, many-valued logic.
The Logic of Gilles Deleuze: Basic Principles (Bloomsbury Studies in Continental Philosophy)
by Corry ShoresFrench philosopher Gilles Deleuze wrote two 'logic' books: Francis Bacon: The Logic of Sensation and The Logic of Sense. However, in neither of these books nor in any other works does Deleuze articulate in a formal way the features of the logic he employs. He certainly does not use classical logic. And the best options for the non-classical logic that he may be implementing are: fuzzy, intuitionist, and many-valued. These are applicable to his concepts of heterogeneous composition and becoming, affirmative synthetic disjunction, and powers of the false. In The Logic of Gilles Deleuze: Basic Principles, Corry Shores examines the applicability of three non-classical logics to Deleuze's philosophy, by building from the philosophical and logical writings of Graham Priest, the world's leading proponent of dialetheism. Through so doing, Shores argues that Deleuze's logic is best understood as a dialetheic, paraconsistent, many-valued logic.
The Logic of Information: A Theory of Philosophy as Conceptual Design
by Luciano FloridiLuciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, he articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.
The Logic of Information: A Theory of Philosophy as Conceptual Design
by Luciano FloridiLuciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, he articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.