104352

LOGKA

Wstęp do logiki klasycznej

-    logika klasyczna (.filozoficzna"; jedyna istniejąca do połowy XIX wieku, jeszcze nie matematyczna) analizuje wypowiedzi pod kątem ich stwktuty, poprzez czynności poznawcze; jest dyscypliną normatywną, nie: opisową;

[Susan Haack - logikę zrodził impuls pragnienia oddzielenia twierdzeń poprawnych od niepoprawnych] ->co takiego mają w swojej strukturze twierdzenia logicznie poprawne?

rozumowania - procesy myślowe, w których poszukujemy racji bądź następstw poglądów, które już uprzednio, przynajmniej prowizorycznie, uznaliśmy za prawdziwe;

-    wnioskowanie - rozumowanie polegające na tym, że ze zdari uznanych za prawdziwe (przesłanek), opierając się na prawach logicznych, wyprowadza się wnioski (nowe twierdzenia)

a, zatem p

-    dowodzenie - rozumowanie, którego celem jest wykazanie prawdziwości jakiegoś zdania poprzez wskazanie przesłanek, które pozwalają to zdanie z siebie wywieść:

a)    wprost -> czy (3? wiadomo, że a; skoro a, to P; zatem p

b)    nie wprost -> czy p? [zakładamy, że nie P) skoro nie p, to a; wiadomo, że nie a; zatem

P

-    sprawdzanie hipotezy

czyP? skoro p, to a; czy a? -» a; zatem p

—* nie a; zatem nie p

-    wyjaśnianie (rozumowanie nieuzasadniające)

argumentacja - bardzo złożona wypowiedź, której celem jest nakłonienie kogoś do przyjęcia pewnego stanowiska, poprzez wskazanie stojących za tym stanowiskiem racji (logicznych i pozalogicznych - np. autorytetu)