Listing 1 - 10 of 2829 | << page >> |
Sort by
|
Choose an application
Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. In Varieties of Logic, Stewart Shapiro develops several ways in which one can be a pluralist or relativist about logic. One of these is an extended argument that words and phrases like 'valid' and 'logical consequence' are polysemous or, perhaps better, are cluster concepts. The notions can be sharpened in various ways. This explains away the 'debates' in the literature between inferentialists and advocates of a truth-conditional, model-theoretic approach, and between those who advocate higher-order logic and those who insist that logic is first-order.A significant kind of pluralism flows from an orientation toward mathematics that emerged toward the end of the nineteenth century, and continues to dominate the field today. The theme is that consistency is the only legitimate criterion for a theory. Logical pluralism arises when one considers a number of interesting and important mathematical theories that invoke a non-classical logic, and are rendered inconsistent, and trivial, if classical logic is imposed. So validity is relative to a theory or structure.The perspective raises a host of important questions about meaning. The most significant of these concern the semantic content of logical terminology, words like 'or', 'not', and 'for all', as they occur in rigorous mathematical deduction. Does the intuitionistic 'not', for example, have the same meaning as its classical counterpart? Shapiro examines the major arguments on the issue, on both sides, and finds them all wanting. He then articulates and defends a thesis that the question of meaning-shift is itself context-sensitive and, indeed, interest-relative. He relates the issue to some prominent considerations concerning open texture, vagueness, and verbal disputes.Logic is ubiquitous. Whenever there is deductive reasoning, there is logic. So there are questions about logical pluralism that are analogous to standard questions about global relativism. The most pressing of these concerns foundational studies, wherein one compares theories, sometimes with different logics, and where one figures out what follows from what in a given logic. Shapiro shows that the issues are not problematic, and that is usually easy to keep track of the logic being used and the one mentioned.
Choose an application
"Abū al-Ḥajj¿j Yūsuf b. Muḥammad Ibn Ṭumlūs (Alhagiag Bin Thalmus, d. 620/1223) was a philosopher, physician and direct disciple of Ibn Rushd (Averroes, d. 595/1198), who lived and practiced rational sciences in Alzira and Marrakesh, a quarter of a century after the demise of his teacher. Ibn Ṭumlūs was not Ibn Rushd's only student who engaged in work on logic, but one of dozens of disciples, suggesting that the supposed simultaneous death of the latter's philosophy is "grossly exaggerated". As a valuable window into the practice of logic in 13th century al-Andalus and the Maghreb, Ibn Ṭumlūs' Compendium on Logic (Al-Mukhtaṣar fī al-manṭiq) covers all the parts of "the expanded Organon", as it was known since al-F¿r¿bī (d. 339/951). The present volume offers a complete critical Arabic edition of this work, with an English and Arabic introduction, notes and indices".
Choose an application
Choose an application
Logic, Symbolic and mathematical. --- Logic, Modern. --- Logic.
Choose an application
Choose an application
This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.
Choose an application
The book begins with an extensive survey of the history of logic diagrams, including looking at possible diagrams from Aristotle, the development of both linear and closed figure diagrams by Leibniz, Lambert, Euler, Venn's new system, Peirce's Existential Graphs, and Frege's two-dimensional notation as a kind of logic diagram system. During most of the 20th century, there was little regard for efforts to construct logic diagrams. However, since the 1980s there has been an increasing interest in such diagrams. Ever larger numbers of philosophers, logicians, mathematicians, computational scientists, and cognitive scientists have turned their attention to building, analyzing, using, or exploring in other ways systems of logic diagrams. The system offered here makes use of line segments and points and it enjoys a number of important advantages: it is simple, natural, and both expressively and inferentially powerful. It can be used to analyze syllogisms (including those involving relational terms) and arguments involving unanalyzed statements. Understanding such a system can shed valuable light on how ordinary people naturally reason.
Choose an application
Choose an application
Choose an application
Listing 1 - 10 of 2829 | << page >> |
Sort by
|