Home | Community | Message Board

Out-Grow.com - Mushroom Growing Kits & Supplies
This site includes paid links. Please support our sponsors.


Welcome to the Shroomery Message Board! You are experiencing a small sample of what the site has to offer. Please login or register to post messages and view our exclusive members-only content. You'll gain access to additional forums, file attachments, board customizations, encrypted private messages, and much more!

Shop: Myyco.com Golden Teacher Liquid Culture For Sale   Unfolding Nature Unfolding Nature: Being in the Implicate Order

Jump to first unread post Pages: 1 | 2 | Next >  [ show all ]
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
*philosophy majors/logicians* a little bit of help please
    #14029975 - 02/26/11 11:33 AM (13 years, 7 days ago)

I am currently taking Symbolic Logic II. I normally am able to figure out my schoolwork, but I am stumped right now, and I was wondering if anyone else with experience could help. It is a proof in predicate logic



note that the proof is not necessarily going to be 12 lines, I just put space there to make it obvious that the bottom line is the conclusion. the only non provisional premise is line (1).

PA = provisional assumption
IP = indirect proof
QE = quantifier exchange
EO = existential out
AO = universal out

thanks in advance to anyone who can help.

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14030339 - 02/26/11 12:52 PM (13 years, 7 days ago)



is this correct? i feel like it is strange to use CP so whimsically, but i cant find anything technically wrong with my method

Extras: Filter Print Post Top
Invisibleteknix
π“‚€βŸπ“…’π“π“…ƒπ“Š°π“‰‘ 𓁼𓆗⨻
 User Gallery

Registered: 09/16/08
Posts: 11,953
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14030727 - 02/26/11 02:25 PM (13 years, 7 days ago)

What does it all mean?

:header:

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: teknix]
    #14030972 - 02/26/11 03:29 PM (13 years, 7 days ago)

it doesn't mean much of anything yet :wink: at least, not to you. it's just a bunch of variables and operators and logical inference rules

symbolic logic is similar to math (thats kind of a misleading statement, since the system of mathemetics we all know and love is basically just symbolic logic with an extremely abbreviation system of notation, but it is a helpful comparison for beginners)). you have formulas, and variables, and so forth. but in predicate logic, your variables stand for written statements instead of numerical values.

logic is about the form of your symbols, not their content. none of what you see means anything until those symbols become recognizable to you.

Extras: Filter Print Post Top
InvisibledeCypher
 User Gallery


Registered: 02/10/08
Posts: 56,232
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14031116 - 02/26/11 03:57 PM (13 years, 7 days ago)

It would help if we knew what rules are allowed in this program...


--------------------
We are all in the gutter, but some of us are looking at the stars.

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14031153 - 02/26/11 04:03 PM (13 years, 7 days ago)

The argument, written in english, would read like this:

Quote:


For any X, if X is an R or an M, then X is a D.

Therefore, for any X, if X is an R, then X is a D, and, if X is an M, then X is a D.







seems obvious. it is. but the point of logic is to prove things, because oftentimes arguments that are "obviously" convincing are completely invalid.

Quote:

It would help if we knew what rules are allowed in this program...




Any derivable rule with the exception of Universal Generalization.

I try to stick with Existential Instantiation/Out, Universal Instantiation, Quantifier Exchange, Indirect Proof, Conditional Proof, Modus Ponens, Double Negation, Contraposition, Modus Tollens, Simplification, Addition, Conjunction, DeMorgans, Arrow Connective Exchange (annotated by AR), Disjunctive Syllogism, and Hypothetical Syllogism

Extras: Filter Print Post Top
Invisibleteknix
π“‚€βŸπ“…’π“π“…ƒπ“Š°π“‰‘ 𓁼𓆗⨻
 User Gallery

Registered: 09/16/08
Posts: 11,953
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14031181 - 02/26/11 04:10 PM (13 years, 6 days ago)

Is this like Kernel level programming?

