Sie sind auf Seite 1von 15

La lgica es una ciencia formal que estudia los principios de la demostracin e infe

rencia vlida. La palabra deriva del griego antiguo , que snfca dtad de r
nte ectua , da ctc, arumentatv, que a su vez vene de ( s), pa abra, pensam
, dea, arument, razn  prncp.
As cm e bjet de estud tradcna de a qumca es a matera, y e de a b
 a a vda, e de a ca es a nferenca. La nferenca es e prces pr e
cua se dervan cnc usnes a partr de premsas.1 La ca nvesta s prnc
ps pr s cua es a unas nferencas sn aceptab es, y tras n. Cuand una
nferenca es aceptab e,  es pr su estructura ca, y n pr e cntend esp
ecfc de arument  e enuaje ut zad. Pr esta razn a ca se cnsdera u
na cenca frma , cm a matemtca, en vez de una cenca emprca.
La ca tradcna mente se cnsder una rama de a f sfa. Per desde fna es d
e s  XIX, su frma zacn smb ca ha demstrad una ntma re acn cn as matemt
cas, y d uar a a ca matemtca. En e s  XX a ca ha pasad a ser pr
ncpa mente a ca smb ca, un c cu  defnd pr smb s y re as de nferenca
,  que ha permtd su ap cacn a a nfrmtca.
Hasta e s  XIX, a ca arstt ca y estca mantuvern sempre una re acn
cn s aruments frmu ads en enuaje natura . Pr es aunque eran frma es,
n eran frma stas.2 Hy esa re acn se trata baj un punt de vsta cmp etame
nte dferente. La frma zacn estrcta ha mstrad as mtacnes de a ca t
radcna  arstt ca, que hy se nterpreta cm una parte pequea de a ca d
e c ases.
ndce
1 Acepcnes
1.1 Cenca arumentatva y prpedutca
1.2 Cenca de pensar
1.3 Cenca frma
1.4 Lca nfrma
2 Sstemas cs
2.1 Lcas c scas
2.2 Lcas n c scas
2.3 Lcas mda es
3 Meta ca
3.1 Cnsstenca
3.2 Decdb dad
3.3 Cmp ettud
4 Fa acas
4.1 Fa acas frma es
4.2 Fa acas nfrma es
5 Paradjas
6 Hstra
6.1 Edad Antua
6.2 Edad Meda
6.3 Edad Mderna
6.4 S  XIX
6.5 S  XX
7 Vase tambn
8 Ntas y referencas
9 Bb rafa adcna
10 En aces externs
Acepcnes
Cenca arumentatva y prpedutca
E trmn ca, se encuentra en s antus perpattcs y estcs cm una tera d

e a arumentacn  arument cerrad.3 De este md a frma arumentatva resp


nde a prncp de cncment que supne que representa adecuadamente a rea
dad.4 Pr e , sn perder su cndcn de frma dad, n sn frma stas y n ac
aban de desprenderse de as estructuras prpas de
enuaje.2
Cn e nmbre de Da ctca, en a Edad Meda, a Lca mantene a cndcn de cen
ca prpedutca. As se estuda en a estructura de as enseanzas de Trvum cm u
na de as artes bera es.
En a Edad Mderna a ca tradcna arstt ca adquere un nuev enfque en
as nterpretacnes racna stas de Prt Rya , en e s  XVII, per tampc
supusern un camb radca en e cncept de a Lca cm cenca.
Cenca de pensar
Gttfred Lebnz (1646-1716).
Ls f sfs racna stas, sn embar, a stuar e ren de a ref exn f sf
ca en a cncenca, aprtarn, a travs de desarr  de an ss cm mtd centf
c de pensar,5 s temas que van a marcar e desarr  de a ca frma . Sn
de especa mprtanca a dea de Descartes de una Mathess unversa s6 y de
Lebnz que, cn su Characterstca Unversa s supne a psb dad de un en
uaje unversa , especfcad cn precsn matemtca sbre a base de que a sntax
s de as pa abras debera estar en crrespndenca cn as entdades desnadas c
m ndvdus  e ements metafscs,  que hara psb e un c cu   cmputacn me
dante a rtm en e descubrment de a verdad.7 8
Aparecen s prmers ntents y rea zacnes de mqunas de c cu , (Pasca , Leb
nz) y, aunque su desarr  n fue efcaz, sn embar a dea de una Mathess
Unversa  Caracterstca Unversa , es e antecedente nmedat de desarr  d
e a ca smb ca a partr de s  XX.
Lebnz y Descartes seuan muy de cerca a escue a jesuta, sbre td a Surez, qu
enes a su vez ut zaban a Lca Mexcana, de Fray Antn de Rub, f sf mex
can (Nvhspan).9
Adems se cnsdera que as cas mdernzantes nunca rarn a precsn de ests
estuds. Sander Perce, Gtt b Free, Saussure y Wttensten suern crte
rs neesc stcs para frmu ar sus teras cas, ms acabadas.10
La pa abra ca ha sd ut zada cm ca trascendenta pr Kant, en e sentd
de nvestar s cncepts purs a prr de entendment  cateras trascend
enta es.
Hee cnsdera a ca dentr de abs ut cm prces da ctc de Abs ut,
entendd ste cm Prncp Abs ut, Esprtu Abs ut, y Sujet, cm Sujet Abs
 ut.11 12 La ca, a epstem a y a nt a van undas y sn expuestas en
