Talk:Sentence (mathematical logic)
From Wikipedia, the free encyclopedia
 |
|||||
| Mathematics rating: | Stub Class | Mid Priority | Field: Foundations, logic, and set theory | ||
| Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article. | |||||
Needs references (Enderton? Smullyan?) Could mention sentences of infinitary or other non-first-order logic. Should terms such as "formula" be defined? --Trovatore 28 June 2005 18:39 (UTC)
- I do need references. but it's a type of grammar, not a definition of a sentance in logic. so I have to oppose merge. I have a pretty good book by robert L. causey called "Logic, Sets, and Recursion"(2nd ed) that discusses this breifly. I'm just really bad with doing references.
- I am doing to make some tentative changes. Do change them back if they are not good. I will try to defend my changes. The issue here is that we cannot give an exact definition of sentence without first fixing a predicate logic. However, in linguistics, there are different kinds of langauges, yet there can be a satisfactory definition of a sentence. That is what I'm trying to do in my changes.DesolateReality 05:14, 9 June 2007 (UTC)
- Looks good so far. However I think the following sentence needs some thought:
- A sentence is distinguished from a formula as it assumes a fixed truth value given a structure of the predicate logic.
- One problem is the word "assumes", which some readers may take to mean "makes an assumption" rather than "takes on". Another is "distinguished from a formula", when a sentence is a formula. But I think your general thrust is on-target. --Trovatore 07:27, 9 June 2007 (UTC)
- Thank you Trovatore for the careful reading. Do you have suggestions on how I might improve the sentence (no pun intended!) in concern?DesolateReality 15:40, 10 June 2007 (UTC)
- I've made the edits recently. it involved quite some rephrasing. do edit it at will!--DesolateReality 00:50, 11 June 2007 (UTC)
- Looks good to me. --Trovatore 01:08, 11 June 2007 (UTC)
- Looks good so far. However I think the following sentence needs some thought:
[edit] Plain English
In plain English, this sentence is interpreted to mean that every member of the structure concerned is the square of a member of that particular structure.
Em, this is plain English? --Abdull 19:03, 2 December 2007 (UTC)