Extras: Filter Print Post Top
Invisibleteknix
π“‚€βŸπ“…’π“π“…ƒπ“Š°π“‰‘ 𓁼𓆗⨻
 User Gallery

Registered: 09/16/08
Posts: 11,953
Re: *philosophy majors/logicians* a little bit of help please [Re: teknix]
    #14031197 - 02/26/11 04:14 PM (13 years, 6 days ago)

So 18 is = 17?

Whats the diff between 10 and 16?

Extras: Filter Print Post Top
InvisiblePoid
Shroomery's #1 Spellir
Male User Gallery


Folding@home Statistics
Registered: 02/04/08
Posts: 40,372
Loc: SF Bay Area Flag
Re: *philosophy majors/logicians* a little bit of help please [Re: teknix]
    #14031589 - 02/26/11 05:38 PM (13 years, 6 days ago)

Quote:

teknix said:
Whats the diff between 10 and 16?


6?


--------------------
Well I try my best to be just like I am, but everybody wants you to be just like them. --  Bob Dylan
fireworks_god said:
It's one thing to simply enjoy a style of life that one enjoys, but it's another thing altogether to refer to another person's choice as "wrong" or to rationalize their behavior as being pathological or resulting from some sort of inadequacy or failing so as to create a sense of superiority or separation as yet another projection of a personal fear or control issue.

Extras: Filter Print Post Top
InvisibledeCypher
 User Gallery


Registered: 02/10/08
Posts: 56,232
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14032484 - 02/26/11 08:14 PM (13 years, 6 days ago)

How'd you get from 6 to 7?  Isn't the negation of (P -> Q) (P & ~Q), not (P -> ~Q)?


--------------------
We are all in the gutter, but some of us are looking at the stars.

Extras: Filter Print Post Top
OfflineShroomScape
Sexplorer
Male User Gallery


Registered: 07/31/06
Posts: 706
Loc: ation
Last seen: 10 years, 11 months
Re: *philosophy majors/logicians* a little bit of help please [Re: Poid]
    #14032745 - 02/26/11 09:08 PM (13 years, 6 days ago)

Quote:

Poid said:
Quote:

teknix said:
Whats the diff between 10 and 16?


6?




:rofl2:

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: deCypher]
    #14033831 - 02/26/11 11:56 PM (13 years, 6 days ago)

Quote:

deCypher said:
How'd you get from 6 to 7?  Isn't the negation of (P -> Q) (P & ~Q), not (P -> ~Q)?



actually, yes, I think you you are correct, the Arrow Exchange  rule is only applicable to the main connective in a given formula. but if you'll notice on the dependency list, line 7 (the erroneous line) is never referenced in the remainder of the proof

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: teknix]
    #14033858 - 02/27/11 12:01 AM (13 years, 6 days ago)

Quote:

teknix said:
Is this like Kernel level programming?



yes

but I am not advanced enough in my knowledge of computer technology to do anything like that yet

Extras: Filter Print Post Top
InvisibledeCypher
 User Gallery


Registered: 02/10/08
Posts: 56,232
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14033873 - 02/27/11 12:04 AM (13 years, 6 days ago)

Okay... how'd you get from 12 to 13?


--------------------
We are all in the gutter, but some of us are looking at the stars.

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: deCypher]
    #14033912 - 02/27/11 12:15 AM (13 years, 6 days ago)

Disjunctive Syllogism on lines 6 and 12

i)~(Ra -> Da) v ~(Ma -> Da)
ii)~~(Ra -> Da)
_______________________
iii)|:. ~(Ma -> Da)

Extras: Filter Print Post Top
InvisibledeCypher
 User Gallery


Registered: 02/10/08
Posts: 56,232
Re: *philosophy majors/logicians* a little bit of help please [Re: morrowasted]
    #14033927 - 02/27/11 12:20 AM (13 years, 6 days ago)

Word... don't see any problems with your proof then.  :cheers:


--------------------
We are all in the gutter, but some of us are looking at the stars.

