Celem logiki jest nauka o poprawnych sposobach myśleniach, których celem jest prawdziwy, poprawny efekt.

„o pochodzeniu filozofii”

Ogólny podział filozofii:

-Ontologia

-Epistemologia, (związane z psychologią poznawczą)

-Aksjologia-Nauka o teoriach wartości. Specjalności: Estetyka i Etyka.

Logika spaja te wszystkie dziedziny, ale nie jest częścią wspólną żadnej z nich.

Logika jest kanonem poznania/wzorem/probierzem/punktem odniesienia.

Logika ma wysoki poziom abstrakcji.

Podział logicznej teorii języka:

1. Syntaktyka - bada relacje wewnątrz języka, badanie struktur języka.

2. Semantyka - bada relacje między językiem a rzeczywistością.

3. Pragmatyka - bada relacje między użytkownikiem a językiem.

Podział logiki:

1. Semiotyka (logiczna teoria języka) – ogólna teoria znaków.

1. Syntaktyka - bada relacje czysto strukturalne wewnątrz języka.

2. Semantyka - zajmuje się prawdziwością wyrażeń.

3. Pragmatyka – Jak ludzie działają przy pomocy słów, i jak słowa wpływają na ludzi.

1. Logika formalna – teoria dedukcji/teoria wnioskowania niezawodnego. Bada formę zdań, ignorując ich treść.

2. Metodologia nauk - nauka o technikach, sposobach uzasadniania zdań. Oraz nauka o metodach tworzenia systemów wiedzy/technologia tworzenia systemów.

Logika filozoficzna – teoretyzowanie które ma za zadanie wyjaśniać prawdziwość praw logicznych, np. na podstawie ontologii.

Ad.2. Przykład: Jeżeli p to p. Nie zależy to, o czym mówi p, i czy samo p jest prawdziwe.

Algebra Boole’a wykorzystywana jest w logice formalnej.

Polscy logicy:

- Jan Łukasiewicz,

- Stanisław Leśniewski,

-Alfred Tarski