Timeline for What do we call functions that behave like predicate symbols?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2014 at 8:37 | vote | accept | goblin GONE | ||
| Jul 28, 2014 at 7:41 | answer | added | Andrej Bauer | timeline score: 5 | |
| Jul 27, 2014 at 22:18 | comment | added | The Masked Avenger | Until an appropriate terminology is found, I suggest "predicate macro" or even "varphi macro". The thing takes an input and uses that to replace instances of x occurring in varphi: smells like a macro to me. | |
| Jul 27, 2014 at 22:01 | answer | added | Ioachim Drugus | timeline score: 1 | |
| Jun 2, 2014 at 13:09 | comment | added | goblin GONE | @FrançoisG.Dorais, okay but what are you getting at? | |
| Jun 2, 2014 at 12:53 | comment | added | François G. Dorais | In most formal contexts where $\lambda$ applies to predicates, there is also a type $\mathrm{Prop}$ of truth values and predicates are viewed as functions $X \to \mathrm{Prop}$. | |
| Jun 2, 2014 at 10:53 | comment | added | Håkon R. Gylterud | True. But the syntactic and semantic parts are quite closely in correspondence. I may not understand you correctly, but think what you are observing here is that formulas and predicate symbols both represent predicates. And that formulas can be composed in the same way we can compose functions. | |
| Jun 2, 2014 at 10:23 | comment | added | goblin GONE | @HåkonR.Gylterud, note that "predicate" is a distinct concept from "predicate symbol." | |
| Jun 2, 2014 at 10:20 | comment | added | Håkon R. Gylterud | In some foundations of mathematics, such as type theory, predicates are just functions. In most settings can view a predicate as a function from the domain into the set/type of truth values. | |
| Jun 2, 2014 at 9:12 | history | edited | goblin GONE | CC BY-SA 3.0 |
added 187 characters in body
|
| Jun 2, 2014 at 9:04 | history | asked | goblin GONE | CC BY-SA 3.0 |