User loginNavigation |
What is a Proposition?I just started reading "Type Theory and Functional Programming" and realised pretty rapidly that I wasn't sure what a proposition was. When I look at Wikipedia - http://en.wikipedia.org/wiki/Proposition - they seemed rather negative on the whole idea. If propositions are questionable how can you do something as concrete as write programs with them? Am I just getting two different meanings of "proposition" mixed up? In the article it says In Aristotelian logic a proposition is a particular kind of sentence: one which affirms or denies a predicate of a subject. Even I know what a predicate is, so should I just run with this definition? Thanks. By andrew cooke at 2006-01-20 21:08 | LtU Forum | previous forum topic | next forum topic | other blogs | 21461 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 3 hours ago
51 weeks 4 days ago
51 weeks 4 days ago