104327

Logika matematyczna- metalogika, me ta matematyka, teoria systemów dedukcyjnych.

Zajmuje się badaniem właściwości rachunków logicznych, ich własnościami semantycznymi (teoria modeli semantycznych), relacjami między nimi. Działy logiki matematycznej

1.    teoria modeli semantycznych

2.    teoria konsekwencji (dowodliwości)

3.    teoria rekurencji (rozstrzygał ność twierdzeń, m.in. dwa twierdzenia Gódela), z niej wywodzi się kryptologia

Semiotyka logiczna- logika języka, zajmuje się jeżykami naturalnymi w aspelcie funkcji poznawczej. Język jako system znaków. Działy

4.    syntaktyka logiczna- bada relacje syntaktyczne między wyrażeniami w ramach języka i między językami. Dwie gramatyki uniwersalne

1. kategorialna- Ajdukiewicz. Bor- Jilel, Lambeck, Van Benthem, Buszkowski, Marciszewski, Wybraniec- Skardowska. W językach namralnych istnieje struktura zdań funktorowa i funkcyjno- argumentacyjna

b) generatywna- Noah Chomsky. W umysłach istnieje gramatyka naturalna, biologiczna,

która umożliwia człowiekowi naukę dowolnego języka. Zdania mają strukturę fazową.

Badanie stopnia skomplikowania języka i jego przekształceń.

5.    semantyka logiczna- zajmuje się odniesieniem słów, ich znaczeń do świata. Badaiue prawdziwości, sensowności. Problemy filozoficzne wynikają z nadmiernego/ mepoprawnego użycia języka potocznego np. „Świat istnieje”- słowo „istnieje” odnosi się do rzeczy konkretnych, istniejących w przestrzeni. Tymczasem to przestrzeń zawiera się w świecie , więc świat nie jest pojęciem konkretnym, zadem zdanie „świat istnieje” jest bełkotem semantycznym

6.    pragmatyka logiczna- użycie wyrażeń językowych w aspekcie funkcji przekazu informacji. Badanie wieloznaczności, syn oni mii, warunki akceptacji, postawy sądzeniowe. Co znaczy poprawiue pytać, stwierdzać.

Ogólna metodologia nauk- czynności naukotwórcze, systemy czynnościowe tworzenia grup nauk- inaczej metody nauk

7.    metoda dedukcyjna- metalogika

8.    metoda empiryczna- jak obserwować, jak konstruować parametry, oszacowywanie danych, prognozy, testowanie, procedury weryfikacji i falsyfikacji

9.    metoda humanistyczna- interpretacja, jej intersubiektywność, arbitralność i niearbitralność. Szkoła badeńska (Dilthey), barburska i frankfurcka (Habermas)