Gottlob Frege: Osnove Savremene Logike i Predikatski Račun

Kontekst i značaj Fregeovog logičkog projekta

• Uvod u predavanje: Predavanje drži profesorka Popović u okviru predmeta Savremena logika. Ovo je drugi deo predavanja posvećen Fregeovoj logici, konkretno Fregeovom zasnivanju logike.
• Odnos prema prethodnom predavanju: U prvom delu akcenat je bio na komentarisanju same ideje logicizma — nastojanja da se aritmetika zasnuje na logici. Razmatrani su razlozi nastanka logicizma i način na koji je logika osmišljena unutar tog projekta kao formalni sistem.
• Cilj predavanja: Fokus je na konkretnom Fregeovom formalnom sistemu, odnosno njegovom predikatskom računu. Cilj je povući jasnu razliku između:     * Univerzalnog konteksta: Opšte ideje savremene logike koju je Frege zasnovao (i koja je ostala validna).     * Konkretnog konteksta: Fregeovog specifičnog formalnog sistema koji je kasnije oboren (pokazan kao manjkav), ali čiji su principi i danas temelj logike.
• Razlog istraživanja oborenog sistema: Iako je Fregeov formalni sistem konkretno oboren, ključni obrti i aparati koje je on uveo ostali su osnova savremene logike. Proučavanjem njegovih rešenja razumemo prelaz sa tradicionalne na modernu logiku.
• Inspiracija matematikom: Frege se primarno bavio odnosom logike i matematike. Smatrao je da se aritmetika (za razliku od geometrije) po svojoj apstraktnosti i formalnosti nalazi najbliže logici. Zato je aritmetika bila fokus i inspiracija za razvoj precizne logičke forme.

Prelaz sa tradicionalne na savremenu logiku: Iskazi i forme

• Osnovna logička jedinica:     * U tradicionalnoj logici, osnovna jedinica je termin (pojam).     * U savremenoj logici, osnovna jedinica je iskaz (rečenica). Odavde se mora početi pri izgradnji formalnog jezika.
• Iskazi matematike kao primarni primer: Frege posmatra matematičke izraze (poput $1 + 1 = 2$) kao specifičan tip jezika — aritmetički jezik. Ovi izrazi se tretiraju kao iskazi, isto kao što je iskaz i rečenica "tabla je zelena".
• Dva diskursa: Postoji diskurs svakodnevnog govora i diskurs matematike. Frege nastoji da uoči sličnosti i razlike u njihovim strukturama kako bi pronašao univerzalnu logičku formu.
• Kritika forme Subjekat-Predikat (S-P):     * Tradicionalna logika poznaje samo jednu formu iskaza: $S$ je $P$ (Subjekat je Predikat).     * Primeri: "Tabla je zelena", "Danas je utorak", "Sokrat je filozof".     * Frege smatra da ova forma nije dovoljna niti precizna. On traži novu formu koja bi bila adekvatna za svu racionalnu misao, a tu formu pronalazi u aritmetici.

Funkcija, argument i vrednost: Srce nove logike

• Pridavanje funkcije logici: Frege uzima koncept funkcije iz matematike i primenjuje ga na logičku formu iskaza.
• Struktura matematičkog iskaza: Matematički iskaz se može zapisati kao $f(x) = y$.     * $f$: Simbol za funkciju (pravilo preslikavanja).     * $x$: Argument funkcije (promenljiva koja se popunjava vrednostima).     * $y$: Vrednost funkcije (rezultat koji dobijamo nakon što argument prođe kroz funkciju).
• Primeri funkcija:     * $f(x) = x + 1$     * Ako je $x = 1$, rezultat je $2$.     * Ako je $x = 2$, rezultat je $3$.
• Odvajanje forme od sadržaja:     * U izrazu $x + 1 = y$, sami brojevi ($1, 2, 3$) su matematički sadržaj.     * Sama struktura $f(x) = y$ je, prema Fregeu, čista logička forma. Ona je forma iskazivanja koja važi za svaki smislen i racionalan jezik.
• Nova logička forma: Frege predlaže da svaki iskaz u logici ima formu $f(x) = y$, gde je $y$ logička vrednost.

Logičke vrednosti i eksplicitnost

• Problem implicitnosti u tradiciji: U formi "subjekat je predikat" (npr. "nebo je plavo"), mi implicitno pretpostavljamo da iskaz nešto tvrdi i da je to što tvrdi tačno ili netačno. Međutim, sama forma S-P to ne sadrži kao sastavni deo.
• Istinitosna vrednost kao deo forme: Frege u samu formu iskaza uključuje njegovu logičku vrednost.     * U formi $f(x) = y$, ovo $y$ predstavlja istinitosnu vrednost.     * U logici, postoje samo dve moguće vrednosti za $y$: Tačno (T) ili Netačno (N) (ili $1$ i $0$).
• Logička moć novog aparata: Ovim se dobija sofisticiraniji i precizniji aparat koji omogućava da se logika bavi isključivo formalnim odnosima, bez opterećenja sadržajem svakodnevnog jezika.

Fregeova redefinicija pojma

