Logic

The main purpose of this work is to provide an English translation of and commentary on a recently published Arabic text dealing with con ditional propositions and syllogisms. The text is that of A vicenna (Abu represents his views on the subject as they...

Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given...

Originally published in 1914, this book presents an exposition of the elementary principles of logic. The text is divided into two main parts. The first part discusses the older system of logic, defined, in this context, as 'a carefully limited subject...

This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested...

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the...

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900684Author Thomas BolanderFormat PaperbackPage Count 592Imprint College PublicationsPublisher College PublicationsWeight(grams) 819g

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full...

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900455Author Shushan CaiFormat PaperbackPage Count 384Imprint College PublicationsPublisher College PublicationsWeight(grams) 537g

Saul Kripke's Naming and Necessity was one of the most influential philosophical works of the twentieth century. In this collection of essays leading specialists explore issues arising from this and other works of Kripke's.Book InformationISBN...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789027709295Author K.A. BowenFormat HardbackPage Count 139Imprint Kluwer Academic PublishersPublisher SpringerWeight(grams) 850g

This volume examines the entire logical and philosophical production of Nicolai A. Vasil'ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician,...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The...

It is neither far-fetched nor over-modest to assume that some readers will feel that another book on philosophical analysis is superfluous, seeing that there are at present a number of fine books, essays or col lections of essays on the subject. Part of...

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a...

Jaakko Hintikka is one of the most creative figures in contemporary philosophy. He has made significant contributions to virtually all areas of the discipline, from epistemology and the philosophy of logic to the history of philosophy and the philosophy...

This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways...

Apologies but we at Booksplease don't have a full description for this book.Springer Book ArchivesBook InformationISBN 9789401756945Author Evert Willem BethFormat PaperbackPage Count 123Imprint SpringerPublisher Springer

With characteristic incisiveness Georg Henrik von Wright identifies pro- haireticIogic (i. e. the logic of preference) as the core of a general theory of value concepts. Essentially, this nucleus involves the logical study of acts from the point of view...

Recent work in argumentation theory has emphasized the nature of arguers and arguments along with various theoretical perspectives. Less attention has been given to the third feature of any argumentative situation - the audience. This book fills that gap...

1. 1. The Principle of Universalizability-an informal explication This work is concerned with the so-called Principle of Universalizability. As we shall understand it, this principle represents a claim that moral properties of things (persons, actions,...

Apart from its foray into technical issues of risk assessment and management, this book has one principal aim. With situations of chancy outcomes certain key factors-including outcome possibilities, overall expectation, threat, and even luck-are...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788792130563Author Thomas AdajianFormat PaperbackImprint Automatic Press / VIPPublisher Automatic Press / VIPWeight(grams) 304g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781938421082Author Arne Ness (Naess)Format PaperbackPage Count 182Imprint Advanced Reasoning ForumPublisher Advanced Reasoning ForumWeight(grams) 299g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904743Author Lorenzo MagnaniFormat PaperbackPage Count 188Imprint College PublicationsPublisher College PublicationsWeight(grams) 272gDimensions(mm)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788792130204Author Frederick StoutlandFormat PaperbackPage Count 224Imprint Automatic Press / VIPPublisher Automatic Press / VIPWeight(grams) 290g

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and...

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789355840806Author AristotleFormat PaperbackPage Count 48Imprint True Sign Publishing HousePublisher True Sign Publishing HouseWeight(grams) 73g

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding...

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi's scientific output and discusses his impact on the development of science...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848901001Author Mark WeinsteinFormat PaperbackPage Count 242Imprint College PublicationsPublisher College PublicationsWeight(grams) 346g

A system of philosophy of the sort presented in this and the following volumes begins with logic. Philosophy properly speaking is characterized by the kind oflogic it employs, for what it employs it assumes, however silently; and what it assumes it...

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been...

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT...

This volume constitutes the Proceedings of a workshop on formal seman tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977. Its main body consists of revised versions of most of the papers presented on that...

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

The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the...

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled...