| ||||||||||||
| |||||||
| Logic Thread, anyone with knowledge in First Order Predicate Logic? in Branches of Philosophy; I am assigned to write the following in FOPL: The man in the trench coat shot the burglar. I cannot ... |
![]() |
| | LinkBack | Thread Tools |
|
#1
| |||
| |||
| anyone with knowledge in First Order Predicate Logic? I am assigned to write the following in FOPL: The man in the trench coat shot the burglar. I cannot figure it out. The man in the trench coat and burglar are definite descriptions, no? what would this look like in first order logic? |
|
#2
| |||
| |||
| Re: anyone with knowledge in First Order Predicate Logic? THE MAN IN THE TRENCH COAT and THE BURGLAR are not, I would say, definite descriptions, they are incomplete description. Some argues that every description is incomplete. If you want to analyze this description in Russell'a way [= an a existential quantifier] then you should have properly restricted domain of quatification. When you analyze this sentence you will get something like ExEy S(where E stands for existential quatifier and P for an atom sentence). Were you quantifying over full domain (whole world) then THE BURGLAR isn't satified by exactly one object, it's not what we want. |
![]() |
| Bookmarks |
| Thread Tools | |
| |
Similar Threads | ||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| predicate logic problem | facepuncher | Logic | 1 | 05-31-2009 12:26 PM |
| Predicate Proof Bonanza | VideCorSpoon | Logic | 0 | 05-19-2009 08:45 PM |
| Derivations in Predicate Logic | KCL | Logic | 4 | 09-06-2008 12:28 PM |
| Cosmic Order. | Pessimist | Uncategorized | 6 | 06-02-2008 03:11 AM |
| Social Order | Pessimist | Ethics | 0 | 05-04-2008 05:21 PM |