Advertisers
|
Sponsors
|
Informal logic - Informal logic is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial (technical) or formal language (see formal logic). The focus of informal logic lies in distinguishing good arguments (valid, cogent) from bad arguments or fallacies (invalid, uncogent).
Computability logic - Introduced by Giorgi Japaridze in 2003, Computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
Philosophical logic - Philosophical logic is the application of formal logical techniques to problems that concern philosophers. It should be contrasted with mathematical logic, which might be characterized as the application of formal logical techniques to problems that concern mathematicians.
Non-monotonic logic - A non-monotonic logic is a formal logic whose consequence relation is not monotonic. Most formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences.
NuPrl Proof Development System - A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility of an extraction a certified program from the constructive proof of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components of the Ensemble group communications system.
Modern Interpretation of Ancient Logics - Scientific articles on formal aspects of Ancient Western and Indian Logic. Papers on modern interpretation of Aristotle's, Leibniz' and ancient Indian logic.
Infinitary Logic - Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
Source: BazSites.com
Computer Language Logic Model Science - Computer Language Logic Model Science Elements of Finite Model Theory This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as ...
Logic Gate Truth Table - Logic Gate Truth Table Introduction to Logic: Propositional Logic by Howard Pospesel, Designed to make logic interesting and accessible--"without sacrificing content or rigor"--this classic ...
Philosophy of Logic - Philosophy of Logic Modal Logics and Philosophy by Rod Girle, Unlike most modal logic textbooks, which are both forbidding mathematically and short ...
Logic Gates Tutorial - Logic Gates Tutorial Digital Logic Design: Tutorial and Laboratory Exercises by John Passafiume, Digital Logic Design Tutorials and Laboratory Exercises John F. Passafiume, Michael Douglas "The material is excellent for an undergraduate ...
Example Apa Table Contents - Example Apa Table Contents Introduction to Logic: Propositional Logic by Howard Pospesel, Designed to make logic interesting and accessible--"without sacrificing content or rigor"--this classic ...
Sense of Logic - Sense of Logic Logic and Existence by Jean Hyppolite, If the phrase "the philosophy of difference" defines French anti-Hegelianism, then ...
Example Apa Table Contents - Example Apa Table Contents Introduction to Logic: Propositional Logic by Howard Pospesel, Designed to make logic interesting and accessible--"without sacrificing content or rigor"--this classic ...
Example Apa Table Contents - Example Apa Table Contents Introduction to Logic: Propositional Logic by Howard Pospesel, Designed to make logic interesting and accessible--"without sacrificing content or rigor"--this classic ...
Copyright 2006-2008.Find Health All Rights Reserved.