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

Posted By: arundhati

Date: 10 May 2022 05:20:23

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

Humanities Psychology Logic

Details

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

Posted By: AvaxGenius

Date: 8 May 2022 09:29:35

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.

Science History of Philosophy Logic History of Science History of Mathematical Sciences Mathematical Sciences History

Details

Logic in Games (The MIT Press)

Posted By: l3ivo

Date: 5 May 2022 14:46:45

Logic Game Theory Theory Mathematics Science Reference

Details

The Logic of Metaphor - Analogous Parts of Possible Worlds

Posted By: AvaxGenius

Date: 30 Apr 2022 22:00:56

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.

Science semantics Philosophy of Language Logic Computational Linguistics Artificial Intelligence

Details

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

Posted By: AvaxGenius

Date: 30 Apr 2022 21:25:28

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.

Science calculus history of mathematics arithmetic Mathematical Logic Philosophy of Science Logic History of Mathematical Sciences History

Details

Truth and Its Nature (if Any)

Posted By: AvaxGenius

Date: 30 Apr 2022 20:54:13

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.

Science Philosophy of Language Epistemology Logic Semantics Modern Philosophy Philosophy

Details

Belief Revision in Non-Classical Logics (Repost)

Posted By: AvaxGenius

Date: 29 Apr 2022 04:52:25

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.

Science Classical Logics Non-Classical Logics Belief Revision Computer Science Artificial Intelligence Formal Languages Theory Mathematical Logic Foundations Epistemology Logic Ontology

Details

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

Posted By: arundhati

Date: 29 Apr 2022 04:10:31

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

Humanities Logic Philosophy

Details

Sweet Reason: A Field Guide to Modern Logic

Posted By: DZ123

Date: 28 Apr 2022 18:32:29

Philosophy Logic

Details

Contemporary Fuzzy Logic

Posted By: hill0

Date: 28 Apr 2022 15:46:40

Fuzzy Logic AI Scilab

Details

The Temporal Logic of Reactive and Concurrent Systems: Specification

Posted By: AvaxGenius

Date: 14 Apr 2022 12:17:39

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.

logic Logic Science Science Temporal Logic

Details