-

- ( ( / Introduction to Logic

.....
.

:




. --

10.1
.
.
10.2
.
-

10.3

.

10.4
. )) (Sound(

10.5
.
. 10.6 )(

25 1391 13:17 . | +

...

-
/ :
... :
" "" ""
)( " "reductio to absurdum "
.
.

/ :
...( Inconsistency). .. :
.
) .

Escher

M. (.
.

/ : ..
... :
:



)(
.

/ : ..
... :
: : )(

< n ... <

.
"
: "

:<

m> : ...

1.
. " "
. m 2.
.

.

-
-

:
1.
.
.

2.

. ) (

. 3.
"" ""
)( 12 " "
) (
"."
" " " " .

"" ""
). )

/ : ..
.. :

 .

""" "" "" " " "
.
. " "


:
Validity

of

Replacement

Proof
of
of

Invalidity

Rule

/Formal

1-

/The

2-

/Proof

/Inconsistency
Validity

of

Proof

34-

/Indirect

56-

"
-
".

13 1391 11:31 . | +

- : -

/ : /
)(

.


/Alonzo Church --- .
:
.
.
.
. - )
(. ) (
. - )
(.

.

.

. .

. .

.
(

)
-
.

.


)


. -(
)
.

( .

.

-

:
.



.
:

.
.

20 1391 14:8 . | 2 +

- : - :

" The Three Laws of Thought " .

" "

.

:
)(principle of identity

)(principle of noncontradiction
)(principle of excluded middle

. . .

19 1389 0:11 . | 2 +

- : - :

.






.
.



:


. . . ...

30 1389 13:32 . | 3 +

- : - :

-
:- - :
.

. -
. :

. . . .

11 1389 3:53 . | +

- :
:- - :

-
:- - :

.
.




.

() : () () ) (
. . .

2 1389 2:14 . | +

- :
:- - :

-
:- - :
.






.

.
. .- ~

23 1389 13:19 . | +

-
:- - :

-
:- - :
.-
.-
...

 : )) (] [
) Velia /Elea- )
) ( .
.
.
. .

13 1389 3:17 . | 3 +

- :
- :

-
:- - :
.-

" q "p
.
. 1.
. 2.

.3

3.
.

. 4.
... .

Hypothetical Syllogistic and Stoic Logic .

" : . . .
". . .

24 1389 12:35 . | 4 +

- :
:- - :

-
:- - :
: .-
-
-
-

... -
:

.-

.-

 )( .-
.-
.-
.-



.-

" " .-

15 1389 2:16 . | +

- .
- :

:
:- - :
.-
. . . .

. . . .
. . . . .



. . . . .


. . . .
. . . . .

: .
:
" " . -
) - - (-

) - - (-
) - / -
( " " /-
) - (

. .

10 1389 10:43 . | 4 +

: -
-

.

.


.




.

-
-

. . . . . . .

: -


.

-
.
. . . . . . .

: -
.

) .(.
- .

.
. .
. .

(Uniform Translation): -


.
. . . . . ..

(Enthymemes): -
.



.



.



.
" :
. . . . . . ".
:

(Sorites)/ .

.

.
) (Sorites
.
. . .. . . .

) Syllogisms

)/Disjunctive ) .
)/Hypothetical Syllogisms

.


.
. . .
. . .
)

(/Dilemma .-

( ( Dilemma- di + lemma - - -
\ \ - -
-
\ - .
.
" "

lemma " ."
horos
. ""\term\\






.

.





] [
. . . ... .

-

.
. :

:
- -

- / /
- / / --- / /
- - / / -
- / /

- / /
-)( .

) ( -
.
.

:
.
.
.
.

) (

) (

) (

::
:: <-
:: <-.
<-

. ::
<-.
. ::
<-

.
.
.

O) (A E I
.
: . -

<--

--

--

--
--

--

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

--

--

<--

--
--

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

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

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

--

--

--

.
.
.

. -

).

) <--

. -
.
.


.
- ] [
.
.

. -
.
. Fallacy of four Terms :

. -

.


. Fallacy of Undistributed middle :

. -


.
. Minor/Illicit Major :

. -
. Fallacy of Exclusive Premises :

. -
.

an

drawing

of

. Fallacy :
affirmative conclusion from negative Premises

. -
.
. Existential Fallacy :

. )(

.
21 1388 12:36 . | 2 +

)(Categorical Propositions -





.

.
.


.

.


Arthur Astom Luce

:



.
.
.
.
-.-.- .-...



//

.-

:.-
: .-//

:.-
:

.
" "

: ) (
" "
"
" . )

( " " .
.

.
.
:

..

.-: //-//

12 1388 13:59 . | +

...

: - -
.

) :(



)(
)( )(
.

: .

- :
--
.

:
.

: - :

.

.
) ):


.

- :


.

: .
.
- / :



.

- :

 - ! " :
--".
.

" " Ad hominem - )- -( :

.
: - -
.

: ( (Ignornatio Elenchi- -
.
) (

) (

. .-

- :
.



-


....

-
....
- ....

. .-

. Ambiguity: -
.
...
. Amphiboly: -
- .
. ][

....
- :
)(
....
- : " " .
. :
" :

...... ".
- :
. .
.

)(Collection
......
) (

//-

//-//-//-//-//-//-

13 1387 9:32 . | 2 +

-



__.
: -
.<<
)(. //:
)(. //:

)(. //:

)(. //:
.
- .
:
))

:




.
) ( .



.



.
.
. ""

.
: .
.

.
.
.
.




.

.
( ][



][ )

(


)
.
:
. .




.
.




.
.

.
.



.
.


)(

.
.


.
: )
( )(
)( )(

.

)(Collection .

.

.








.

.
:
.
:

.
.
:

.
.
:


.


.








. :


.

.

:
.

.
: .


)(


.
.



). )


. :
.

.
:
)/(
:
.
. :
. :
. :

. :
27 1387 9:52 . +

)(5.:

28 1387 6:43 . +

- -

- -
. .



) __. )

.
William Ian
Beardmore Beveridge

.





.


.

.
:
:

.-

.(Informative- :

)Expressive-Directive

.-

.
:

.-

)( --





.
): (Emotive Language

.-

.



.
:(Agreement and Disagreement

.-

)in Attitude and Belief

) (
) ( .

:
)(
) (

)(
)(
) (



)(

.




.
:

/.-

)(
.


5 1387 21:12 . | +

-
. . .


) (1832-98 .

. PDF

--.

.
.
--. -
.






.
.
.

"."

--.

.

--.

.
.
)(

() .
)(
)( .-

18 1387 7:42 . +

-
Introduction to Logic: Basic Logical Concepts/ch01

-- ....

__.

Sextus Empiricus--

.

:
: - -.-
.



.

) (

.
:.-




.
: .-

.
.



.

.
: .-

/
.

/
.



.


17 1387 20:46 . +

:
. . / / : - Introductio To Logic/ : "
/ ."1953-2008 / ) (
. : . :
-M.Tohidi . : ..

1391
1391
1391
1389
1389
1389
1389
1389
1389
1389
1389
1389
1388
1388
1387
1387
1387
1387
1387

)(Copi

)(Cohen
Logic and Proofs-Online
Online & Free Courses
RSS
POWERED BY

BLOGFA.COM