Précis de Logique Mathématique
Author: Joseph M. Bochenski
Publisher:
Published: 1948
Total Pages: 100
ISBN-13:
DOWNLOAD EBOOKPosts
A Precis of Mathematical Logic
Author: J.M. Bochenski
Publisher: Springer Science & Business Media
Published: 2013-04-18
Total Pages: 109
ISBN-13: 9401705925
DOWNLOAD EBOOKThe work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical categories (§ 25 and 27), which were not in the original. I have endeavored to correct the typo graphical errors that appeared in the original editions and have made a few additions to the bibliography. In making the translation I have profited more than words can tell from the ever-generous help of Fr. Bochenski while he was teaching at the University of Notre Dame during 1955-56. OTTO BIRD Notre Dame, 1959 I GENERAL PRINCIPLES § O. INTRODUCTION 0. 1. Notion and history. Mathematical logic, also called 'logistic', ·symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories elaborated in the course of the last century with the aid of an artificial notation and a rigorously deductive method.
Foundations of Mathematical Logic
Author: Haskell Brooks Curry
Publisher: Courier Corporation
Published: 1977-01-01
Total Pages: 420
ISBN-13: 9780486634623
DOWNLOAD EBOOKWritten by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Introduction to Symbolic Logic and Its Applications
Author: Rudolf Carnap
Publisher: Courier Corporation
Published: 2012-07-12
Total Pages: 280
ISBN-13: 048614349X
DOWNLOAD EBOOKClear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. Hundreds of problems, examples, and exercises. 1958 edition.
Mathematics and Logic in History and in Contemporary Thought
Author: Ettore Carruccio
Publisher: Routledge
Published: 2017-09-29
Total Pages: 400
ISBN-13: 1351506625
DOWNLOAD EBOOKThis book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought.
Canadian Mathematical Bulletin
Author:
Publisher:
Published: 1965
Total Pages: 136
ISBN-13:
DOWNLOAD EBOOKHandbook of Logic
Author: Roland Houde
Publisher: BoD – Books on Demand
Published: 2022-01-05
Total Pages: 178
ISBN-13: 3868385304
DOWNLOAD EBOOKThis book represents the attempt to provide the student in the one semester introductory course in logic with 1. a handbook of the fundamentals of the science, brief and succinct enough to be practical and yet substantial enough to provide him with the solid foundation of the traditional from which to approach the “mysteries” of modern developments in the field. 2. A working knowledge of the science, out of which there may be built the personal equipment with which the student may be able to solve for himself the problems posed by the impact of the new on the old in the field of logic. 3. Sufficient problem material to enable the student to learn the use of logic, so that in reconciling in his own mind the new and the old, the modern and the traditional, he may do this logically.
Signifying and Understanding
Author: Susan Petrilli
Publisher: Walter de Gruyter
Published: 2009
Total Pages: 1069
ISBN-13: 311021850X
DOWNLOAD EBOOKThis book introduces and provides commentary on a selection of published and unpublished works by Victoria Welby and exponents of the Signific Movement in the Netherlands. Beyond offering an important contribution to the reconstruction of a neglected phase in the history of ideas, it evidences the theoretical topicality of significs, in particular the focus on the relation of signs to value, meaning, and understanding, on verbal and nonverbal behavior, and on language and communication.
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
Author: Manuel Rebuschi
Publisher: Springer
Published: 2014-06-30
Total Pages: 371
ISBN-13: 3319030442
DOWNLOAD EBOOKThis book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations. Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view. The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge. The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology. Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (“Dialogue, Rationality, Formalisms”) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.
Encyclopedia of Language and Linguistics
Author:
Publisher: Elsevier
Published: 2005-11-24
Total Pages: 26924
ISBN-13: 0080547842
DOWNLOAD EBOOKThe first edition of ELL (1993, Ron Asher, Editor) was hailed as "the field's standard reference work for a generation". Now the all-new second edition matches ELL's comprehensiveness and high quality, expanded for a new generation, while being the first encyclopedia to really exploit the multimedia potential of linguistics. * The most authoritative, up-to-date, comprehensive, and international reference source in its field * An entirely new work, with new editors, new authors, new topics and newly commissioned articles with a handful of classic articles * The first Encyclopedia to exploit the multimedia potential of linguistics through the online edition * Ground-breaking and International in scope and approach * Alphabetically arranged with extensive cross-referencing * Available in print and online, priced separately. The online version will include updates as subjects develop ELL2 includes: * c. 7,500,000 words * c. 11,000 pages * c. 3,000 articles * c. 1,500 figures: 130 halftones and 150 colour * Supplementary audio, video and text files online * c. 3,500 glossary definitions * c. 39,000 references * Extensive list of commonly used abbreviations * List of languages of the world (including information on no. of speakers, language family, etc.) * Approximately 700 biographical entries (now includes contemporary linguists) * 200 language maps in print and online Also available online via ScienceDirect – featuring extensive browsing, searching, and internal cross-referencing between articles in the work, plus dynamic linking to journal articles and abstract databases, making navigation flexible and easy. For more information, pricing options and availability visit www.info.sciencedirect.com. The first Encyclopedia to exploit the multimedia potential of linguistics Ground-breaking in scope - wider than any predecessor An invaluable resource for researchers, academics, students and professionals in the fields of: linguistics, anthropology, education, psychology, language acquisition, language pathology, cognitive science, sociology, the law, the media, medicine & computer science. The most authoritative, up-to-date, comprehensive, and international reference source in its field
