Osobliwość logiki intuicjonistycznej

Bożena Czernecka-Rej
ISBN: 978-83-7702-845-2
Stron: 218
Format: B5
Rok wydania: 2014


SPIS TREŚCI

Wstęp

Rozdział 1. Formalne ujęcia intuicjonistycznego rachunku zdań
1.1. Arenda Heytinga aksjomatyczne ujęcie intuicjonistycznego rachunku zdań
1.2. Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań
1.3. Formalizacja intuicjonistycznej logiki zdań metodami Gerharda Gentzena

Rozdział 2. Intuicjonistyczny rachunek zdań a inne systemy nauk formalnych
2.1. Logika intuicjonistyczna a matematyka
2.2. Logika intuicjonistyczna a logika wielowartościowa
2.3. Logika intuicjonistyczna a klasyczny rachunek logiczny

Rozdział 3. Rozumienie praw i funktorów intuicjonistycznej logiki zdań
3.1. Problem obowiązywalności praw logicznych
3.2. Rozumienie funktorów intuicjonistycznego rachunku zdań
3.3. Uwagi o przedmiocie logiki intuicjonistycznej

Zakończenie

Bibliografia
Skorowidz