• Pojam kao funkcija: Za Fregea, pojam (npr. "biti mačka") nije statična kategorija kao u tradiciji, već specifična vrsta funkcije.
• Definicija pojma: Pojam je funkcija čija je vrednost uvek istinitosna vrednost (istina ili laž).
• Primeri:     * Iskaz: "Pufna je mačka".     * Analiza: Funkcija je "biti mačka" ($M$), a argument je "Pufna" ($p$).     * Zapis: $M(p) = T$ (čita se: "Mačka od Pufna je tačno").     * Ako bismo rekli "Una je mačka", a Una je čovek, zapis bi bio $M(u) = N$.
• Zadovoljavanje funkcije: Objekti koji za određenu funkciju daju vrednost "Tačno" nazivaju se objektima koji zadovoljavaju tu funkciju.
• Ontologija Fregeovog sistema: Sistem prepoznaje samo dve vrste entiteta:     1. Funkcije (nezasićeni entiteti kojima treba argument).     2. Objekti (zasićeni entiteti koji služe kao argumenti).

Begriffsschrift (Pojmopis)

• Kovanica: Naziv Fregeovog dela i sistema je Begriffsschrift.     * Begriff = pojam.     * Schrift = pismo, zapis.
• Značenje: Bukvalno prevedeno "Pojmopis". Sistem koji beleži misli kroz pojmove definisane kao funkcije.
• Dva računa: Iz ovog sistema razvila su se dva osnovna dela savremene logike:     1. Predikatski račun: Bavi se unutrašnjom strukturom iskaza (funkcijama i argumentima).     2. Iskazni račun: Bavi se povezivanjem celih iskaza putem logičkih veznika.

Logički veznici i kompleksni iskazi

• Problem složenih rečenica: Tradicionalna logika je poznavala veznike (i, ili, ako…onda), ali ih nije formalno tretirala na jedinstven način sa prostim iskazima.
• Veznici kao funkcije višeg reda: Fregeova ideja je bila da i logičke veznike tretira kao funkcije. To bi značilo da su argumenti tih funkcija drugi iskazi (druge funkcije), a ne neposredni objekti.
• Rezultat: Iako je ideja bila elegantna, u praksi ovaj specifičan model tretiranja veznika kao funkcija višeg reda u Fregeovom izvornom obliku nije u potpunosti zaživeo, ali je otvorio put modernom iskaznom računu.

Revolucija u kvantifikaciji

• Aristotelovska podela: Tradicionalna logika deli iskaze po:     * Kvalitetu: Afirmativni i negativni.     * Kvantitetu: Univerzalni ("svi"), partikularni ("neki") i singularni ("jedan").
• Kvantifikacija u tradiciji: Odnosila se isključivo na subjekat (npr. u "Svi Grci su smrtni", kvantifikuje se reč "Grci").
• Kvantifikacija kod Fregea: On uvodi kvantifikatore koji se odnose na celokupan iskaz (relaciju), a ne samo na jedan termin.
• Vrste kvantifikatora:     1. Univerzalni kvantifikator ($\forall$): Odgovara reči "svi". Piše se kao prevrnuto slovo $A$ (npr. $\forall x, f(x) = T$).     2. Egzistencijalni kvantifikator ($\exists$): Odgovara reči "neki" ili "postoji barem jedan". Piše se kao prevrnuto slovo $E$ (npr. $\exists x, f(x) = T$).
• Značaj: Kvantifikacija se sada vrši nad funkcijama. Kvantifikatori su zapravo funkcije višeg reda koje operišu nad bazičnim funkcijama.

Oslobađanje od metafizike i ontologije

• Tradicionalna veza: Tradicionalna logika je bila neraskidivo povezana sa metafizikom. Termini su morali da referiraju na realne entitete da bi iskaz imao smisla (npr. problem rečenica o mitskim bićima).
• Moderni pristup: Savremena logika se oslobađa metafizičkih obaveza.     * Logička funkcija termina više nije referencija (označavanje stvari u svetu).     * Termini postaju formalni simboli unutar sistema.
• Problem nepostojećih entiteta (Primer: Hari Poter, Jednorog):     * U tradicionalnoj logici, iskaz o Hariju Poteru je problematičan jer Hari Poter ne postoji.     * U savremenoj logici, uz pomoć egzistencijalnog kvantifikatora, možemo analizirati iskaz a da ne tvrdimo postojanje objekta u realnom svetu.     * Kantska teza: Frege deli Kantovo uverenje da "postojanje nije realan predikat". Egzistencija je stvar logičke forme (kvantifikacije), a ne osobina koja se pridaje objektu kao što je "plavo" ili "okruglo".
• Rezultat: Logika funkcioniše nezavisno od toga da li smo realisti ili nominalisti, ili koji je naš ontološki stav o univerzaliijama.

Zaključak i najava budućih tema

• Sažetak: Frege je postavio aparat koji je daleko moćniji, precizniji i sofisticiraniji od tradicionalnog. Njegovo pomeranje sa forme S-P na formu funkcije-argumenta je ključni momenat u istoriji logike.
• Buduće teme:     * Fregeova teorija značenja (Sinn i Bedeutung).     * Raselov paradoks (koji će pokazati pukotine u Fregeovom konkretnom sistemu).     * Primena ovih principa na konkretnim vežbama kroz ekstenzivnu upotrebu sistema.