a f sfa entendda sta cm Sstema Abs ut.
Cenca frma
Artcu  prncpa : Lca matemtca
En e tm terc de s  XIX a Lca va a encntrar su transfrmacn ms prfund
a de a man de as nvestacnes matemtcas y cas, junt cn e desarr  d
e a nvestacn de as estructuras prfundas de enuaje, a nstca, cnvrtn
dse defntvamente en una cenca frma .
Lca nfrma

En e enuaje ctdan, expresnes cm ca  pensament c, aprta tambn un


sentd a rededr de un pensament atera cmparad, hacend s cntends de
a afrmacn cherentes cn un cntext, ben sea de dscurs  de una tera de
a cenca,  smp emente cn as creencas  evdencas transmtdas pr a trad
cn cu tura .

De msm md exste e cncept sc c y cu tura de ca cm, p.e. a ca
de as mujeres, ca deprtva, etc. que, en enera , pdrams cnsderar cm ca
ctdana - tambn cncda cm ca de sentd cmn.
En estas reas

a ca sue e tener una referenca

nstca en a pramtca.

Un arument en este sentd tene su ca cuand resu ta cnvncente, raznab e y


c ar; en defntva cuand cump e una funcn de efcaca. La hab dad de pensa
r y expresar un arument as crrespnde a a retrca, cuya re acn cn a verdad e
s una re acn prbab e.13
Sstemas cs
Artcu  prncpa : Sstema frma
Exste un debate sbre s es crrect hab ar de una ca,  de varas cas, per
 en e s  XX se han desarr ad n un, sn vars sstemas cs dferent
es, que capturan y frma zan dstntas partes de enuaje natura . Se pdra def
nr a un sstema c cm un cnjunt de csas, que ns ayudan en a tma de d
ecsnes que sean  ms cnvenentemente psb e.
Un sstema c est cmpuest pr:
Un cnjunt de smb s prmtvs (e a fabet,  vcabu ar).
Un cnjunt de re as de frmacn ( a ramtca) que ns dce cm cnstrur frmu
as ben frmadas a partr de s smb s prmtvs.
Un cnjunt de axmas  esquemas de axmas. Cada axma debe ser una frmu a
ben frmada.
Un cnjunt de re as de nferenca. Estas re as determnan qu frmu as pueden
nferrse de qu frmu as. Pr ejemp , una re a de nferenca c sca es e mdus p
nens, sen e cua , dada una frmu a A, y tra frmu a A B, a re a ns permte af
rmar que B.
Ests cuatr e ements cmp etan a parte sntctca de s sstemas cs. Sn em
bar, tdava n se ha dad nnn snfcad a s smb s dscutds, y de hech,
un sstema c puede defnrse sn tener que hacer . Ta tarea crrespnde a
camp amad semntca frma , que se cupa de ntrducr un qunt e ement:
Una nterpretacn frma . En s enuajes natura es, una msma pa abra puede
snfcar dversas csas dependend de a nterpretacn que se e d. Pr ejemp
, en e dma espa , a pa abra banc puede snfcar un edfc  un asent,
mentras que en trs dmas puede snfcar a  cmp etamente dstnt  na
da en abs ut. En cnsecuenca, dependend de a nterpretacn, varar tambn e
va r de verdad de a racn e banc est cerca. Las nterpretacnes frma es asn
an snfcads nequvcs a s smb s, y va res de verdad a as frmu as.
Lcas c scas
Ls sstemas cs c scs sn s ms estudads y ut zads de tds, y se carac
terzan pr ncrprar certs prncps tradcna es que tras cas rechazan
. A uns de ests prncps sn: e prncp de tercer exc ud, e prncp
 de n cntradccn, e prncp de exp sn y a mntcdad de a mp cacn.
Entre s sstemas cs c scs se encuentran:
Lca prpscna
Lca de prmer rden
Lca de seund rden
Lcas n c scas
Ls sstemas cs n c scs sn aque s que rechazan un  vars de s prnc

ps de a ca c sca. A uns de ests sstemas sn:


