10.3 - Yuri Balashov PHIL 2500 Lecture Notes Strategies for...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Yuri Balashov, PHIL 2500 Lecture Notes Strategies for PD Derivations Goal Analysis Tips (not algorithms) If the sentence you want to derive is universally quantified , try to do it by I : Enter a substitution instance of that sentence and then derive this instance from what you have already. Be careful in choosing your instantiating constant: it should not occur in any undischarged assumption or in the quantified sentence itself. If one of your assumptions or some sentence you have already derived is existentially quantified , try to get rid of the by E ; in some cases this will get you to your final destination; in others the operation will need to be repeated. Be careful in choosing your instantiating constant: it should not occur in (a) any undischarged assumption or (b) in the existentially quantified sentence itself or (c) in the sentence you derive. While I and, especially, E are tricky, because of multiple constraints on instantiating constants, E
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/22/2009 for the course PHIL 2500 taught by Professor Staff during the Spring '08 term at UGA.

Page1 / 7

10.3 - Yuri Balashov PHIL 2500 Lecture Notes Strategies for...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online