Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
11
4.
....
LGICA
HORAC!O ABELEDO
Introduccin
-------..----
ie-..::::;.,-.q
:::,-:=--
59
Tipos de inferencia
a
.
La Lgica se,'!.>_:,_,_] pr? o.siines (o_ :-unci d?..:); su estruc
.1ntern'av.., j-'fo. a. .en.. _que Se COmbnn _pr generar nuevas proposici ?-12:S
rnto";piT;: Un !.n-::intal es el e-i9 ec,tura de2.:
cuales se puede inferir cierta
;ints, es decir de las reglas por las
a partir de otras llamadas premisas; y
;;;p-b.sii n llamada "conclusin"
un razonamiento para ser consideracumplir
de las condiciones que debe
do vlido .
que s e han citado como formas de
Son varios Jos tipos de inferencia
1--Q._t?__esud,_E. 1'!2!,!eferiremos en parrazonamiento humano que _la.
1 . e o odos
u tiv
ticular a Jan-:t t- .,-'. Aun: ' n . t
aad
log
O
de
1dad
icas inducpos1bih
la Jeg1t1m
los autores co.ncueraan sobre
la lgS
tivas O abductivas. rJ)':, en cambio, acuerdo generlJzado sobre
.
se encuentra mucho. ms desarrollada.
deductiva, que po, tra parte
los distintos tipos de inferen
continuacin
a
e
p;emos somerament
desarrollaremos ms ampliamente la nocin
cia, y en ia seccin siguiente
ando algunos tipos de razonamiento, espe
de inferencia deductiva, mostr
relacin con algunos problemasnportantes p ara
cialmente. los que tienen
s fcticas.
la metodologa de las ciencia
e
_ .. ""
?. -
-
rem
rf: s_ea ta_l_sa. ?ebe
de
una
s
9ue .l. men
c' ;rarse que \o nic o que mteresa P: ?::11 1r:_r s1 un_ razona1e:rito
dedyg__Y.s_v_!ido?_ no, es la_fo:111 !gica___e ls premisas y l a ,,pn;;;iILY-.!1Q_..E?!!tenido o significado. (Suele expresarse esto diciendo
t
)
qu; -s un problema-;t;;I'cit"yc senufarico
Corno ilustracin veamos un par de eje.mplos.
Se ve intuitivamente que cumpie la anterior definicin de validez el
.\' .o';c;i.
;{
c.:?.
ci-s!:Jil.::
?Y
bs
...
.----____,._ --
Todos los entrerrianos son argentinos.
Todos los argentinos son latinoamericanos.
Todos los entrerrianos son latinoamericanos.
(Premisa !)
(Premisa 2)
(Conclusin)
( .
"' Sin embargo,;;,.99,!?,.l)]J?.g.J.?.Y..f.Qa. p_9e]a conclusiQD.del
..- .,..,
.. - o_ razonam
se""und
, .. ;,:';;'-iento, como tam_b"'
1en Ja de J as premisas
(por lo menos la
, .
.
primera .. ),\mientras qu acepts la verdad de la; remi:
n
.. ,
,
\.,..,,., -- -. - '" -,- ----,",'" -- ..,,., ,.,., .....e. .., ;;;
1 n -e_pnm
c_y
er eJemplo. pe todos modos, lo importante es q-
-bo;
rwnam1entos -;.,:;1-::2,.!17-11 JqgiG.?e,.E1!f poc!r -.qematiz-:i_;;.
.
\ o
, como:
-. ::,
-- ------,
aGf2c1
: Todos los M son A.
(Premisa 1)
\. dJ2..
N:) P(")') \. $"'<.:;} <;:
i Todos los A son B.
r.--::
(Pre ffil Sll 2
-;::;--;--:----:-::------
=:::_::.!...
)_ >-s-ie.n1pP-
cJa-'l
0
Todos los M son B.
.o
(Conclusin
;; -
-:No
\(J
Qas
y
e.,)
1:
/ ___ S:A-30
. ..,.. /
- is_ii_11.9----P9f
v1a de la deducc1on que encontraremos verdades
nuev
-.
a--- .. ... -- --- - ---- ----- .
.
_.
razonamiento:
60
LGICA
61
Ejemplo:
El enanito 1 tiene poderes mgicos.
El enanito 2 tiene poderes mgicos.
El enanito 3 tiene poderes mgicos.
Todos los enanitos tienen poderes mgicos.
'-
_,, __
pasa el. afilador suena el timbre entre ias 1 O y las Jl" para afirmar (
como
rira)__cl,!e_g:__tr<Lta_!-tel..l,lfilador.
co-Este
es
un
r
..
;;
-------- - Q]-YDIi-;t. o . ditip-;
_..,,.,...... ........c-- . . .. ....;,_;;;
tizar
as:
1E
1
9
-.
ri
ti;':11-J?.?.
,...-...
'
Son limitaciones
de ia induccin (1) que no _p':!_ee estipulitre cunt
0
prem; seceit para que j:-igu,9-tpn_er_ la_?lst!,1; (2) que
c;mo Ja verdad de la conclusin no est asegurada P<?r la verdad de las
oremis:s: y si fuese 1 contrario. sen.a un caso particular de razonamiento
deductivo.. resulta ser, ms que unrazonarniento l15glco, algo asf como un
mecanism o de la menti,,__h;a2r ge;.;'efirmaiones generales_qe_
J;g
habr- q poner. a prue
:.
-.----- -- .
-,
-'-
.
1
-Abduccin.\ Consideremos ei siguiente eJemp,o.
quti;t;re que pasa el afilador toca el timbre entre ias l 0:00 Y las
11 :OO. Un da oigo sonar el timbre a las 10:20. Inmediatamente se me
ocurre que se trata del afilador.
Para analiZ<lr la estructura lg.1a de m"1 razonamiento, consideremos
t
""sti
...
primero el siguiente:
Cuando pasa ei afilador suena el timb;e entre 1:..s 1 O y las 11. (Premisa
Pasa el afilador
(Premisa 2)
(Com::;usin)
Suena el timbre entre ias iO y 1a 11
1}
1i or.
.
.
A. \2:.fZ{2_ 0'\1
,
.i\\54s:E1).JCC
Cuando pasa el afilador su na el timbre entre las 10 y las 11.
c,:JNW c..ki
11
i
_a_e] _t _1:!r,: _e,:1!_1"!
r
6; _ y "?.O N?i
Pasa el afilador
BN
A- C \K._
2- 11:. I! _______________
\-a
! r-!!J!.!IJ!]_!.Q..Wslucti.vo.parte-del,conoGi-miento.de..una,afirmacin ge
j;;-;;.pi';
.iCiii!f:ad9
.
-'"
-
,,:.
4.
.
..,..,,..
_,.., .
\....
.,-..c.',}','-''."Y,..
- ---;'":
'>.._.., ___ .....
....,,..,;""N...-:0-.1-- .......-"'".' ,,----.-----...------...-.
.,,J,'
-----
63
-=-
,,
\
2
q
V
F
V
F
pAq
Y...
F
F
F
pvq
V
V
-p
F
F
V
V
V
F
"-,.-'"
.-
"
;:-.,.
,.
."
Si bien el sentido habitual de las palabras "y", '.'o", "no", parece estar bas
tante.claro, el lenguaje corriente es muchas veces impreciso. Los conec
tivos lgi cos se interpretan por medio de tablas de verdad, que indican el
-
. .
''
. .
'
Jl!
1 ,.
\\
p
V
.-e;
......_...
64
una
_
,
E. logca que podemos entender del siguiente moioscribi
mos !._-:::J (y leemos habitualmentelJTp entonces q)-i querem
os afirmar
r ejemph .. ..J --------
P
a
q.
gaci
d
n
e
y
o
ne
_
l
p
qu:._::_? _
"
--
__
. ..... - - -'
,._,___"" - _,_, ....... ... .... ,,.,
p
.y
V
F
F
, ..
P>"'
,.:,e
pq
V
V
!.
.
p)
(
F
V
V
(_f) 2
.. F
F
V
q
V
PJ.
_..
e 7
{--.J- ,,:-\ ._.. ,_ ,,,P,"'-"
LGICA
65
.-.....,
;:
_._.,.......
.,)
----
-.,,'\ ,
.
:--- ,_ ._ ..... - - ..
---
por medio del condiciona] material debemos ser c;.iidadosos de que ste
represente adecuadamente d sentido de: la oraci6n. De todos modos, el
condidonal. nate;iaf ; 1isfrt;\r;;;.tem3:d:;;;,y tambin muy usado
-..--..------.- .
'""
_,..,:,.
,,-.,,-
.,., - -
....-
ioq';i;-;'Jgos
Razonamientos vlidos
Decamos al principio que la lgica estudia condiciones forma.!ys, de
validez de un razonamiento. Qui-;;e decir qe-J validez del razo:amiento
n:;"ap;r--;";-tJf verdad o falsedad de lo;-;:;;ci;d-;;,;tff;;;de su significado. Lo que. s deben garantizar las reglas de infori;;ncia es
que siempr; que las;(;;.Jsas sa ;e;d;;;;as, lo sean tambin las e;
..i,,,; .-,
.
,......,., .-;,-.r."'::....,......,_,,-: ..,.;>..l"'.Jl:t,.,op;"""_,,..;::..:,..:, :.c::_,;,;. -,;.,,- _.,.,..--0>:,,a;..,'<'!',,', ,,.,_.. :;,.-.c. ,,,,. ..
'""':.,:,..,_.,._..---....
.,. . . ,...,..__
clu;i;;:
no es vaffY-es
enco;ra, un ejemplo de su uso en el que las premisas sean verdaderas y
Utrt;;'a;"';;;;trarqe''ur ';iz.aminto
t
-,-.....
. ... -------,---.-.-,--.,-.,....
...
.. .t.
-- .
__ .,.;,.,,._ ...-
/.-r...)
\,;,, - ur
Supongaos qu \ e es verdad que
:;, izi.
}
....,..,
si ll eve I pa
_oja. J\ii
:z
ventana
y
la
por
ve
]or
.
.
Afirrn
o
"el
pat
.
1
0
. a moJan
_
.
d o ,, . l'11 razo.. e est'
namiento se puede esquematizar as: -------,j, ---,,.
<
Y"\(::::X'
''-V o;;:cv:.., , "
1P q v
Premisa
2.p
V
Premisa
--r
Conclusin: q
1/
.;'..',._ .....
pooens"' En ci"nci
v
as se ut1hza frecuentemente en explicaciones J.,cient
fi___ -----\
cas analogas a:
El coche no arranca porque el tanque est vaco
donde se entiende una "ley" en forma de condicional:
Si el tanque est vaco el coche no arranca
que, agregada a la premisa
El tanque est vaco
P. sr1,9 falsa.
Veamos ahora tres casos de razonamientos que usan el condicional
materiai y son de sumo inters para el aniisis de los razonamientos utilizados en las ciencias:
2. - q
Premisa
:.,,,:.':1,in: - p
66
l.,,J,,.)
LGKP.
il;i.
.,. _....
- .
-,
. ..
..
.,.,.t-,..._
._ ,,, ,,.........
)>,,
.......
-- .
,--"'"\
'.:; '$'--, -.,... 11 ',.:r., ,,
Es comJn este otro razonamiento: s que sfLp_an_ci se ni.? Veo
. "2)
efp_t io m3'ado y digo: "est lJoviendo!". Este razonamiento - que no es
_
_
vlid-: ;;;;qematiza f:
c.'':"- e,\.,_.,.(,,.'.,' .
. " . ,.., ..,_. ,- ---- - .
tY
1 1
,..
w.;
Premisa
Premisa
l.p::)q
2.q
Es fc:1 ver que sta no es una inferencia vlida, pues de acuerdo a las
tablas de verdad del condicional material, es q verdadero y p fal.9..,es
verdadera la pre!!'.. L0:ld?r.9::::..s2_1o_ a-finn.a _gue no.se da La. falsedad
d j,mto co;-la verdad de p), es verdadera tambin 1 prei-2! y sin
embargo es falsa la _conc!1;1sinJomo se v,e fcilmente pensando,__que
q-uz i patio se moj porque lo Ja,;on). A este razonamient incorrecto
,,.i..,... - .....,.. .... ,, .... "'' _,,-. se lo llamar::.: :: :fln' del c: ?-nt:J s frecuente que
.,
necesitemos evaluar una con3etura por sus consecuencrn.s: acabamos de
ver oue en ese caso 1a verdad de nuestra conclusin no est garantizada.
La Jgic-;; ";:;s avala; db;;bc;p;;;--d-;-,tr os-p;o
. ... "7-.,.'
' .....
,.,,,-------,.:...,.,..-_...,
....
: -
....:,...,..........
'
'
'
<:;.:I
1-- __
;,<,,y( F).J
'
(:'.,-\(:J._,\_
'"\
' -. r.
V\31J2.Q__ c.ti'o:.,,_ 1' 3C'\( p,p
J\.r.
--------------.----..--. --
Conclusin: p
, .,, ,.-<
HERNN MIGUEL
..
5. PROBLEMAS METODOLGICOS
-, ,;;
..........,,
-:...;,
c0v. v..;:.
--(.
'-"-N-'
':}
69