Lca dfusa: Es una ca p urva ente que rechaza e prncp de tercer e
xc ud y prpne un nmer nfnt de va res de verdad.
Lca re evante: Es una ca paracnsstente que evta e prncp de exp s
n a exr que para que un arument sea v d, as premsas y a cnc usn deben
cmpartr a mens una varab e prpscna .
Lca cuntca: Desarr ada para dar cn raznaments en e camp de a me
cnca cuntca; su caracterstca ms ntab e es e rechaz de a prpedad dstrbutv
a.
Lca n mntnca: Una ca n mntnca es una ca dnde, a arear una frmu
a a una tera cua quera, es psb e que e cnjunt de cnsecuencas de esa te
ra se reduzca.
Lca ntucnsta: Enfatza as pruebas, en vez de a verdad, a  ar de
as transfrmacnes de as prpscnes.
Lcas mda es
Las cas mda es estn dseadas para tratar cn expresnes que ca fcan a verda
d de s jucs. As pr ejemp , a expresn sempre ca fca a un juc verdader
cm verdader en cua quer mment, es decr, sempre. N es  msm decr est
vend que decr sempre est
vend.

Lca mda : Trata cn as ncnes de necesdad, psb dad, mpsb dad
y cntnenca.
Lca dentca: Se cupa de as ncnes mra es de b acn y permsb dad.
Lca tempra : Abarca peradres tempra es cm sempre, nunca, antes, despus
Lca epstmca: Es a ca que frma za s raznaments re acnads cn e
cncment.
Lca dxstca: Es a ca que trata cn s raznaments acerca de as creen
cas.
Meta ca
Mentras a ca se encara, entre tras csas, de cnstrur sstemas cs, a
meta ca se cupa de estudar as prpedades de dchs sstemas. Las prpedade
s ms mprtantes que se pueden demstrar de s sstemas cs sn:
Cnsstenca
Artcu  prncpa : Cnsstenca ( ca)
Un sstema c tene a prpedad de ser cnsstente cuand n es psb e deduc
r una cntradccn dentr de msm. Es decr, dad un enuaje frma cn un c
njunt de axmas y un aparat deductv (re as de nferenca), n es psb e d
emstrar una frmu a y su neacn.
Decdb dad
Artcu  prncpa : Decdb dad
Se dce de un sstema que es decdb e cuand, para cua quer frmu a dada en e
enuaje de sstema, exste un mtd efectv para determnar s esa frmu a perten
ece  n a cnjunt de as verdades de sstema. Cuand una frmu a n puede ser
prbada verdadera n fa sa, se dce que a frmu a es ndependente, y que pr 
tant e sstema es n decdb e. La nca manera de ncrprar una frmu a ndepend
ente a as verdades de sstema es pstu nd a cm axma. Ds ejemp s muy mp
rtantes de frmu as ndependentes sn e axma de e eccn en a tera de cnjunt
s, y e qunt pstu ad de a emetra euc dana.
Cmp ettud
Artcu  prncpa : Cmp ettud ( ca)
Se hab a de cmp ettud en vars sentds, per quzs s ds ms mprtantes sean
s de cmp ettud semntca y cmp ettud sntctca. Un sstema S en un enuaje

L es semntcamente cmp et cuand tdas as verdades cas de L sn teremas de


S. En camb, un sstema S es sntctcamente cmp et s, para tda frmu a A de
enuaje de sstema, A es un terema de S  A es un terema de S. Est es, exste
una prueba para cada frmu a  para su neacn. La ca prpscna y a ca de
predcads de prmer rden sn ambas semntcamente cmp etas, per n sntctcame
nte cmp etas. Pr ejemp , ntese que en a ca prpscna , a frmu a p n es
un terema, y tampc  es su neacn, per cm nnuna de as ds es una verda
d ca, n afectan a a cmp ettud semntca de sstema. E seund terema de 
ncmp ettud de Gde demuestra que nnn sstema (defnd recursvamente) cn ce
rt pder expresv puede ser a a vez cnsstente y cmp et.
Fa acas
Artcu  prncpa : Fa aca
Una fa aca es un arument que s ben puede ser cnvncente  persuasv,14 n
es camente v d. Est n quere decr que a cnc usn de s aruments fa ac
es sea fa sa, sn que e arument msm es ma , n es v d.15
Exsten varas maneras de c asfcar a a ran cantdad de fa acas cncdas, p
er quzs a ms neutra y enera (aunque ta vez un pc amp a), sea a que dv
de a as fa acas en frma es e nfrma es.
Fa acas frma es
Las fa acas frma es sn aque as cuy errr resde en a frma  estructura de
s aruments. A uns ejemp s cncds de fa acas frma es sn:
Afrmacn de cnsecuente: Un ejemp  de esta fa aca pdra ser:
S Mara estuda, entnces aprbar e examen.
Mara aprb e examen.
Pr  tant, Mara estud.
Esta fa aca resu ta evdente cuand advertms que puede haber muchas tras
raznes de pr qu Mara aprb e examen. Pr ejemp , pud haber cpad,  quz tuv
 suerte,  quz aprb racas a  que recrdaba de  que escuch en c ase, etc. E
n tant es una fa aca frma , e errr en este arument resde en a frma de
msm, y n en e ejemp  partcu ar de Mara y su examen. La frma de arument
es a suente:
S p, entnces q.
q
Pr  tant, p.
Genera zacn apresurada: En esta fa aca, se ntenta cnc ur una prpscn
enera a partr de un nmer re atvamente peque de cass partcu ares. Pr ejemp
:
Tdas as persnas a tas que cnzc sn rpdas.
Pr  tant, tdas as persnas a tas sn rpdas.
E mte entre una enera zacn apresurada y un raznament nductv puede
ser muy de ad, y encntrar un crter para dstnur entre un y tr es par
te de prb ema de a nduccn.
Fa acas nfrma es
Las fa acas nfrma es sn aque as cuya fa ta est en a  dstnt a a frma 
estructura de s aruments. Est resu ta ms c ar cn a uns ejemp s:
Fa aca ad hmnem: se ama fa aca ad hmnem a td arument que, en vez
de atacar a pscn y as afrmacnes de nter cutr, ataca a nter cutr
msm. La estratea cnsste en desca fcar a pscn de nter cutr, a des
ca fcar a su defensr. Pr ejemp , s a uen arumenta: Usted dce que rbar
est ma , per usted tambn  hace, est cmetend una fa aca ad hmnem (en partc
u ar, una fa aca tu quque), pues pretende refutar a prpscn rbar est ma med
ante un ataque a prpnente. S un adrn dce que rbar est ma , quzs sea muy hpc
rta de su parte, per es n afecta en nada a a verdad  a fa sedad de a pr

pscn en s.
Fa aca ad verecundam: se ama fa aca ad verecundam a aque arument qu
e ape a a a autrdad  a prest de a uen  de a  a fn de defender una
cnc usn, per sn aprtar raznes que a justfquen.
Fa aca ad nrantam: se ama fa aca ad nrantam a arument que def
ende a verdad  fa sedad de una prpscn prque n se ha pdd demstrar 
cntrar.
Fa aca ad bacu um: Se ama fa aca ad bacu um a td arument que defend
e una prpscn basndse en a fuerza  en a amenaza.
Fa aca crcu ar: se ama fa aca crcu ar a td arument que defende un
a cnc usn que se verfca recprcamente cn a premsa, es decr que justfca
a vercdad de a premsa cn a de a cnc usn y vceversa, cmetend crcu ar
dad.
Fa aca de hmbre de paja: Sucede cuand, para rebatr s aruments de un
nter cutr, se dstrsna su pscn y ue se refuta esa versn mdfcada.
As,  que se refuta n es a pscn de nter cutr, sn una dstnta que en 
enera es ms fc de atacar. Tmese pr ejemp  e suente d :
Persna A: Sn duda estars de acuerd en que s Estads Unds tenen e ss
tema ea ms just y e bern ms ranzad.
Persna B: S s Estads Unds sn e mejr pas de mund, es s  snfca
que as pcnes sn muy pcas y muy pbres.
En este d , a persna B pus en a bca de a persna A a  que sta n dj:
que s Estads Unds sn e mejr pas de mund. Lue atac esa pscn, cm s
fuera a de a persna A.
Paradjas
Artcu  prncpa : Paradja
Una paradja es un raznament en aparenca v d, que parte de premsas en apa
renca verdaderas, per que cnduce a una cntradccn  a una stuacn cntrara
a sentd cmn.16 Ls esfuerzs pr res ver certas paradjas han mpu sad de
sarr s en a ca, a f sfa, a matemtca y as cencas en enera .
Hstra
Artcu  prncpa : Hstra de a ca

Hstrcamente a pa abra ca ha d camband de sentd. Cmenz send una mde z
acn de s raznaments, prpuesta pr s f sfs res, y psterrmente ha
ev ucnad haca dverss sstemas frma es. Etm camente a pa abra ca d
erva de trmn re s, que a su vez derva de s 'razn, pa abra,
En un prncp
Edad Antua

a ca n tuv e sentd de estructura frma

estrcta.

La ca, cm un an ss exp ct de s mtds de raznament, se desarr rn


a mente en tres cv zacnes de a hstra antua: Chna, Inda y Greca, en
tre e s  V y e s  I a. C.
En Chna n dur much temp: a traduccn y a nvestacn esc ar en ca fue re
prmda pr a dnasta Qn, acrde cn a f sfa esta. En Inda, a ca dur b
astante ms: se desarr (pr ejemp  cn a nyya) hasta que en e mund s mc apa
rec a escue a de Asharte, a cua suprm parte de trabaj rna en ca. A
pesar de  anterr, hub nnvacnes esc stcas ndas hasta prncps de
s  XIX, per n sbrevv much dentr de a Inda c na . E tratament s
fstcad y frma de a ca mderna aparentemente prvene de a tradcn re
a.
Se cnsdera a Arstte es e fundadr de a ca cm prpedutca  herramenta bs
ca para tdas as cencas. Arstte es fue e prmer en frma zar s razname

