Teoria deskrypcji: Różnice pomiędzy wersjami

'''Teoria deskrypcji''' jest m.in. pewną teorią parafrazowania zdań zawierających deskrypcje określone – czyli takie nazwy, które mogą stać w podmiocie i orzeczeniuorzeczniku zdania o postaci „A jest B” (orzecznikowego) – oraz w intencji mówiącego mają odnosić się dokładnie do dokładnie jednego przedmiotu), np.:

; Zdanie [Z1] – "Obecny król Francji jest łysy"

#* Istnienia (Istnieje przynajmniej jeden obecny król Francji): (Ex∃x) (x jest OKF)

#* Jedyności (Istnieje co najwyżej jeden obecny król Francji): (x∀x)(y∀y) (x jest OKF & y jest OKF → x=y)

# Oraz dodatkowe zdanie wynikające z formy logicznej (1) – „Cokolwiek jest OKF, ma cechę bycia łysym”[Z1]:

#* „Cokolwiek jest OKF, ma cechę bycia łysym”: (x∀x) (x jest OKF → x jest łyse)

# Zdanie [Z2] ma zatem następującą formę: (Ex) (x jest OKF) & (x)(y)(x jest OKF & y jest OKF → x=y) & (x)(x jest OKF → x jest łyse)

; Zdanie [Z1] – "Prus jest autorem ‘Lalki’"

# Predykaty:* „x jest autorem ‘Lalki’” („x jest AL.”).

# Do tego imię własne: Prus (stała np. a) .

#* Istnienia (Istnieje przynajmniej jeden autor ‘Lalki’): (Ex∃x) (x jest AL)

#* Jedyności (Istnieje co najwyżej jeden autor ‘Lalki’): (x∀x)(y∀y) (x jest AL & y jest AL → x=y)

# Oraz dodatkowe zdanie wynikające z formy logicznej (3) – „Cokolwiek jest AL jest identyczne z Prusem”[Z1]: (x)(x jest AL → x = a)