This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyas. According to the authors' view, qiyas represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general (including legal reasoning in Common and Civil Law) but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyas and of the work of al-Shirazi penned by Soufi Youcef, the authors discuss al-Shirazi's classification of correlational inferences of the occasioning factor (qiyas al-'illa). The second part of the volume deliberates on the system of correlational inferences by indication and resemblance (qiyas al-dalala, qiyas al-shabah). The third part develops the main theoretical background of the authors' work, namely, the dialogical approach to Martin-Loef's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general.

Medieval logic is usually divided into the branches that derived from Aristotle's organon - the 'logica vetus' and 'logica nova', and those invented in the Middle Ages, the 'logica modernorum'. In this volume, a group of distinguished specialists asks whether the ancient roots of medieval logic were not in fact more varied. Stoic logic was mostly lost, but were some of its themes transmitted, even in distorted form, through Boethius and through the grammatical tradition? And did other schools, such as the sceptics and the Platonists, contribute in their own ways to medieval logic?

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G. Heck, Jr., aims to change that, and establish it as a neglected masterpiece that must be placed at the center of Frege's philosophy. Part I of Reading Frege's Grundgesetze develops an interpretation of the philosophy of logic that informs Grundgesetze, paying especially close attention to the difficult sections of Frege's book in which he discusses his notorious 'Basic Law V' and attempts to secure its status as a law of logic. Part II examines the mathematical basis of Frege's logicism, explaining and exploring Frege's formal arguments. Heck argues that Frege himself knew that his proofs could be reconstructed so as to avoid Russell's Paradox, and presents Frege's arguments in a way that makes them available to a wide audience. He shows, by example, that careful attention to the structure of Frege's arguments, to what he proved, to how he proved it, and even to what he tried to prove but could not, has much to teach us about Frege's philosophy.

Syllogism is a form of logical argument allowing one to deduce a consistent conclusion based on a pair of premises having a common term. Although Aristotle was the first to conceive and develop this way of reasoning, he left open a lot of conceptual space for further modifications, improvements and systematizations with regards to his original syllogistic theory. From its creation until modern times, syllogism has remained a powerful and compelling device of deduction and argument, used by a variety of figures and assuming a variety of forms throughout history. The Aftermath of Syllogism investigates the key developments in the history of this peculiar pattern of inference, from Avicenna to Hegel. Taking as its focus the longue duree of development between the Middle Ages and the nineteenth century, this book looks at the huge reworking scientific syllogism underwent over the centuries, as some of the finest philosophical minds brought it to an unprecedented height of logical sharpness and sophistication. Bringing together a group of major international experts in the Aristotelian tradition, The Aftermath of Syllogism provides a detailed, up to date and critical evaluation of the history of syllogistic deduction.

Students! Need to improve your critical thinking for top marks? Learn the core analytical skills for critical thinking... Student Essentials: Critical Thinking - in one hour helps you master the essentials of this core study skill in just 60 minutes. If you are studying for an undergraduate degree at university, critical thinking and analysis is imperative when studying and can often be the difference between an acceptable grade and a great grade. This book will help you develop the key essentials of this crucial skill in just one hour so you can successfully apply it to your studies straight away. Student Essentials: Critical Thinking - in one hour is packed full of jargon-free advice, step-be-step guidance and useful summaries to help you really get to grips with every element of critical thinking and analysis. Checklists and exercises ensure you tackle each stage of critical thinking head on and develop your skills from analysis and evaluation to constructing sound arguments and weighing up evidence. Learn the critical thinking essential toolkit quickly and apply it to all areas of your study, including: What is critical thinking? - the principles and essentials for study Analytical skills - improve your technique when reading and note taking Evaluating evidence - get to grips with arguments, counter claims and credibility Building arguments - using evidence, secondary resources and examples effectively Key tools - use the checklists and exercises to master every stage of critical thinking In just one hour develop your core critical thinking skills for study success and perform at your optimum with Trotman's Student Essentials series. Discover other titles in the series to help boost your study skills including: Student Essentials: Exam and Revision Strategies - in one hour Student Essentials: Essay Writing - in one hour Student Essentials: Study Skills - in one hour Student Essentials: Dissertation - in one hour

"An Introduction to the History of Philosophical and Formal Logic" introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: -Antiquity and the Middle Ages (Aristotle and The Stoics) -The early modern period (Leibniz, Bolzano, Boole) -High modern period (Frege, Peano & Russell and Hilbert)-Early 20th century: (Godel and Tarski) Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions.By clearly presenting and explaining the changes to logic across the history of philosophy, "An Introduction to the History of Philosophical and Formal Logic" constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic.

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.

This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.

Aristotle was one of the greatest philosophers of all time. His writings covered everything from physics and logic to politics and ethics. His thoughts will blow you away If, that is, you can understand him This book takes some of Aristotle's most complex thoughts and ideas, and puts them in a language anyone can understand. The "Plain and Simple English" series is part of BookCaps growing library of book and history recaps. Visit www.bookcaps.com for more information.

The capacity to represent things to ourselves as possible plays a crucial role both in everyday thinking and in philosophical reasoning; this volume offers much-needed philosophical illumination of conceivability, possibility, and the relations between them.

G. E. Moore famously observed that to assert, 'I went to the pictures last Tuesday but I don't believe that I did' would be 'absurd'. Moore calls it a 'paradox' that this absurdity persists despite the fact that what I say about myself might be true. Over half a century later, such sayings continue to perplex philosophers and other students of language, logic, and cognition. Ludwig Wittgenstein was fascinated by Moore's example, and the absurdity of Moore's saying was intensively discussed in the mid-20th century. Yet the source of the absurdity has remained elusive, and its recalcitrance has led researchers in recent decades to address it with greater care. In this definitive treatment of the problem of Moorean absurdity Green and Williams survey the history and relevance of the paradox and leading approaches to resolving it, and present new essays by leading thinkers in the area. Contributors Jonathan Adler, Bradley Armour-Garb, Jay D. Atlas, Thomas Baldwin, Claudio de Almeida, Andre Gallois, Robert Gordon, Mitchell Green, Alan Hajek, Roy Sorensen, John Williams

What is truth? Michael Lynch defends a bold new answer to this question. Traditional theories of truth hold that truth has only a single uniform nature. All truths are true in the same way. More recent deflationary theories claim that truth has no nature at all; the concept of truth is of no real philosophical importance. In this concise and clearly written book, Lynch argues that we should reject both these extremes and hold that truth is a functional property. To understand truth we must understand what it does, its function in our cognitive economy. Once we understand that, we'll see that this function can be performed in more than one way. And that in turn opens the door to an appealing pluralism: beliefs about the concrete physical world needn't be true in the same way as our thoughts about matters -- like morality -- where the human stain is deepest.

This is a guide to the thought and ideas of Gottlob Frege, one of the most important but also perplexing figures in the history of analytic philosophy. Gottlob Frege is regarded as one of the founders of modern logic and analytic philosophy, indeed as the greatest innovator in logic since Aristotle. His groundbreaking work identified many of the basic conceptions and distinctions that later came to dominate analytic philosophy. The literature on him is legion and ever-growing in complexity, representing a considerable challenge to the non-expert. The details of his logic, which have come into focus in recent research, are particularly difficult to grasp, although they are crucial to the development of his grand project, the reduction of arithmetic to logic, and the associated philosophical innovations. This book offers a lucid and accessible introduction to Frege's logic, taking the reader directly to the core of his philosophy, and ultimately to some of the most pertinent issues in contemporary philosophy of language, logic, mathematics, and the mind. "Continuum's Guides for the Perplexed" are clear, concise and accessible introductions to thinkers, writers and subjects that students and readers can find especially challenging - or indeed downright bewildering. Concentrating specifically on what it is that makes the subject difficult to grasp, these books explain and explore key themes and ideas, guiding the reader towards a thorough understanding of demanding material.

Reference is a central topic in philosophy of language, and has been the main focus of discussion about how language relates to the world. R. M. Sainsbury sets out a new approach to the concept, which promises to bring to an end some long-standing debates in semantic theory. There is a single category of referring expressions, all of which deserve essentially the same kind of semantic treatment. Included in this category are both singular and plural referring expressions ('Aristotle', 'The Pleiades'), complex and non-complex referring expressions ('The President of the USA in 1970', 'Nixon'), and empty and non-empty referring expressions ('Vulcan', 'Neptune'). Referring expressions are to be described semantically by a reference condition, rather than by being associated with a referent. In arguing for these theses, Sainsbury's book promises to end the fruitless oscillation between Millian and descriptivist views. Millian views insist that every name has a referent, and find it hard to give a good account of names which appear not to have referents, or at least are not known to do so, like ones introduced through error ('Vulcan'), ones where it is disputed whether they have a bearer ('Patanjali') and ones used in fiction. Descriptivist theories require that each name be associated with some body of information. These theories fly in the face of the fact names are useful precisely because there is often no overlap of information among speakers and hearers. The alternative position for which the book argues is firmly non-descriptivist, though it also does not require a referent. A much broader view can be taken of which expressions are referring expressions: not just names and pronouns used demonstratively, but also some complex expressions and some anaphoric uses of pronouns. Sainsbury's approach brings reference into line with truth: no one would think that a semantic theory should associate a sentence with a truth value, but it is commonly held that a semantic theory should associate a sentence with a truth condition, a condition which an arbitrary state of the world would have to satisfy in order to make the sentence true. The right analogy is that a semantic theory should associate a referring expression with a reference condition, a condition which an arbitrary object would have to satisfy in order to be the expression's referent. Lucid and accessible, and written with a minimum of technicality, Sainsbury's book also includes a useful historical survey. It will be of interest to those working in logic, mind, and metaphysics as well as essential reading for philosophers of language.

Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterly fundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that arithmetic follows, purely logically, from a near definition. As Crispin Wright was the first to make clear, that means that Frege's logicism, long thought dead, might yet be viable.
Heck probes the philosophical significance of the Theorem, using it to launch and then guide a wide-ranging exploration of historical, philosophical, and technical issues in the philosophy of mathematics and logic, and of their connections with metaphysics, epistemology, the philosophy of language and mind, and even developmental psychology. The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues. There are also new postscripts to five of the essays, which discuss changes of mind, respond to published criticisms, and advance the discussion yet further.

This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orlowska's autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orlowska's work.

Gary Kemp presents a penetrating investigation of key issues in the philosophy of language, by means of a comparative study of two great figures of late twentieth-century philosophy. So far as language and meaning are concerned, Willard Van Orman Quine and Donald Davidson are usually regarded as birds of a feather. The two disagreed in print on various matters over the years, but fundamentally they seem to be in agreement; most strikingly, Davidson's thought experiment of Radical Interpretation looks to be a more sophisticated, technically polished version of Quinean Radical Translation. Yet Quine's most basic and general philosophical commitment is to his methodological naturalism, which is ultimately incompatible with Davidson's main commitments. In particular, it is impossible to endorse, from Quine's perspective, the roles played by the concepts of truth and reference in Davidson's philosophy of language: Davidson's employment of the concept of truth is from Quine's point of view needlessly adventurous, and his use of the concept of reference cannot be divorced from unscientific 'intuition'. From Davidson's point of view, Quine's position looks needlessly scientistic, and seems blind to the genuine problems of language and meaning. Gary Kemp offers a powerful argument for Quine's position, and in favour of methodological naturalism and its corollary, naturalized epistemology. It is possible to give a consistent and explanatory account of language and meaning without problematic uses of the concepts truth and reference, which in turn makes a strident naturalism much more plausible.