o Logika bada rozumowanie jako wytwory pewnych rozumowań, a nie samo rozumowanie.
o ((p->q)Ap)->p wartość twierdzeń jest niezależna od tego, co o nich myślimy.
LOGIKA
LOGIKA FORMALNA
Bada schematy rozumowań niezawodnych, czyli takich które nie gubią prawdy
LOGICZNE TEORIE JĘZYKA
Semiotyka logiczna dokonuje opisu języka z punktu widzenia porozumiewania się językiem w mowie potocznej oraz budowy teorii naukowej
METODOLOGIA
NAUK
Nauka o metodach nauk, analiza czynników i rezultatów badawczych
Współczesna
Nieklasyczna
- logiki modalne - wielowartościowe
- intuicyjne - norm
- deontyczne
- dialogowe i inne (gdy nie tylko zdania w sensie logicznym są wykorzystywane lub gdy przynajmniej więcej niż dwie wartości klasy czne lub gdy pewne podstawowe prawa logiki nie są wcale przyjmowane)
Język
• Pojęcie języka - jest to system znaków służący do porozumiewania się, charakteryzowany przez słownik, reguły syntaktyczne, oraz reguły semantyczne. Całość złożona z elementów między którymi zachodzą relacje.
• Rodzaje i stopnie języka
• Rodzaje języka:
o Języki naturalne/ etniczne; o Języki sztuczne (język KRZ);
6