Kultura logicznego myślenia rok akademicki 2015/2016 semestr zimowy Temat 6: Rachunek predykatów jako logika pierwszego rzędu
logika elementarna = logika pierwszego rzędu KRZ logika zerowego rzędu
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji)
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne 5. stałe logiczne funktory prawdziwościowe
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne 5. stałe logiczne funktory prawdziwościowe identyczność
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne 5. stałe logiczne funktory prawdziwościowe identyczność kwantyfikatory
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne 5. stałe logiczne funktory prawdziwościowe identyczność kwantyfikatory 6. nawiasy
Język logiki elementarnej np. język rachunku predykatów z kwantyfikatorami i identycznością 1. zmienne indywiduowe 2. stałe indywiduowe 3. symbole predykatywne (nazwy cech i relacji) 4. symbole funkcyjne 5. stałe logiczne funktory prawdziwościowe identyczność kwantyfikatory 6. nawiasy specyficzne / niespecyficzne symbole języka elementarnego
Definicja składności w języku elementarnym
Definicja składności w języku elementarnym (1) Wyrażenie składne kategorii nazwowej ( term)
Definicja składności w języku elementarnym (1) Wyrażenie składne kategorii nazwowej ( term) (i) każda zmienna indywiduowa, a także każda stała indywiduowa jest termem,
Definicja składności w języku elementarnym (1) Wyrażenie składne kategorii nazwowej ( term) (i) (ii) każda zmienna indywiduowa, a także każda stała indywiduowa jest termem, jeśli t 1,, t n są termami, a F jest n-argumentowym symbolem funkcyjnym, to wyrażenie postaci F(t 1,, t n ) jest termem,
Definicja składności w języku elementarnym (1) Wyrażenie składne kategorii nazwowej ( term) (i) (ii) (iii) każda zmienna indywiduowa, a także każda stała indywiduowa jest termem, jeśli t 1,, t n są termami, a F jest n-argumentowym symbolem funkcyjnym, to wyrażenie postaci F(t 1,, t n ) jest termem, termami są te i tylko te wyrażenia, których własność ta wynika z punktów (i) i z (ii).
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła)
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą,
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) (ii) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą, jeśli wyrażenia t 1 oraz t 2 są termami, to wyrażenia postaci t 1 = t 2 jest formułą,
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) (ii) (iii) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą, jeśli wyrażenia t 1 oraz t 2 są termami, to wyrażenia postaci t 1 = t 2 jest formułą, jeśli A oraz B są formułami, to każde z poniższych wyrażeń jest formułą: ( A), (A B), (A B), (A B), (A B)
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) (ii) (iii) (iv) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą, jeśli wyrażenia t 1 oraz t 2 są termami, to wyrażenia postaci t 1 = t 2 jest formułą, jeśli A oraz B są formułami, to każde z poniższych wyrażeń jest formułą: ( A), (A B), (A B), (A B), (A B) jeśli x jest zmienną indywiduową, zaś A jest formułą, to następujące wyrażenia są formułami: ( x A), ( x A)
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) (ii) (iii) (iv) (v) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą, jeśli wyrażenia t 1 oraz t 2 są termami, to wyrażenia postaci t 1 = t 2 jest formułą, jeśli A oraz B są formułami, to każde z poniższych wyrażeń jest formułą: ( A), (A B), (A B), (A B), (A B) jeśli x jest zmienną indywiduową, zaś A jest formułą, to następujące wyrażenia są formułami: ( x A), ( x A) formułami są...
Definicja składności w języku elementarnym (2) Wyrażenie składne kategorii zdaniowej ( formuła) (i) (ii) (iii) (iv) (v) jeśli t 1,, t n są termami, natomiast P jest n-argumentowym symbolem predykatywnym, to wyrażenie postaci P(t 1,, t n ) jest formułą, jeśli wyrażenia t 1 oraz t 2 są termami, to wyrażenia postaci t 1 = t 2 jest formułą, jeśli A oraz B są formułami, to każde z poniższych wyrażeń jest formułą: ( A), (A B), (A B), (A B), (A B) jeśli x jest zmienną indywiduową, zaś A jest formułą, to następujące wyrażenia są formułami: ( x A), ( x A) formułami są...
niektóre formuły są zdaniami
niektóre formuły są zdaniami zdania / funkcje zdaniowe
niektóre formuły są zdaniami zdania / funkcje zdaniowe zdania jednostkowe / zdania uniwersalne
definicja Dane wystąpienie zmiennej x wewnątrz formuły A nazywamy wystąpieniem związanym, jeśli jest to wystąpienie pod kwantyfikatorem lub też w zasięgu działania tego kwantyfikatora, którego zmienną podkwantyfikatorową jest x.
definicja Dane wystąpienie zmiennej x wewnątrz formuły A nazywamy wystąpieniem związanym, jeśli jest to wystąpienie pod kwantyfikatorem lub też w zasięgu działania tego kwantyfikatora, którego zmienną podkwantyfikatorową jest x. definicja Podstawienie termu t w miejsce wszystkich wolnych wystąpień zmiennej x wewnątrz formuły A nazywamy prawidłowym, jeśli żadna zmienna występująca wewnątrz termu t nie staje się związana po podstawieniu.
zdania jednostkowe / zdania uniwersalne
zdania jednostkowe / zdania uniwersalne
Rzędy języka: język rzędu 0 język rzędu 1 język rzędu 2
Rzędy języka: język rzędu 0 język rzędu 1 język rzędu 2 przykład: Leibniza zasada identyczności przedmiotów nieodróżnialnych dygresja: Quine o zobowiązaniach ontologicznych: być to być wartością zmiennej związanej