User loginNavigation |
archivesWhat 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. |
Browse archivesActive forum topics |
Recent comments
22 weeks 6 days ago
23 weeks 1 hour ago
23 weeks 1 hour ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 9 hours ago
51 weeks 9 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago