Loogika aine ja ajalugu
Intuitsionismile
annab praktilise rakendusliku väärtuse asjaolu, et mingi objekti olemasolu intuitsionistlik tõestus annab alati algoritmi
selle objekti tegelikuks konstrueerimiseks. Seetõttu saab intuitsionistlikku loogikat kasutada arvutiprogrammide
automaatseks sünteesimiseks.
2.5.4 Formaalne süsteem: süntaks, reeglid ja semantika
Russell ja Whitehead nimetasid loogikaks muuhulgas nii hulgateooriat kui endaleiutatud tüüpide teooriat. Sõna
``loogika'' tähendus oli neil küllaltki laialivalguv. Poola päritolu USA matemaatiku ja loogiku Alfred Tarski (1902-1983)
ning Saksa-Austria-USA filosoofi, loogilise positivisti Rudolf Carnapi (1891-1970) tööd tõid udusesse pilti vajalikku
selgust. Kuigi sõna ``loogika'' tähendusväli on jätkuvalt üpris avar ja ka kitsamas mõttes ei ole loogikud sugugi ühel
annaabi.ee 
