Clik here to view.
Logicism
This is a very quick reply to a colleague who queried the validity of “logical accounts of logical operations”. At least two issues there: the validity of using logics to give a functional...
View ArticleClik here to view.
The Reasoner
The first issue (PDF) of The Reasoner is out now. From the website: The Reasoner is a monthly digest highlighting exciting new research on reasoning and interesting new arguments. It is...
View ArticleClik here to view.
Logic and Reasoning: do the facts matter?
Had a read of Logic and reasoning: do the facts matter? by Johan van Benthem. Covers much ground in a short space but I found it thought provoking. Here’s a quick sketch of the bits I liked. Van...
View ArticleClik here to view.
Science for the half-wits
A bit from Jean Yves-Girard‘s latest rant, The phantom of transparency: Still under the heading « science for the half-wits », let us mention non monotonic « logics ». They belong in our discussion...
View ArticleClik here to view.
Computational logic and psychology
Prediction. This stuff is going to be put to work in psychology soon. (End of prediction.) Computability logic … is a recently launched program for redeveloping logic as a formal theory of...
View ArticleClik here to view.
Free books
From LogBlog: Exciting developments! The Association of Symbolic Logic has made the now-out of print volumes in the Lecture Notes in Logic (vols. 1-12) and Perspectives in Mathematical Logic (vols....
View ArticleClik here to view.
Language and logic (updated)
Some careful philosophical discussion by Monti, Parsons, and Osherson (2009): There may well be a “language of thought” (LOT) that underlies much of human cognition without LOT being structured like...
View ArticleClik here to view.
Recognizing textual entailment with natural logic
How do you work out whether a segment of natural language prose entails a sentence? There are two extreme positions on how to model what’s going on. One is to translate the natural language into a...
View ArticleClik here to view.
Some troubling and interesting things about investigating reasoning
Competence models are typically created and explored by a small number of experts. Boole, Gentzen, Kolmogorov, Ramsey, De Finetti, … The authority can often be shifted to the mathematics. However,...
View Article
