Talk:Predicate (mathematical logic)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Importance
 Field: Foundations, logic, and set theory

?[edit]

Any chance of anyone explaining this so the average reader could get an understanding of what it means? Tyrenius 18:46, 24 October 2006 (UTC)

Follow the new external link for an explanation.

S Sepp 14:04, 26 October 2006 (UTC)

Thanks for the reference, but that's hardly an acceptable solution to a poor article. Hoping someone actually has this on their watch list and notices that the problem still exists. MJKazin (talk) 18:34, 23 April 2008 (UTC)

Merge[edit]

See Talk:Predicate (mathematics). --Abdull 11:04, 3 December 2007 (UTC)

See Talk: Predicate variable. Sae1962 (talk) 07:27, 2 March 2011 (UTC)

  • Don't merge. Cleanup instead. There's a lot of confusion between the articles on propositional logic, first-order logic, term algebra, model theory, type theory, philosophy, general mathematics, and semantics(?). All have similar-but-different notions of predicates, but differ sharply in the details. I tried to clean up this article to make this clear, but I believe it has a loooong way to go. linas (talk) 17:05, 9 June 2011 (UTC)

Atomic formula[edit]

The follwoing in the article does not accord with Atomic formula and is surely wrong

— Philogos (talk) 22:07, 16 June 2011 (UTC)

There were a lot of problems with the text, but I think I have removed most of them. — Carl (CBM · talk) 02:03, 17 June 2011 (UTC)

Confusion[edit]

Thus seems confusing:

  • Informally, a predicate is a statement that may be true or false depending on the values of its variables.[citation needed] It can be thought of as an operator or function that returns a value that is either true or false.

better sruely would be

  • Informally, a predicate is an operator or function that returns a value that is either true or false. depending on the values of its variables.
I think it's better to say something like "a predicate can be represented by a function that ...". This avoids using the word "is" about the predicate. — Carl (CBM · talk) 02:40, 17 June 2011 (UTC)
Interesting. Then we have (a) predicate symbols(b) predicates (c) functions, and a predicate can be represented by a function. Eg
  • 'F' is a predicate symbol [type (a)]
  • under an intepretation it, 'F', can be associated with a predicate, egs. prime, even [type (b)]
  • the prime, even and green can be represented by functions (from numbers to {t,f}

That gives us three ontological classes. On the princile of Ackhams razor, would it not be simpler to say

  • under an intepretation 'F', can be associated with a predicate, egs. prime, even which are functions (from numbers to {t,f}

— Philogos (talk) 01:31, 18 June 2011 (UTC)

formal definition[edit]

The following in para formal definition do not provide formal definitions of the term predicate.

  • In propositional logic, atomic formulae are called propositional variables.
  • In first-order logic, an atomic formula consists of a predicate symbol applied to an appropriate number of terms.

The article is about predicates not predicate symbols— Philogos (talk) 02:29, 17 June 2011 (UTC)

Indeed. — Carl (CBM · talk) 02:39, 17 June 2011 (UTC)
So the items quoted do not provide a formal definition of the term predicate. (not to be conmsuded with the term predicate symbol or predicate letter

"atomic formula and an atomic sentence" ??? I was reading the article, and it was reasonable to follow, until I came across mention of "atomic formula and an atomic sentence". I've no idea what these are. No clue is given. What is this going on about? — Preceding unsigned comment added by 109.145.82.159 (talk) 10:46, 19 August 2011 (UTC)