nts, ut zand etras para representar trmns. Tambn fue e prmer en emp ear
e trmn ca para referrse a estud de s aruments dentr de enuaje apfn
tc cm manfestadr de a verdad en a cenca. Sstuv que a verdad se manf
esta en e juc verdader y e arument v d en e s sm: S sm es un
arument en e cua , estab ecdas certas csas, resu ta necesaramente de e
as, pr ser  que sn, tra csa dferente.18 Se refr en vars escrts de su r
ann a cuestnes ta es cm cncept, a prpscn, defncn, prueba y fa aca
. En su prncpa bra ca, s Prmers ana tcs, desarr e s sm, un s
stema c de estructura rda. Arstte es tambn frma z e cuadr de pscn de
s jucs y caterz as frmas v das de s sm. Adems, Arstte es recnc y
estud s aruments nductvs, base de  que cnsttuye a cenca experment
a , cuya ca est estrechamente ada a mtd centfc. La nf uenca de s 
rs de Arstte es fue tan rande, que en e s  XVIII, Immanue Kant e a dec
r que Arstte es haba prctcamente cmp etad a cenca de a ca.19
Ls f sfs estcs ntrdujern e s sm hpttc y anuncarn a ca pr
pscna , per n tuv much desarr .
Pr tr ad, a ca nfrma fue cu tvada pr a retrca, a ratra y a f
sfa, entre tras ramas de cncment. Ests estuds se centrarn prncpa
mente en a dentfcacn de fa acas y paradjas, as cm en a cnstruccn crrec
ta de s dscurss.
En e perd rman a ca tuv pc desarr , ms ben se hcern sumars y
cmentars a as bras recbdas, send s ms ntab es: Ccern, Prfr y Be
c. En e perd bzantn, F pn.
Edad Meda
Averres, un de s prncpa es rabes en rescatar a ca arstt ca y reresar
a a Occdente.
Cn e nmbre de Da ctca en a Edad Meda a Lca mantene a cndcn de cenc
a prpedutca. As se estuda en a estructura de as enseanzas de Trvum cm una
de as artes bera es per sn especa es aprtacnes en a A ta Edad Meda.
En su ev ucn haca a Baja Edad Meda sn mprtantes as aprtacnes rabes de
A -Farab; Avcena20 y Averres, pues fuern s rabes quenes rentrdujern s e
scrts de Arstte es en Eurpa.
En a Baja Edad Meda su estud era requst para entrar en cua quer unvers
dad. Desde medads de s  XIII se nc uyen en a ca tres cuerps separads
de text. En a ca vetus y ca nva es tradcna escrts cs, espe
ca mente e rann de Arstte es y s cmentars de Bec y Prfr. La parva
ca a puede ser cnsderada cm representatva de a ca medeva .
La ev ucn crtca que se va desarr and a partr de as aprtacnes de Abe ard
 dnamzarn a prb emtca ca y epstem ca a partr de s  XIII (Pedr H
span, Ramund Lu 21 Lambert de Auxerre, Gu erm de Sherwd) que cu mnar
n en tda a prb emtca de s  XIV: Gu erm de Ocham, Jean Burdan, A ber
t de Sajna.
Aqu estn tratads una cantdad de nuevs prb emas en a frntera de a ca y a
semntca que n fuern tratads pr s pensadres antus. De especa re evanc
a es a prb emtca respect a a va racn de s trmns de enuaje en re acn
cn s cncepts unversa es, as cm e estatut epstem c y nt c de sts
y e prb ema de a ndvduacn.
Edad Mderna
Un nuev enfque adquere esta ca en as nterpretacnes racna stas de Pr
t Rya , en e s  XVII, (Antne Arnau d; Perre Nc e) per tampc supuse
rn un camb radca en e cncept de a Lca cm cenca.

Ls f sfs racna stas, sn embar, aprtarn a travs de desarr  de an s


s y su desarr  en as matemtcas (Descartes, Pasca y Lebnz) s temas que
van a marcar e desarr  psterr. Sn de especa mprtanca a dea de Des
cartes de una Mathess unversa s22 y de Lebnz en a bsqueda de un enuaje un
versa , especfcad cn precsn matemtca sbre a base de que a sntaxs de
as pa abras debera estar en crrespndenca cn as entdades desnadas cm nd
vdus  e ements metafscs,  que hara psb e un c cu   cmputacn medante
a rtm en e descubrment de a verdad.23
Aparecen s prmers ntents y rea zacnes de mqunas de c cu , (Pasca , Leb
nz) y, aunque su desarr  n fue efcaz, sn embar a dea de una Mathess
Unversa  Caracterstca Unversa , es e antecedente nmedat de desarr  de
a ca a partr de s  XX.
Artcu  prncpa : Kant
Kant cnsderaba que a ca pr ser una cenca a prr haba encntrad su p en
 desarr  prctcamente cn a ca arstt ca, pr  que apenas haba sd md
