Thread View: sci.logic
2 messages
2 total messages
Started by Marko Amnell
Wed, 07 Oct 1992 06:58
John Etchemendy
Author: Marko Amnell
Date: Wed, 07 Oct 1992 06:58
Date: Wed, 07 Oct 1992 06:58
20 lines
1322 bytes
1322 bytes
Somebody mentioned Etchemendy and Barwise's _The Liar_. I'm having trouble with my newsreader, so I couldn't follow-up that article. This is a very good book, I'm told. Similar results with ill-founded sets are obtained in Patrick Grim's new book _The Incomplete Universe_. On an unrelated note, I have in front of me a new book by Etchemendy, _The Concept of Logical Consequence_. This looks like a brilliant book. Etchemendy is arguing that both the syntactic and the orthodox Tarskian semantic characterizations of the entailment relation fail to capture what we truly mean by the concept of logical consequence. The first part of this is hardly controversial, but the second is novel. I haven't read more than the first chapter yet, but this looks like essential reading for all students of logic. An original first-rate treatise in the philosophy of logic is a rare thing indeed, but here we have one. (Harvard U.P. 1990) -- Marko Amnell amnell@klaava.helsinki.fi Graduate Student in Philosophy
Re: John Etchemendy
Author: Vaughan R. Pratt
Date: Thu, 08 Oct 1992 03:52
Date: Thu, 08 Oct 1992 03:52
15 lines
1227 bytes
1227 bytes
In article <1992Oct7.065815.25425@klaava.Helsinki.FI> amnell@klaava.Helsinki.FI (Marko Amnell) writes: >On an unrelated note, I have in front of me a new book by Etchemendy, >_The Concept of Logical Consequence_. Related to this is the paper by Fagin, Halpern, and Vardi, "What is an inference rule?", in the current issue of J. Symbolic Logic, 57:3 1018-1045, Sept. 1992. The paper introduces a general semantic framework for exploring various meanings of "inference" ranging from validity to truth inference. -- =================================================== In short, I am floundering Vaughan Pratt pratt@cs.Stanford.EDU 415-494-2545 around and don't take what =================================================== I say seriously.
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads