4.7.

Filozofia logiki
 relacja między językami naturalnymi a formalnymi,
 spór o ontologię w matematyce (platonizm, logicyzm),
 pojęcie wynikania logicznego i innych związków logicznych między zdaniami (sprzeczność, wykluczanie,
dopełnienie, równoważność, niezależność).

1. Języki

Język formalny := dowolny podzbiór zbioru wszystkich podzbiorów (słów) zbioru będącego skończonym alfabetem

Język naturalny := język stosowany w komunikacji interpersonalnej (w opozycji do formalnego).

W opozycji do języków sztucznych (np. w pewnym sensie Esperanto): język powstały w drodze rozwoju grup etnicznych.

2. Relacje między zdaniami

Wynikanie logiczne: X ╞ A wtw dla każdej interpretacji M: jeżeli X ⊆ Vr(M), to A ∈ Vr(M)

Inferencja logiczna: X |- A wtw A ∈ Cn(X)

Związki logiczne między zdaniami

p i q są niezależne wtw wartość logiczna zdania q nie zależy od wartości

logicznej zdania p.

p i q są sprzeczne wtw p i q mają inną wartość logiczną.

p i q się wykluczają wtw nie mogą być zarazem prawdziwe

p i q się dopełniają wtw nie mogą być zarazem fałszywe

q wynika z p wtw na mocy prawdziwości p można przyjąć prawdziwość q

SaP – każde S jest P; SeP – żadne S nie jest P; SiP – niektóre (czyli min. 1) S jest P, SoP – niektóre S nie są P

3. Spór ontologiczny w matematyce (o istnienie przedmiotów matematycznych lub praw matematyki)

stanowiska czyli: przedm./prawa mat.: stanowiska czyli: pojęcia ogólne

współczesne w średniowieczu
logicyzm (platonizm) istnieją i są przez matematyków realizm istnieją realnie, niezależnie od naszych
odkrywane umysłów (jak platońskie idee lub jako
natury w konkretnych rzeczach)
intuicjonizm są przez matematyków konceptualizm powstają w naszych umysłach na
konstruowane zasadzie abstrahowania cech
formalizm nie istnieją, matematyka to nominalizm nie istnieją; istnieją tylko nazwy
operowanie na symbolach bez w postaci materialnej (napisane lub
znaczenia brzmiące w powietrzu słowa)

M. Heller, Wierzę, żeby zrozumieć

W.V.O. Quine, O tym, co istnieje

PYTANIE:
O istnienie czego pytać? Liczb? Przedmiotów? Praw? Relacji?