fcada desde entnces.24
Per hace un us nuev de a pa abra ca cm ca trascendenta , en e sentd d
e nvestar s cncepts purs de entendment  cateras trascendenta es.
Artcu  prncpa : Idea sm
La ca de pensar trascendenta acaba stundse en un prces da ctc cm dea
sm subjetv en Fchte; dea sm bjetv en Sche n y, fna mente un dea
sm abs ut en
Artcu  prncpa : Hee
Hee cnsdera a ca dentr de Abs ut cm un prces da ctc de Esprtu
Abs ut25 que prduce sus determnacnes cm cncept y su rea dad cm resu
tad en e devenr de a Idea de Abs ut cm Sujet26 cuya verdad se manfe
sta en e resu tad de mvment medante a cntradccn en tres mments suce
svs, tess-anttess-sntess. La epstem a y a nt a van undas y expuestas
en a F sfa entendda sta cm Sstema Abs ut.
S  XIX
A partr de a seunda mtad de s  XIX, a ca sera rev ucnada prfundame
nte. En 1847, Gere B e pub c un breve tratad ttu ad E an ss matemtc de
a ca, y en 1854 tr ms mprtante ttu ad Las eyes de pensament. La de
a de B e fue cnstrur a a ca cm un c cu  en e que s va res de verdad
se representan medante e 0 (fa sedad) y e 1 (verdad), y a s que se es ap
can peracnes matemtcas cm a suma y a mu tp cacn.
A msm temp, Auustus De Mran pub ca en 1847 su bra Lca frma , dnde 
ntrduce as eyes de De Mran e ntenta enera zar a ncn de s sm. Otr
mprtante cntrbuyente n s fue Jhn Venn, quen en 1881 pub c su br Lca
Smb ca, dnde ntrduj s famss daramas de Venn.
Char es Sanders Perce y Ernst Schrder tambn hcern mprtantes cntrbucnes.
Sn embar, a verdadera rev ucn de a ca vn de a man de Gtt b Free,
quen frecuentemente es cnsderad cm e c ms mprtante de a hstra, ju
nt cn Arstte es. En su trabaj de 1879, a Cnceptrafa, Free frece pr prm
era vez un sstema cmp et de ca de predcads. Tambn desarr a a dea de u
n enuaje frma y defne a ncn de prueba. Estas deas cnsttuyern una base
terca fundamenta para e desarr  de as cmputadras y as cencas de a c
mputacn, entre tras csas. Pese a est, s cntemprnes de Free pasarn pr
a t sus cntrbucnes, prbab emente a causa de a cmp cada ntacn que desar
r e autr. En 1893 y 1903, Free pub ca en ds v menes Las eyes de a artmt

ca, dnde ntenta deducr tda a matemtca a partr de a ca, en  que se c


nce cm e pryect csta. Su sstema, sn embar, cntena una cntradccn
( a paradja de Russe ).
S  XX
E s  XX sera un de enrmes desarr s en ca. A partr de s  XX, a 
ca pas a estudarse pr su nters ntrnsec, y n s  pr sus vrtudes cm prpedut
ca, pr  que estud a nve es much ms abstracts.
En 1910, Bertrand Russe y A fred Nrth Whtehead pub can Prncpa mathematc
a, un trabaj mnumenta en e que ran ran parte de a matemtca a partr de
a ca, evtand caer en as paradjas en as que cay Free. Ls autres recnc
en e mrt de Free en e prefac. En cntraste cn e trabaj de Free, Prnc
pa mathematca tuv un xt rtund, y e a cnsderarse un de s trabajs de
n fccn ms mprtantes e nf uyentes de td e s  XX. Prncpa mathematca
ut za una ntacn nsprada en a de Guseppe Pean, parte de a cua tdava es
muy ut zada hy en da.
S ben a a uz de s sstemas cntemprnes a ca arstt ca puede parecer e
quvcada e ncmp eta, Jan uasewcz mstr que, a pesar de sus randes dfcu ta
des, a ca arstt ca era cnsstente, s ben haba que nterpretarse cm ca
de c ases,  cua n es pequea mdfcacn. Pr e  a s stca prctcamente n
tene us actua mente.
Adems de a ca prpscna y a ca de predcads, e s  XX v e desarr
  de muchs trs sstemas cs; entre s que destacan as muchas cas md
