Tags
Language
Tags

Concept and Object: The Unity of the Proposition in Logic and Psychology

Posted By: arundhati
Concept and Object: The Unity of the Proposition in Logic and Psychology

Anthony Palmer, "Concept and Object: The Unity of the Proposition in Logic and Psychology "
English | ISBN: 0367421186 | 2019 | 162 pages | PDF | 12 MB

The Modal Logic of John Fabri of Valenciennes (c. 1500)

Posted By: AvaxGenius
The Modal Logic of John Fabri of Valenciennes (c. 1500)

The Modal Logic of John Fabri of Valenciennes (c. 1500): A Study in Token-Based Semantics by Christophe Geudens
English | PDF,EPUB | 2022 | 115 Pages | ISBN : 3030988015 | 6 MB

The first book-length study to address issues in modal logic at the eve of the Renaissance, this monograph provides important new insights into the way the debates on modal logic during the post-medieval period tied in with the so-called Wegestreit, the divide between the via antiqua and via moderna that dominated the discourse on logic during the 15th and early 16th centuries.

Logic in Games (The MIT Press)

Posted By: l3ivo
Logic in Games (The MIT Press)

Johan van Benthem, "Logic in Games (The MIT Press)"
English | 2014 | ISBN: 0262019906 | 568 pages | True PDF | 3.8 MB

The Logic of Metaphor - Analogous Parts of Possible Worlds

Posted By: AvaxGenius
The Logic of Metaphor - Analogous Parts of Possible Worlds

The Logic of Metaphor - Analogous Parts of Possible Worlds by Eric Charles Steinhart
English | PDF | 2001 | 261 Pages | ISBN : 079237004X | 13.6 MB

1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors.

Real Numbers, Generalizations of the Reals, and Theories of Continua

Posted By: AvaxGenius
Real Numbers, Generalizations of the Reals, and Theories of Continua

Real Numbers, Generalizations of the Reals, and Theories of Continua by Philip Ehrlich
English | PDF | 1994 | 313 Pages | ISBN : 079232689X | 26.7 MB

Since their appearance in the late 19th century, the Cantor–Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy. On the other hand, this period also witnessed the emergence of a variety of alternative theories of real numbers and corresponding theories of continua, as well as non-Archimedean geometry, non-standard analysis, and a number of important generalizations of the system of real numbers, some of which have been described as arithmetic continua of one type or another.

Truth and Its Nature (if Any)

Posted By: AvaxGenius
Truth and Its Nature (if Any)

Truth and Its Nature (if Any) by Jaroslav Peregrin
English | PDF | 1999 | 231 Pages | ISBN : 0792358651 | 27 MB

The question how to turn the principles implicitly governing the concept of truth into an explicit definition (or explication) of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth.

Belief Revision in Non-Classical Logics (Repost)

Posted By: AvaxGenius
Belief Revision in Non-Classical Logics (Repost)

Belief Revision in Non-Classical Logics by Márcio Moretto Ribeiro
English | PDF | 2012 | 127 Pages | ISBN : 1447141857 | 1.5 MB

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include? besides most Description Logics such as the ones behind OWL? Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.

Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Posted By: arundhati
Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Peter Ludlow, "Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail"
English | ISBN: 0199591539 | 2022 | 464 pages | PDF | 3 MB

Sweet Reason: A Field Guide to Modern Logic

Posted By: DZ123
Sweet Reason: A Field Guide to Modern Logic

Jay L. Garfield, James M. Henle, Thomas Tymoczko, "Sweet Reason: A Field Guide to Modern Logic"
English | 2011 | ISBN: 1444337157 | EPUB | pages: 400 | 18.3 mb

Contemporary Fuzzy Logic

Posted By: hill0
Contemporary Fuzzy Logic

Contemporary Fuzzy Logic: A Perspective of Fuzzy Logic with Scilab
English | 2022 | ISBN: 3030989739 | 210 Pages | PDF EPUB | 23 MB

The Temporal Logic of Reactive and Concurrent Systems: Specification

Posted By: AvaxGenius
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
English | PDF | 1992 | 432 Pages | ISBN : 0387976647 | 33.4 MB

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Think Again: How to Reason and Argue

Posted By: AlexGolova
Think Again: How to Reason and Argue

Think Again: How to Reason and Argue by Walter Sinnott-Armstrong
English | July 2, 2018 | ISBN: 0190627123 | 256 pages | PDF | 1.56 MB

The Logic of Number

Posted By: roxul
The Logic of Number

Neil Tennant, "The Logic of Number"
English | ISBN: 0192846671 | 2022 | 384 pages | PDF | 8 MB

An Algebraic Introduction to Mathematical Logic

Posted By: DZ123
An Algebraic Introduction to Mathematical Logic

D.W. Barnes, J.M. Mack, "An Algebraic Introduction to Mathematical Logic"
English | 1975 | ISBN: 0387901094 | PDF | pages: 129 | 19.3 mb

How to Win Every Argument: The Use and Abuse of Logic

Posted By: AlexGolova
How to Win Every Argument: The Use and Abuse of Logic

How to Win Every Argument: The Use and Abuse of Logic by Madsen Pirie
English | May 7, 2015 | ISBN: 147252912X | 240 pages | PDF | 2.36 MB