w logice

Encyklopedia PWN

[gr. logikós ‘zgodny z rozumowaniem’],

teoria czynności poznawczych, przede wszystkim naukotwórczych,

logika nazw (sylogistyka), której predykaty mają po części sens kwantyfikujący;

mat. pojęcie stanowiące pewne uogólnienie pojęcia logiki klas. i wprowadzonej 1920 przez Jana Łukasiewicza logiki wielowartościowej (logika).

dział matematyki poświęcony badaniu wnioskowania matematycznego (dowodzenia) oraz problemom podstaw matematyki.

dział logiki formalnej zajmujący się modalnościami, takimi jak: możliwość, konieczność, niemożliwość i przypadkowość;

dyscyplina zajmująca się formalnym związkiem pomiędzy pojęciami deontycznymi: obowiązkiem, zakazem i dozwoleniem;

Materiały dodatkowe