Bożena Czernecka-Rej: Osobliwość logiki intuicjonistycznej

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