Niektóre z zamieszczonych tu informacji wymagają weryfikacji.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
Logika wolna (ang. free logic) – logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny.
Jako pierwszy problem pustości dziedziny rozważał Andrzej Stanisław Mostowski, następnie zajmowali się nim m.in. Hailperin, Quine, Hintikka, a także van Frassen, Strawson, Leonard i Lambert (ten ostatni również wymyślił określenie logika wolna[1]).
- ↑ Wedle jego słów miał to być jedynie skrót od przydługawego określenia „logika wolna od (pewnych) zobowiązań ontologicznych”. Nie da się jednak odmówić temu określeniu pewnej „nośności marketingowej”. Z powodu dodaktowych skojarzeń, jakie mogłyby się pojawić, określenia tego konsekwentnie unikał Jaakko Hintikka.