Extras: Filter Print Post Top
Offlineandrewss
precariously aggrandized


Registered: 08/17/07
Posts: 8,725
Loc: ohio
Last seen: 2 months, 15 days
Re: *philosophy majors/logicians* a little bit of help please [Re: deCypher]
    #14033957 - 02/27/11 12:27 AM (13 years, 6 days ago)

symbolic logic... fuck dat shiz :megacrankey:


--------------------
Jesus loves you.

Extras: Filter Print Post Top
Invisibleteknix
π“‚€βŸπ“…’π“π“…ƒπ“Š°π“‰‘ 𓁼𓆗⨻
 User Gallery

Registered: 09/16/08
Posts: 11,953
Re: *philosophy majors/logicians* a little bit of help please [Re: ShroomScape]
    #14034741 - 02/27/11 08:03 AM (13 years, 6 days ago)

Quote:

ShroomScape said:
Quote:

Poid said:
Quote:

teknix said:
Whats the diff between 10 and 16?


6?




:rofl2:




Haha, wouldn't it be  -6?

Extras: Filter Print Post Top
Offlinemorrowasted
Worldwide Stepper
Male User Gallery


Registered: 10/30/09
Posts: 31,383
Loc: House of Mirrors
Last seen: 17 hours, 5 minutes
Re: *philosophy majors/logicians* a little bit of help please [Re: andrewss]
    #14035296 - 02/27/11 11:08 AM (13 years, 6 days ago)

Quote:

andrewss said:
symbolic logic... fuck dat shiz :megacrankey:



i love it :heart:

Extras: Filter Print Post Top
Offlineauxiliary
Mr.
Male User Gallery


Registered: 05/03/09
Posts: 2,278
Loc: Thatoneville
Last seen: 10 years, 6 months
Re: *philosophy majors/logicians* a little bit of help please [Re: teknix]
    #14035870 - 02/27/11 01:03 PM (13 years, 6 days ago)

Quote:

teknix said:
Quote:

ShroomScape said:
Quote:

Poid said:
Quote:

teknix said:
Whats the diff between 10 and 16?


6?




:rofl2:




Haha, wouldn't it be  -6?



:rofl2:


--------------------

Extras: Filter Print Post Top
Jump to top Pages: 1 | 2 | Next >  [ show all ]

Shop: Myyco.com Golden Teacher Liquid Culture For Sale   Unfolding Nature Unfolding Nature: Being in the Implicate Order


Similar ThreadsPosterViewsRepliesLast post
* No more Spirituality or Philosophy in S&P chemkid 1,521 6 10/10/02 08:47 AM
by Anonymous
* Philosophy Intro - New.. Asking for help. Phobos 1,425 13 08/16/03 02:33 PM
by Malachi
* Football and Philosophy... Sclorch 846 9 12/01/03 03:19 PM
by SkorpivoMusterion
* Excellent Quote on Philosophy!!! jono 2,437 14 05/19/02 08:47 PM
by Sclorch
* interview with O.G's and their philosophy kaiowas 1,384 17 05/06/04 08:23 AM
by kaiowas
* Philosophy Books - I wanna read one! Amber_Glow 1,769 11 03/09/03 06:56 AM
by Waldarbeiter
* Post deleted by Administrator Anonymous 771 11 01/04/03 08:19 PM
by undecided
* Philosophy Links
( 1 2 all )
Anonymous 6,382 36 05/25/04 09:26 AM
by Deviant

Extra information
You cannot start new topics / You cannot reply to topics
HTML is disabled / BBCode is enabled
Moderator: Middleman, DividedQuantum
1,491 topic views. 1 members, 4 guests and 3 web crawlers are browsing this forum.
[ Show Images Only | Sort by Score | Print Topic ]
Search this thread:

Copyright 1997-2024 Mind Media. Some rights reserved.

Generated in 0.04 seconds spending 0.006 seconds on 14 queries.