Friday, October 31, 2008

Michael von Boguslawski

Prochaine séance du séminaire Philform :
lundi 03 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST
Michael von Boguslawski (université d'Helsinki): "Ketonen's logical discovery".

Abstract :
In this talk I will describe Oiva Ketonen's work on logic, in particular his discovery of a sequent calculus with invertible rules. Additionally I will give a brief overview of how logic arrived in Finland. Ketonen being the only student of Gerhard Gentzen - the father of sequent calculus - some recent research on the latter will also be presented.

Sunday, October 26, 2008

Allen Mann

Prochaine séance du séminaire Philform :
lundi 27 octobre, grande salle de l'IHPST, 14h-16h.
Allen Mann : IF logic and Kleene algebras

Abstract:
It is well known that the Principle of Bivalance fails in IF logic--there are sentences that are neither true nor false. We will use the techniques of algebraic logic to show that the Principle of Trivalence holds--every sentence has one of exactly three possible truth-values. We will further show that IF logic can be viewed an a first-order extension of Kleene's strong three-valued logic.

Wednesday, October 15, 2008

Institut für Mathematische Logik und Grundlagenforschung

Ansten Klev informs me that the institute for foundational research in
Münster has some logic texts on their website: here.
In english :

W. Pohlers : Computability theory of hyperarithmetical sets
W. Pohlers : Infinitary proof theory
W. Pohlers & T. Grass : A introduction to mathematical logic

Wednesday, October 08, 2008

B. Weatherson : Decision Theory book

Here

Michael Freund

Lundi 13 octobre de 14h à 16h dans la grande salle de l'IHPST, le séminaire Philform reçoit Michael Freund (Paris IV):
'Une théorie de la catégorisation pour les concepts constructibles'.


Résumé: Les concepts constructibles sont ceux que l'on peut définir à l'aide de concepts plus simples dans un processus similaire à celui de l'apprentissage. Pour cette classe de concepts, les notions de base de la théorie de la categorisation et de la théorie du prototype peuvent être simplement modélisées par des relations qualitatives. On obtient ainsi un formalisme qui permet de mieux cerner les problèmes classiques liés à l'appartenance, la typicité relative et la ressemblance. En particulier, le modèle proposé est cohérent avec l'opération de compositionalité, et rend fidèlement compte de phénomènes expérimentaux peu ou mal expliqués par les théories antérieures. La réinterprétation, enfin, de la notions de trait essentiel et de trait typique en termes de relation d'inférence conduit à traitement intéressant dans le cadre de la logique non monotone des notions d'induction catégorielle.

Monday, October 06, 2008

"Logic tutorials" page of Theorem(e)

Our "logic tutorials" page needs to be updated, and I hope I'll be able to do that soon. Meanwhile, you can also check out the "Intext" category which also contains links to online logic courses... Done. The new URL is : http://sites.google.com/site/theoremeorg/.

[Thanks to Richard Zach and Peter Smith for advertising on their blogs.]

Thursday, October 02, 2008

Nuel Belnap : The Art and Science of Logic

Nuel Belnap now has two logic texbook drafts on his webpage :

Notes on the Art of Logic (.pdf, 310 p.)
Notes on the Science of Logic (.pdf, 237p.)