Логичка последица (такође повластица) је фундаментални концепт у логици који описује однос између изјава које су истините када једна изјава логички следи из једне или више изјава. Ваљани логички аргумент је онај у којем закључак произилази из премиса, јер је закључак последица премиса. Филозофска анализа логичке последице укључује питања: "У ком смислу закључак следи из његових премиса?" и "Шта значи да закључак буде последица премиса?"Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). Сва филозофска логика има за циљ да пружи приказе природе логичке последице и природе логичке истине.Quine, Willard Van Orman, Philosophy of Logic.
Логичка последица је неопходна и формална, путем примера који се објашњавају формалним доказом и моделима интерпретације.Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). За реченицу се каже да је логичка последица скупа реченица, за дати језик, ако и само ако, користећи само логику (тј. без обзира на личне интерпретације реченица), реченица мора бити истинита ако је свака реченица у скупу истинита.McKeon, Matthew, Logical Consequence Internet Encyclopedia of Philosophy.
Логичари праве прецизне рачуне о логичким последицама у вези са датим језиком , било конструисањем дедуктивног система за или формално намењеном семантиком за језик . Пољски логичар Алфред Тарски идентификовао је три карактеристике адекватне карактеризације повластице:
(1) Релација логичке последице се ослања на логичку форму реченица;
(2) Релација је а приори, тј. може се одредити са или без обзира на емпиријске доказе (чулно искуство); и
(3) Релација логичке последице има модалну компоненту.McKeon, Matthew, Logical Consequence Internet Encyclopedia of Philosophy.
Референце
Литература
. London: College Publications. Series: Mathematical logic and foundations. . 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY, 2003. . Papers include those by Gödel, Church, Rosser, Kleene, and Post. . in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. . . 365–409.
(1st ed. 1950), (2nd ed. 1959), (3rd ed. 1972), (4th edition, 1982).
Reprinted in Tarski, A., 1983. Logic, Semantics, Metamathematics, 2nd ed. Oxford University Press. Originally published in Polish and German.
A paper on 'implication' from math.niu.edu, Implication A definition of 'implicant' AllWords
Спољашње везе
Категорија:Бинарне операције Категорија:Исказни рачун Категорија:Металогика