Logika matematyczna - omówienie

Nasza ocena:

3
Pobrań: 84
Wyświetleń: 749
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Logika matematyczna - omówienie - strona 1

Fragment notatki:

Logika matematyczna- metalogika, metamatematyka, 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
teoria modeli semantycznych
teoria konsekwencji (dowodliwości)
teoria rekurencji (rozstrzygalność twierdzeń, m.in. dwa twierdzenia Gödela), z niej wywodzi się kryptologia
Semiotyka logiczna- logika języka, zajmuje się jeżykaminaturalnymi w aspelcie funkcji poznawczej. Język jako system znaków. Działy
syntaktyka logiczna- bada relacje syntaktyczne między wyrażeniami w ramach języka i między językami. Dwie gramatyki uniwersalne
kategorialna- Ajdukiewicz, Bor- Jilel, Lambeck, Van Benthem, Buszkowski, Marciszewski, Wybraniec- Skardowska. W językach naturalnych 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ń.
semantyka logiczna- zajmuje się odniesieniem słów, ich znaczeń do świata. Badanie prawdziwości, sensowności. Problemy filozoficzne wynikają z nadmiernego/ niepoprawnego 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
pragmatyka logiczna- użycie wyrażeń językowych w aspekcie funkcji przekazu informacji. Badanie wieloznaczności, synonimii, warunki akceptacji, postawy sądzeniowe. Co znaczy poprawnie pytać, stwierdzać.
Ogólna metodologia nauk- czynności naukotwórcze, systemy czynnościowe tworzenia grup nauk- inaczej metody nauk
metoda dedukcyjna- metalogika
metoda empiryczna- jak obserwować, jak konstruować parametry, oszacowywanie danych, prognozy, testowanie, procedury weryfikacji i falsyfikacji
metoda humanistyczna- interpretacja, jej intersubiektywność, arbitralność i niearbitralność. Szkoła badeńska (Dilthey), barburska i frankfurcka (Habermas)
... zobacz całą notatkę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz