Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
q
q p q p q p q p
3 3 8 8 8 8 8 8 8 8 8 8 8 8
3 8 8 3 3 8 8 3 8 3 3 8 3 3
8 3 3 3 8 3 8 8 3 8 8 3 3 8
8 8 3 3 3 3 3 3 3 8 3 3 8 3
bK &uando el consecuente es verdadero siempre es verdadera, lo que
quiere decir que podemos llegar a una proposicin verdadera a partir de
una proposicin falsa, como en el caso del condicional *i los elefantes
vuelan1 entonces ; es ma<or =ue 2.
Esta dificultad desaparece si distinguimos bien la manera de interpretar la
implicacin material como conectiva de un lengua+e formalizado, pese a la
confusin que pueda provocar el nombre de dic1o signo, y los distintos valores
causales o lgicos que poseen las implicaciones en el lengua+e ordinario.
6ebe quedar claro que el significado de las conectivas como funciones de
verdad en los c/lculos lgicos no debe coincidir siempre con las e)presiones
del lengua+e com5n por las que se suelen traducir.
CONDICIONBAL CONTRAFACTICO
E)presin procedente directamente del ingl(s Jcounterfactual conditionalK que
literalmente significa Pcondicional contrario a los 1ec1osP. Un condicional
contraf/ctico M tambi(n denominado condicional su38untivo M es aquel
condicional JAQ:K cuyo antecedente JAK es falso. 0or e+emplo4 P-i &(sar no
1ubiera cruzado el Rubicn, otra 1ubiera sido la suerte de RomaP.
0or e+emplo en el mundo actual Aristteles fue disc*pulo de 0latn. En varios
universos posibles Aristteles puede no ser disc*pulo de 0latn.
-pinoza en su obra no acepta lo contrafactual, es necesitarista, Jlas cosas
deben ocurrir necesariamente tal cual ocurrenK, por ende acepta slo como
posibles las cosas del mundo actual JactualismoK, Leibniz supone una situacin
m/s la)a. Las posiciones al respecto tienen implicancias en la (tica ya que las
posibilidades de la libertad son puestas en +uego.
-aul RripLe utiliza e)perimentos de pensamiento contraf/cticos para establecer
lo que llama un designador Jun nombre propio o una descripcin definidaK, as*
este es un designador r*gido # no MM por e+emplo en sus ataques al
descriptivismo.
-e considera que los designadores r*gidos mantienen la referencia en
situaciones contraf/cticas. 0or e+emplo el nombre propio PAristtelesP refiere a
Aristteles sin importar si fue o no el disc*pulo de 0latn, es por este motivo
considerado un Pdesignador no r>gidoP. La descripcin definida SAristteles el
m/s c(lebre disc*pulo de 0latnT refiere al Aristteles m/s conocido del
universo actual con e)clusin de toda otra persona del mundo actual o de los
universos posibles, por esto es considerado un Pdesignador r>gidoP.
BIBLIOGRAFIA
Libro de Lgica, editorial LumbrerasJ=HHBK
%ntroduccin a la Lgica, %rving &opy Editorial Ariel J=HHBK
Libro de Letras 0RE U!A& = tomo edicin =HHG
1ttp4UUes.ViLipedia.orgUViLiU&ontrafactual
1ttp4UUsymploLe.tru+aman.orgUinde).p1pFtitleW%mplicaciX3?nYmaterial