Proposicions analítiques i empíriques
Utilitats de les taules de veritats:-calcular les posibilitats de veritat i falsedat de les proposicions mitjançant un procedimenr mecànic-ens permeten saber si dues o més preposicions son llogicament ekivalents-podem analitza les inferencies deductives i saber si son deduccions correctes o no.El signe I- es diu clausula consecutiva o deductor i representa:així doncs.Lògica:La ciencia de la inferencia vàlida.Relació de la llogica amb la filosofia de l'antigitat utilitzaven la logica matematica.Per la seua versemblança amb l'algebra repp el nom de calcul de proposicions.El que distingix una contradicció de una paradoxa es qeu una contradiccioes unaoracio que afirma i nega al mateix temps i una paradoxa es una oraciode la kual podem deduir amb la mateixa correcio una conclusió i la contraria.Taula de veritat:tenen com a utilitat fonamental calcular les posibilitats de veritat i falsedat de le proposicions mitjançant un procediment mecànic,d'aquesta manera podem saber si una proposició es empírica o analítica o tautologia, contradicció.Les proposicions moleculars son empíriques perque no son ssempre verdaderes o falses.Principal divisió de la logica deductiva i inductiva.Primer logic de la historia Aristòtil,principi de divalencia:una proposició nomes pot tindre dos valors de veritat o es verdadera o es falsa
l'us de contradiccions i de paradoxes te la finalitat de esperonar la nostra voluntat de saber, per devetlar el nostre intelecte.Proposicions que sempre son falses contradiccions.Sil.Logística Aristòtil. Al final del Segle XIX apareix la logica matematica. No es posible que una proposició i una negació sigen verdaderes alora:principi de no contradicció.Paradoxa:jo sols se que no se res.Preposicions sempre vertaderes:tautologia.Situació de la llogica en el conjunt de lacultura actual:la llogica no te mes relació amb la filosofia que amb la resta de sabers.Els filosofs megarics i estoics logica deductiva:calcul de proposicions.Propietat que distingix preoposicions de oracions:pretén fer mes eviden les estructures llogiques dels raonaments