| dbo:abstract
|
- Értékréses logikán olyan logikai rendszert értünk, ami lemond arról az igényéről, hogy minden állításnak legyen jól meghatározott igazságértéke. Ezáltal kezelhetővé válik a hazug paradoxona is. Ehhez látszólag egy új igazságértéket vezet be, ami valójában az igazságérték hiányát jelzi. Ezt nevezik értékrésnek. Több forrásból is eredhet. Az értékrés tovább öröklődik a logikai műveleteken, a kvantorokon és (az értékréses modális logikában) a modális operátorokon át. (hu)
- Értékréses logikán olyan logikai rendszert értünk, ami lemond arról az igényéről, hogy minden állításnak legyen jól meghatározott igazságértéke. Ezáltal kezelhetővé válik a hazug paradoxona is. Ehhez látszólag egy új igazságértéket vezet be, ami valójában az igazságérték hiányát jelzi. Ezt nevezik értékrésnek. Több forrásból is eredhet. Az értékrés tovább öröklődik a logikai műveleteken, a kvantorokon és (az értékréses modális logikában) a modális operátorokon át. (hu)
|
