Who's got Language, Proof, and Logic by Barwise and Etchemendy?

  • Context: Lingusitics 
  • Thread starter Thread starter quantumdude
  • Start date Start date
  • Tags Tags
    Language Logic Proof
Click For Summary

Discussion Overview

The discussion revolves around the book "Language, Proof, and Logic" by Barwise and Etchemendy, focusing on its content, associated software, and the possibility of forming a study group. The scope includes aspects of logic, language theory, and the practical application of the book's resources.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Homework-related

Main Points Raised

  • One participant expresses interest in forming a study group for the LPL book to prepare for a mathematics MS degree, mentioning the need for independent review of foundational mathematics.
  • Another participant inquires about the software that accompanies the book, asking about its functions and the book's price in Canadian dollars.
  • A participant describes the software included with the book, noting that it has four programs for homework exercises, including one that evaluates truth tables and another for formal proofs, and mentions the "Grade Grinder" feature for automatic grading.
  • There is a discussion about the availability of the textbook online for free, with a participant suggesting that the authors may not mind its free distribution since the software is necessary for exercises.
  • One participant comments on the book's cost, expressing that it seems expensive and questions how the language aspect relates to formal logic and language theory in computational studies.
  • Another participant clarifies that the book focuses on first-order logic and that the authors consider it a language.
  • A participant shares their experience of purchasing a used copy of the book with the CD at a low price, indicating satisfaction with buying used books online.

Areas of Agreement / Disagreement

Participants express varying opinions on the nature of the book, particularly regarding its focus on logic versus language theory. Some agree that it is centered on first-order logic, while others question the extent of its coverage of language theory. The discussion remains unresolved regarding the relationship between language theory and the content of the book.

Contextual Notes

There are assumptions about the definitions of language and logic that are not fully explored, and the discussion includes varying interpretations of the book's content and its applications.

quantumdude
Staff Emeritus
Science Advisor
Gold Member
Messages
5,564
Reaction score
24
As I noted in my latest Journal entry, I am going back to school next Fall for an MS degree in mathematics. There are some courses I feel that I can safely skip if I do some independent review, and the "Foundations of Mathematics" is one of them.

To help enable me to do this, I would like to start a group study of the LPL book. Does anyone else out there have it? There are various resources available online, such as...

http://www-csli.stanford.edu/LPL/
Lecture Notes based on the book.
http://ssdi.di.fct.unl.pt/lei/lc/0102/lpl textbook.pdf in PDF Form (caution: it's a whopping 3.72 MB)

However, you do have to have the book and the software that comes with it to do the exercises.

So, who's interested?
 
Last edited by a moderator:
Science news on Phys.org
software that comes with a logic book? cool what's on it? How much is the book (CDN$)? And is it like any other language theory and computability book or is it pure logic?
 
neurocomp2003 said:
software that comes with a logic book? cool what's on it?

There are 4 programs on the CD, each of which perform a different function in the homework exercises. One evaluates truth tables and another evaluates formal proofs for validity. I don't know what the other two do, because I haven't started playing with them yet. But I do know that you can send your solutions to the LPL homepage and their "Grade Grinder" will automatically and instantly grade your homework for you.

How much is the book (CDN$)?

Here's the ad at Amazon:
https://www.amazon.com/gp/product/157586374X/?tag=pfamazon01-20

And is it like any other language theory and computability book or is it pure logic?

The textbook itself is actually available online for free. I've just added a link to it in my first post, in case anyone wants to thumb through it. I guess the authors aren't too concerned about anyone getting the book for free since it isn't of much use without the CD.
 
Last edited by a moderator:
tahts an expensive book...for the jist of it, it looks like a book on formal logic...how does the language part play into it(my conception of language comes from that seen in language theory in computational studies ie FSM/PDAs/TURING) is there more to language theory then those that i listed?
 
The subject of the book is first order logic, and the authors do consider it a language.
 
I just went to the link. Clicked on "used" and bought one in very good condition with the CD for $3.08. Not bad if you don't insist on NEW.
I've bought a number of used books and CD's from Amazon and have never been disppointed.
 

Similar threads

What is the best way to learn logic of computer language?
  • · Replies 15 ·
Replies
15
Views
4K
Undergrad Computer languages as examples in formal logic
  • · Replies 40 ·
2
Replies
40
Views
9K
Book on how to define ideas rigorously
  • · Replies 6 ·
Replies
6
Views
2K
Graduate Can Mathematics be Translated to First-Order Language?
  • · Replies 7 ·
Replies
7
Views
5K
Foundations Intro to Proof (Foundational) Mathematics
  • · Replies 10 ·
Replies
10
Views
3K
Requesting suggestions for languages, libraries, and architectures for parallel (and sometimes non parallel) numerical and scientific computations
  • · Replies 8 ·
Replies
8
Views
4K
Graduate First-order logic without sets?
  • · Replies 35 ·
2
Replies
35
Views
10K
Books to Buy for Mathematical Maturity in Theory and Proofs
  • · Replies 5 ·
Replies
5
Views
7K
Proofs, Exercises & Mathematica - Training the same skills?
  • · Replies 3 ·
Replies
3
Views
2K
Becoming proficient in Symbolic Logic
  • · Replies 2 ·
Replies
2
Views
2K