a es.
Vase tambn
Ver e prta sbre Lca Prta :Lca. Cntend re acnad cn Lca.
Lca bnara
Lca da ctca
Lca frma
Lca dentca
Lca nfrma
Lca matemtca
Lca p va ente
Cnsecuenca ca
C cu  c
Sstema frma
Cnstante ca
Apra
S sm
Metd a
MC-14, mtd centfc en 14 etapas
Arument
Cntraarument
Dec aracn ( ca)
Ntas y referencas
Rbert Aud (ed.). Inference. The Cambrde Dctnary f Ph sphy (en n s) (2n
d Edtn). Cambrde Unversty Press.
Crrea, Manue (2006). La actua dad de a ca de Arstte es. Revsta de f sfa
n ne 62: 139-150.
Kun Lrenz: L, II.. De ante L n Hstrsches Wrterbuch der Ph sph
e, Bd. 5, 362 nach E. Kapp: Der Ursprun der L be den Grechen, 1965, 25 u
nd mt Verwes auf Ccer: De fnbus 1, 7, 22
Cm dce Arstte es respect a s sm:

S sm es un arument en e cua , estab ecdas certas csas, resu ta ne


cesaramente de e as, pr ser  que sn, tra csa dferente
Arstte es An. Pr. I 24 b 18-23
Descartes, Pasca y, sbre td, Lebnz que hcern psb e a ap cacn de c c
u  a a experenca dand uar a desarr  de a ca emprca cm mtd centf
c que hz psb e a Cenca Mderna
Reu ae ad drectnem nen. Re a IV
T. Hnderch. p. ct.
Sbre e supuest de que en e a ma exsten uns prncps de pensar (deas n
natas) que se crrespnden a s prncps de ser, pues en e fnd respnden
a Ds, que n puede enaarse n enaarns, sen Descartes  a una Armna Preestab e
cda, sen Lebnz,  a una undad de pensar y ser en una nca Sustanca sve Deu
s sve Natura, sen Baruch Spnza
Beucht, Maurc. (2006). Lca y Metafsca en a Nueva Espaa". IIF-UNAM. Mxc. P.
28 Y 29-31
Beucht, Maurc. (2006). Lca y Metafsca en a Nueva Espaa". IIF-UNAM. Mxc. P.
56-61
E pur ser y a pura nada sn, pr  tant, a msma csa.- L que cnstt
uye a verdad n es n e ser n a nada, sn aque  que n traspasa, sn que
ha traspasad; va e decr, e ser [traspasad] en a n ada y a nada [traspasad
a] en e ser. Per, a msm temp, a verdad n es su ndstncn, sn e que
e s n sn  msm sn que sn separab es, e nmedatamente cada un desapar
ece en su puest. Su verdad, pues, cnsste en este mvment de nmedat de
saparecer de un en tr: e devenr; un mvment dnde s ds sn dferentes
, per pr va de una dferenca que e msm temp se ha resue t nmedatamente
.
Hee Wssenschaft der L. Cenca de a Lca. Lbr I: La dctrna de s
er. Seccn I: Determnacn (cua dad). Captu  I: c) Devenr. 1.- La undad de ser
y a nada. Cta y traduccn : C emente Fernndez, S.I.Ls f sfs mderns, se ecc
n de texts Tm II. 1970. Madrd. BAC. Cursvas en e rna ctad
Para una expscn snttca de pensament de Hee : Zubr. Natura eza, Hstra
y Ds. 1963. Edtra Nacna . Hee y e prb ema metafsc. p.223 y ss.
Arstte es
Entendend pr cnvncente que manfesta,  pretende manfestar, un cncment
cm verdader; y persuasv que mueve a actuar cnfrme se pretende medante dc
h arument fa az
De hech, e afrmar que una cnc usn es fa sa, prque es a cnc usn de un aru
ment fa az, es en s msm una fa aca (en n s amada arument frm fa acy).
Rbert Aud (ed.). paradx. The Cambrde Dctnary f Ph sphy (en n s) (2nd
Edtn). Cambrde Unversty Press. A seemn y sund pece f reasnn based
n seemn y true assuptns that eads t a cntradctn (r ther bvus y f
a se cnc usn).
Dccnar etm c ch en en nea.
Arstte es. Prmers ana tcs. I 24b 18-23.
Kant. Crtca de a Razn Pura, 1781
De especa re evanca es su dstncn entre ser de esenca y ser de exstenca d
e ran mprtanca en a nterpretacn de a ca.
Cn a dea de cnfeccnar unas tab as  Ars Mana, a md de mquna que permt
era a deduccn de tdas as verdades, nc udas as de a Fe
Reu ae ad drectnem nen. Re a IV
Encc peda Oxfrd de F sfa. p. ct.
As  expresa:

La ca de Arstte es n ha tend que retrceder un s  pas.... Es tambn d


