Lògica
De Viquipèdia
En general, la Lògica (terme que prové del grec clàssic λόγος logos; i que significava paraula, pensament, idea, argument, explicació, raó o principi) és l'estudi dels sistemes de raonament correcte, és a dir, dels sistemes de raonament que un ésser racional podria utilitzar per raonar. La Lògica s'ocupa de determinar quines formes d'inferència i de demostració són vàlides i quines no, i per tal de fer-ho la noció central que estudia és la de conseqüència lògica.
Com a ciència formal, la Lògica estudia i classifica l'estructura de les proposicions i els arguments, tant a través de l'estudi de sistemes formals d'inferència com a través de l'estudi directe del raonament en llenguatge natural. Els temes involucrats en aquests estudis inclouen les fal·làcies, les paradoxes, la inducció, la causalitat, el raonament amb probabilitat, el raonament amb vaguetat i imprecisió, entre d'altres. Tradicionalment, la Lògica s'ha considerat una branca de la Filosofia. Sota el nom de Dialèctica i juntament amb la Gramàtica i la Retòrica, configurava el trivi en el sistema d'estudis medievals. Des de mitjans del segle XIX, la Lògica formal ha esdevingut una disciplina matemàtica per un doble motiu: perquè s'ha estudiat amb eines matemàtiques i perquè s'ha desenvolupat amb la intenció d'establir una fonamentació per a les Matemàtiques. En aquest context, la disciplina s'ha conegut com a Lògica Simbòlica o Lògica Matemàtica. Finalment, el destacat paper de la Lògica formal en el desenvolupament de les ciències de la computació, i la implementació informàtica dels sistemes de raonament estudiats per la Lògica (sobretot en el marc de la Intel·ligència Artificial) han fet que la Lògica també es pugui considerar en certa manera una subdisciplina de la Informàtica.
Taula de continguts |
[edita] La naturalesa de la Lògica
Hem dit que el concepte central que estudia la Lògica és la relació de conseqüència lògica. Informalment ho podem expressar de diverses maneres. Donat un conjunt de proposicions (les premisses) i una proposició (la conclusió) podem dir que les premisses tenen com a conseqüència lògica la conclusió si aquesta se segueix de les premisses, o si les premisses constitueixen una bona justificació per la conclusió, o el raonament que comença amb les premisses i acaba amb la conclusió és lògicament vàlid. Aquesta relació s'ha explicat de diverses maneres que, generalment, parteixen d'una mateixa idea bàsica: entre unes premisses i una conclusió hi ha relació de conseqüència lògica si, i només si, no és possible que les premisses siguin vertaderes i en canvi la conclusió sigui falsa.
La forma també és una noció central per la Lògica perquè permet estudiar la conseqüència lògica. Ha rebut diversos tractaments. En particular, la Lògica Simbòlica ho ha fet a través de llenguatges simbòlics, mentre que la lògica tradicional aristotèlico-medieval ho ha fet a través de la sil·logística.
- La Lògica informal o Dialèctica estudia el raonament fet en llenguatge natural sense fer-ne una formalització. Una branca molt significativa és la que es dedica a les fal·làcies. Els diàlegs de Plató [1] en són un exemple clàssic.
- La Lògica formal estudia la inferència a través de sistemes formals que fan abstracció del contingut de les proposicions i es fixen només en llur forma. Les primeres regles de lògica formal foren descrites per Aristòtil. [2] A grans trets, podem dir que a tot sistema formal li correspon determinar un llenguatge (natural o artificial) en què es formulen les proposicions, uns enunciats que es consideren vertaders i que no cal demostrar (els axiomes) i unes regles d'inferència que permeten obtenir nous enunciats a partir d'enunciats ja justificats. Aquells enunciats que es poden demostrar simplement a partir dels axiomes i les regles d'inferència (és a dir, sense l'ús de premisses suplementàries) són els teoremes del sistema.
- La Lògica Simbòlica és la part de la Lògica formal que opera només amb llenguatges simbòlics artificials especialment dissenyats per captar només els aspectes formals de la inferència.[3] Normalment la Lògica Simbòlica es divideix en dues branques: lògica proposicional o sentencial i lògica de predicats.
- La Lògica Matemàtica és l'extensió de la Lògica Simbòlica a àrees que, sia perquè tenen una voluntat de fonamentació o sia perquè n'usen mètodes i resultats, són d'interès per (o àdhuc pertanyen a) les Matemàtiques o la Informàtica, com ara la Teoria de Models, la Teoria de la Prova, la Teoria de Conjunts, i la Teoria de la Recursió o Teoria de la Computabilitat.
[edita] Consistència, correcció i completesa
Algunes de les propietats més importants que pot tenir un sistema formal són les següents:
-
- Consistència: el sistema és lliure de contradiccions, és a dir, les proposicions que permet justificar són lògicament compatibles entre si i no és possible derivar cap contradicció.
-
- Correcció: el sistema només permet derivar proposicions que són conseqüència lògica de les premisses que s'han usat en la derivació, és a dir, no permet derivar una proposició falsa a partir de premisses vertaderes. Per tant, si un sistema és correcte i té axiomes vertaders, aleshores tots els teoremes que permet demostrar són també vertaders, i totes les conseqüències que permet derivar de premisses vertaderes també són vertaderes. D'aquesta manera la relació de derivabilitat en un sistema formal correcte és una relació de conseqüència lògica.
-
- Completesa: donat qualsevol conjunt de premisses el sistema permet derivar totes les proposicions que en són conseqüència lògica.
Val a dir que no tots els sistemes formals gaudeixen d'aquestes tres bones propietats. De fet, els cèl·lebres treballs de Kurt Gödel mostraren que no hi ha cap sistema útil per l'Aritmètica que sigui a la vegada consistent i complet.[3]
[edita] Raonament deductiu i inductiu
En tot el que hem dit fins aquí fèiem referència només al raonament deductiu, és a dir, a aquell que estudia la relació de conseqüència lògica entre un conjunt de premisses i una conclusió. Tanmateix, cal tenir en compte que tradicionalment també s'ha considerat un altre tipus de raonament, el raonament inductiu, que típicament deriva generalitzacions acceptables a partir d'observacions empíriques. Aquest altre tipus de raonament també ha estat objecte d'estudi per la Lògica. Per tant, cal distingir curosament entre la validesa deductiva i la validesa inductiva. Hem dit que una inferència és deductivament vàlida si, i només si, no és possible que les premisses siguin vertaderes i la conclusió sigui falsa. Així, la inferència deductiva o conseqüència lògica rep un tractament purament semàntic. La validesa inductiva, en canvi, requereix aclarir què és una generalització acceptable a partir d'un conjunt d'observacions empíriques. Aquest concepte s'ha intentat elucidar des de diversos punts de vista, alguns més formals que d'altres, i de vegades han donat lloc a definicions que involucren models probabilístics.
[edita] Història
L'origen de la Lògica, en la tradició filosòfica occidental, es remunta al segle IV aC, quan Aristòtil la posa com a base del seu sistema filosòfic, per ser una matèria indispensable per qualsevol altre ciència. Encara que tal com va ser concebuda pel savi grec era bastant rígida, i de poc abast, va romandre inalterada fins el segle XIX. Encara que Leibniz (1646 - 1716) li donà un cert impuls, dins una postura conservadora, va ser Boole (nat el 2 de novembre de 1815 a Lincoln, Lincolnshire, Anglaterra-mort el 8 de desembre de 1864 a Ballintemple, County Cork, Irlanda) qui, amb alguns altres, començà a relacionar-la directament amb les matemàtiques.
La lògica contemporània, tal com s'entén avui, va sorgir dels treballs de Frege (nat el 8 de novembre de 1848 a Wismar, Mecklenburg-Schwerin (actualment Alemanya)-mort el 26 de juliol de 1925 a Bad Kleinen, Alemanya) i Peano (nat el 27 d'agost de 1858 a Cuneo, Piemonte, Itàlia - mort el 20 d'abril de 1932 a Turin, Italia). Aquests treballs es veieren com la culminació del procés de formalització de les Matemàtiques, començada per Isaac Newton i Leibnitz, creadors del càlcul infinitesimal, que després desenvoluparien Cauchy (nat el 21 d'agost de 1789 a París, França – mort el 23 de maig de 1857 a Sceaux, aprop de París), i Gauss (nat el 30 d'abril de 1777 a Brunswick, Ducat de Brunswick, actualment Alemanya – mort el 23 de febrer de 1855 a Göttingen, Hanover, avui Alemanya), entre d'altres, que cada vegada abastava conceptes més generals i abstractes.
Dedekind (nat el 6 d'octubre de 1831 a Braunschweig, Ducat de Braunschweig, avui Alemanya – mort el 12 de febrer de 1916 a Braunschweig), Riemann (nat el 17 de setembre de 1826 a Breselenz, Hanover, avui Alemanya – mort el 20 de juliol de 1866 a Selasca, Itàlia), Weierstrass (nat el 31 d'octubre de 1815 a Ostenfeide, Westfàlia, actual Alemanya – mort el 19 de febrer de 1897 a Berlín, Alemanya) sistematitzaren les Matemàtiques fins el punt de mostrar que es podien construïr essencialment a partir dels nombres naturals, i els conceptes fonamentals de la teoria de conjunts.
L'obra de Frege i Peano havia de ser la culminació d'aquest procés: provaren de donar regles precises per determinar completament la labor del matemàtic, bo i explicitant tant els punts de partida com els mètodes per deduir nous resultats. Si només hagués estat així la Lògica seguiria essent una curiositat reservada als matemàtics amb inclinacions filosòfiques, però a finals del segle XIX Georg Cantor creà i desenvolupà la part més general i abstracta de la matemàtica moderna: la teoria de conjunts.
No va passar gaire temps fins que el mateix Cantor, i d'altres, descobriren contradiccions a la teoria de conjunts. L'exemple més simple fou trobat per Bertrand Russell: segons la teoria de Cantor es pot parlar de qualsevol conjunt de objectes si s'especifiquen els seus elements sens ambigüitat. Per tant podem considerar el conjunt R, els elements del qual són exactament aquells conjunts que no són elements d'ells mateixos. Per tant si R és un element d'ell mateix, per definició, no podria ser-ho, i viceversa. Resulta que R no pot pertànyer a ell mateix com a element ni no fer-ho. Tot això contradiu la lògica més elemental. Es podria pensar que això no és més que una ximpleria, però el que passa és que contradiccions similars afecten a conjunts no tan artificials i recercats com el conjunt R.
La primera mostra de la importància de la Lògica fou un fracàs estrepitós. Frege havia creat un sistema que pretenia regular qualsevol raonament matemàtic. Russell observà que la paradoxa esmentada podia ser provada seguint el sistema de Frege, així com qualsevol afirmació, la qual cosa tornava aquestes regles totalment inútils. Amb el temps sorgiren substituts als treballs de Frege. El primer va ser els Principia Mathematica de Whitehead (nat el 15 de febrer de 1861 a Ramsgate, Isla de Thanet, Kent, Anglaterra – mort el 30 de desembre de 1947 a Cambridge, Massachusetts, Estats Units) i Russell, de gran complexitat lògica. Després vindrien les teories de conjunts de Zermelo-Fraenkel (ZF), i de von Neumann-Bernays-Gödel (NBG). Amdues permeten deduir tots els teoremes matemàtics a partir dels seus principis bàsics (axiomes), sens que, fins ara, s'hagi trobat cap contradicció.
[edita] Referències
- ↑ Plato, The Portable Plato, edited by Scott Buchanan, Penguin, 1976, ISBN 0-14-015040-4
- ↑ Aristotle, The Basic Works, Richard Mckeon, editor, Modern Library, 2001, ISBN 0-375-75799-6, especialment, Posterior Analytics.
- ↑ 3,0 3,1 Vegeu-ne un tractament modern a A. G. Hamilton, Logic for Mathematicians, Cambridge, 1980, ISBN 0-521-29291-3
[edita] Bibliografia
- Brookshear, J. Glenn (1989), Theory of computation : formal languages, automata, and complexity, Benjamin/Cummings Pub. Co., Redwood City, Calif. ISBN 0805301437
- Cohen, R.S, and Wartofsky, M.W. (1974), Logical and Epistemological Studies in Contemporary Physics, Boston Studies in the Philosophy of Science, D. Reidel Publishing Company, Dordrecht, Netherlands. ISBN 90-277-0377-9.
- Finkelstein, D. (1969), "Matter, Space, and Logic", in R.S. Cohen and M.W. Wartofsky (eds. 1974).
- Gabbay, D.M., and Guenthner, F. (eds., 2001-2005), Handbook of Philosophical Logic, 13 vols., 2nd edition, Kluwer Publishers, Dordrecht.
- Vincent F. Hendricks, Thought 2 Talk: A Crash Course in Reflection and Expression, New York: Automatic Press / VIP, 2005, ISBN 87-991013-7-8.
- Hilbert, D., and Ackermann, W. (1928), Grundzüge der theoretischen Logik (Principles of Theoretical Logic), Springer-Verlag. OCLC 2085765
- Hodges, W. (2001), Logic. An introduction to Elementary Logic, Penguin Books.
- Hofweber, T. (2004), "Logic and Ontology", Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), Eprint.
- Hughes, R.I.G. (ed., 1993), A Philosophical Companion to First-Order Logic, Hackett Publishing.
- Kneale, William, and Kneale, Martha, (1962), The Development of Logic, Oxford University Press, London, UK.
- Mendelson, Elliott (1964), Introduction to Mathematical Logic, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif. OCLC 13580200
- Smith, B. (1989), "Logic and the Sachverhalt", The Monist 72(1), 52–69.
- Whitehead, Alfred North and Bertrand Russell (1910), Principia Mathematica, The University Press, Cambridge, England. OCLC 1041146
[edita] Enllaç extern
- Plana de Carlos Ivorra Castillo (castellà)