Home
Alberto Fernandez's Library tagged → View Popular
Entia et Nomina
A blog devoted to logic, its philosophy and philosophy of mathematics. With a nominalistic twist to it.
LSAT Logic in Everyday Life
A weekly podcast that applies the logic of the LSAT to politics, advertisements, and conventional wisdom
Ted Sider: Logic for Philosophy
This will be a textbook for a "logic literacy" course. It was designed for beginning graduate students in philosophy, but it is also suitable for advanced undergraduate courses. The goal is to introduce students to the logic they need to know in order to
Categories, Logic and Physics: Categories, Logic and Foundations of Physics
This is the official homepage for a new workshop series on Categories, Logic and the Foundations of Physics. The aim of the workshop, as well as this site, is to promote the study of research strands aiming to gain structural insights into foundational ph
Informal Logic
INFORMAL LOGIC is a peer reviewed journal publishing articles and reviews on topics related to reasoning and argumentation in theory and practice. It is deliberately multi-disciplinary, welcoming theoretical and empirical research from any pertinent field
http://www.godelbook.net
This Introduction gives a relatively relaxed exposition of the technicalities of Gödel’s theorems, and also provides a modest amount of commentary on the interpretation and significance of the theorems. You can get some idea of what the book is about by r
Gödel and the limits of logic
The man in the photograph on the right looks formal, reserved and somewhat undernourished. His face and his writings are unfamiliar to most, except for a few philosophers and mathematical logicians. He was Kurt Gödel, celebrated for his incompleteness th
[0711.1533] N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Ad
PDF-file
A Short Course on Finite Model Theory.
Welcome to Pyke
Pyke is a knowledge-based inference engine (expert system) written in 100% python that can:
* Do both forward-chaining (data driven) and backward-chaining (goal directed) inferencing.
o Pyke may be embedded into any python program.
* Au
The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross, Schlipf (ResearchIndex)
Abstract: A general logic program (abbreviated to "program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program consisting of rules (IDB) sitting above elementar
LogBlog: Carnap: The Programming Language | Richard Zach | Philosophy | University of Calgary
The Carnap Programming Language
Process oriented programming: shared data structures and the concurrent processes that act upon them.
W3C Semantic Web Activity News - RIF Working Drafts published: Basic Logic Dialect and RDF and OWL Compatibility
The Rule Interchange Format Working Group has published the following documents: RIF Basic Logic Dialect and RIF RDF and OWL Compatibility. The Basic Logic Dialect specifies a basic format that allows logic rules to be exchanged between rule-based systems
Selected Tags
Related Tags
Sponsored Links
Top Contributors
Groups interested in logic
-
Logic and Number games
Sites with great games for ...
Items: 2 | Visits: 23
Created by: Mrs. Rivera
-
Logic
Items: 2 | Visits: 33
Created by: Depei Bao
Highlighter, Sticky notes, Tagging, Groups and Network: integrated suite dramatically boosting research productivity. Learn more »
Join Diigo