n de atencn que tampc haya pdd dar, hasta ahra, nnn pas haca ade ant
e, y que, sen tda aparenca, parece ya cerrada y acabada. Cuand a uns mder
ns han tratad de extender a ntrducend captu s, s  han hech pa pab e a 
nranca que tenen de a prpa natura eza de esta cenca. Cuand se traspasan
s mtes de una cenca y se entra en tra n es un aument  que se prduce,
antes ben una desnatura zacn. >Ls mtes de a ca estn c aramente determnad
s, e ser una cenca que s  expne y demuestra rursamente as re as frma
es de pensar
Kant. Crtca de a Razn Pura, 1781
E pur ser y a pura nada sn, pr  tant, a msma csa.- L que cnstt
uye a verdad n es n e ser n a nada, sn aque  que n traspasa, sn que
ha traspasad; va e decr, e ser [traspasad] en a n ada y a nada [traspasad
a ] en e ser. Per, a msm temp, a verdad n es su ndstncn, sn e que
e s n sn  msm sn que sn separab es, e nmedatamente cada un desapa
rece en su puest. Su verdad, pues, cnsste en este mvment de nmedat d
esaparecer de un en tr: e devenr; un mvment dnde s ds sn dferente
s, per pr va de una dferenca que e msm temp se ha resue t nmedatament
e.
Hee Wssenschaft der L. Cenca de a Lca. Lbr I: La dctrna de s
er. Seccn I: Determnacn (cua dad). Captu  I: c) Devenr. 1.- La undad de ser
y a nada. Cta y traduccn : C emente Fernndez, S.I.Ls f sfs mderns, se ecc
n de texts Tm II. 1970. Madrd. BAC. Cursvas en e rna ctad
E Abs ut se ha de entender cm Sujet, n cm sustanca; frente a a d
ea arstt ca de ser que ha predmnad en a f sfa tradcna . Para una exp
scn snttca de pensament de Hee : Zubr. Natura eza, Hstra y Ds. 196
3. Edtra Nacna .Hee y e prb ema metafsc. p.223 y ss.
Bb rafa adcna
Prest, Graham (2008). An ntrductn t nn-c assca
c: Frm f t s
(2 edcn). Nueva Yr: Cambrde Unversty Press. ISBN 978-0521854337.
Ferrater Mra, J. (1984). Dccnar de F sfa (4 tms). Barce na. A an
za Dccnars. ISBN 84-206-5299-7.
Hnderch, T.(Edtr) (2001). Encc peda Oxfrd de F sfa. Trd. Carmen Ga
rca Trevjan. Madrd. Edtra Tecns. ISBN 84-309-3699-8.
En aces externs
Wmeda Cmmns a bera cntend mu tmeda sbre Lca.
Wcnar tene defncnes y tra nfrmacn sbre ca.
Wqute a bera frases c ebres de  sbre ca.
Wversdad a bera pryects de aprendzaje sbre Lca.
Aprende Lca (Autr: Francsc Js Ca zad Fernndez)
Breve Hstra de a Lca
Catera:
Lca
Men de naveacn
N has ncad sesn
Dscusn

Cntrbucnes
Crear una cuenta
Acceder
Artcu 
Dscusn
Leer
Edtar
Ver hstra
Prtada
Prta de a cmundad
Actua dad
Cambs recentes
Pnas nuevas
Pna a eatra
Ayuda
Dnacnes
Ntfcar un errr
Imprmr/exprtar
Crear un br
Descarar cm PDF
Versn para mprmr
En trs pryects
Wmeda Cmmns
W brs
Wqute
Herramentas
L que en aza aqu
Cambs en en azadas
Subr archv
Pnas especa es
En ace permanente
Infrmacn de a pna
E ement de Wdata
Ctar esta pna
Otrs pryects
Cmmns
Wcnar
Wqute
Wversdad
En trs dmas
Afraans
A emannsch
Arans

Azrbaycanca

Barsch
emata

()

Bsans

Cata
Chavacan de Zambana

Crsu
etna

Cymrae
Dans
Deutsch

 s
sperat
est
usara
stremeu
Sum
Vr
Fraas
Frys
Gae e

Ga e

Fj Hd
Hrvats
Mayar

Iter ua
Baasa Idesa
Iter ue
Ib
I a
Id
s esa
Ita a

a . jba.
Basa Jawa

Gy

Kurd

Latna
Ltzebueresch

Letuv
Latveu

Bahasa Me ayu
Mrands
P attdtsch
Neder ands
Nrs nynrs
Nrs bm
Nva
Occtan
P s
Pemnt s
Prtuus
Rmn


Sardu
Sc anu
Scts
Srpshrvats /
Smp e En sh
S venna
S venna
Shqp
/ srps
Basa Sunda
Svensa
Kswah 

Trmene
Taa 
T Psn
Tre
/tatara

Ozbecha/
Tn Vt
Wa n
Wnaray
IsXhsa

Yrb

B- m-


dtar e aces
sta pa fue mdfcada pr tma vez e 2 abr 2016 a as 15:34.
 text est dspb e baj a ceca Creatve Cmms Atrbuc Cmpartr
Iua 3.0; pdra ser ap cab es c usu as adca es. A usar este st, usted a
cepta uestrs trms de us y uestra p tca de prvacdad.
Wpeda es ua marca restrada de a Fudac Wmeda, Ic., ua raza
c s m de ucr.
Ctact

Das könnte Ihnen auch gefallen