"Lòggica" : Diffirenzi ntrê virsioni

Contenuto cancellato Contenuto aggiunto
Nuddu riassuntu dû canciamentu
Nuddu riassuntu dû canciamentu
Riga 1:
La '''lòggica''' è la [[scienza]] chi tratta la validitati e l'articulazzioni di nu discursu 'n tèrmini di nessi [[nfirinza|nfirinziali]] - 'n particulari [[diduzzioni|diduttivi]] - rilativamenti ê prupusizzioni chi l'accumponnu. S'havi a [[Aristòtili]] - chi esaminau li cuncetti, li catigurìi, li prupusizzioni, li tèrmini e li [[silluggismu|silluggismi]] - la prima furmulazzioni dâ lòggica commu scienza prupidèutica a ogni pussìbbili canuscenza.
 
Lu cuntinutu di l'uggetti e l'urìggini d'iddi sunnu statiforu apprufunniti dâ lòggica [[Mediuevu|midevali]]. Cu lu [[Novum Organum]] [[Francesco Bacone]] circau d'accustruiri na nova metodoluggìa basata supra la [[nnuzzioni]] mpustannu la lòggica commu strummentu di nnàggini scintìfica. Ripigghiannu sti temi [[René Descartes]] circau di stabbiliri siddu lu riguri tìpicu di nu discursu [[matimàtica|matimàticu]] putissi èssiri â basi di quarsiasi sapiri, cumprisu chiddu [[filusufìa|filusòficu]].
 
Sempri supra lu càrculu matimàticu [[Thomas Hobbes]] pinzau la lòggica commu na cumminazzioni di signi e règuli. [[Gottfried Leibniz]] e li soi siquaci circaru appoi d'unificari lu cumplessu dî strutturi lòggicu/linguìstichi nta nu linguaggiu scintìficu univirsali, ossìa la "lòggica simmòlica e cumminatoria".
 
Ntô [[XVIII sèculu]] lu cuntribbutu dî currenti filosòfichi nun havi statu accussì mpurtanti pi lu sviluppu dâ lòggica muderna, e [[Immanuel Kant]] ntâ sò ''[[Crìtica dâ raggiuni pura]]'' addifinìu la [[lòggica trascinnintali]] commu chidda parti dâ lòggica ginirali chi tratta dâ pussibbilitati e dî mudalitati pi cui la canuscenza pò arrifirìrisi ê cuncetti mpìrici.
 
E' sulu ntâ secunna mitati dû [[XIX sèculu]] ca la lòggica attorna a studiari l'aspetti furmali dû linguaggiu, ovveru la [[lòggica furmali]], e a èssiri trattata cu mètudi naturalìstici di [[Christoph Sigwart]] e [[Wilhelm Wundt]], appurtannu cunziquentimenti ô sviluppu dâ [[lòggica matimàtica]].
Riga 22:
 
Chistu è lu stissu asempiu cu l'usu di sìmmuli lòggici:
:<math> (omu \Rightarrow mortali) \land (AristoteliAristòtili \Rightarrow omu) \Rightarrow (AristotiliAristòtili\Rightarrow murtali) </math>
 
E chistu è lu stissu asempiu cu l'usu di tèrmini ginirali:
:<math> (a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b) </math>
 
Stamu parrannu di ''lòggica'' dâ causalitati ca trasìu tanticchia inn crisi 'nta lu seculusèculu scorsu cu li scuperti dâ miccanicamiccànica quantisticaquantìstica unni aistinuasìstinu macari finominafinòmina nun lucali.<br />
Na clàusula è simpricimenti quarcosa comu "Aristòtili è n'omu" o "Ogni omu è murtali". Li clàusuli sunnu o veri o fàusi, ma nun ponnu èssiri veru e fàusu simultaniamenti.