Philosophy Forum  
Home Register Forums Blogs Videos FAQ Social Groups Mark Forums Read

Go Back   Philosophy Forum > Philosophy Forums > Branches of Philosophy > Logic


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 ...


Reply
 
LinkBack Thread Tools
  #1  
Old 02-23-2009, 09:11 PM
New Member
 
Join Date: Nov 2008
Location: USA
Posts: 2
Thanks: 0
Thanked 0 Times in 0 Posts
Rep Power: 0
zizou21 is on a distinguished road
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?
Reply With Quote

  #2  
Old 04-19-2009, 07:27 AM
Junior Member
 
Join Date: Jan 2009
Location: Krakow, Poland
Posts: 16
Thanks: 0
Thanked 1 Time in 1 Post
Rep Power: 0
gabalus is on a distinguished road
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.
Reply With Quote
Reply

Bookmarks


Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


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


All times are GMT -4. The time now is 05:21 PM.


vBulletin Copyright ©2000 - 2010, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.3.1
Copyright 2006-2010 PhilosophyForum.com