logiki
Encyklopedia PWN
dział filozofii zajmujący się badaniem podstaw logiki;
kierunek w logice zapoczątkowany przez G. Boole’a, polegający na zastosowaniu rachunku algebraicznego do badania praw myślenia.
logika
teoria czynności poznawczych, przede wszystkim naukotwórczych,
[gr. logikós ‘zgodny z rozumowaniem’],
logika formalna, logika symboliczna,
nauka o związkach logicznych między zdaniami, zwłaszcza o związkach wynikania, uwarunkowanych budową (strukturą) zdań, oraz opartych na tych związkach formach i regułach poprawnego wnioskowania.
