Логичка последица
Логичка последица (такође повластица) је фундаментални концепт у логици који описује однос између изјава које су истините када једна изјава логички следи из једне или више изјава. Ваљани логички аргумент је онај у којем закључак произилази из премиса, јер је закључак последица премиса. Филозофска анализа логичке последице укључује питања: "У ком смислу закључак следи из његових премиса?" и "Шта значи да закључак буде последица премиса?"[1] Сва филозофска логика има за циљ да пружи приказе природе логичке последице и природе логичке истине.[2]
Логичка последица је неопходна и формална, путем примера који се објашњавају формалним доказом и моделима интерпретације.[1] За реченицу се каже да је логичка последица скупа реченица, за дати језик, ако и само ако, користећи само логику (тј. без обзира на личне интерпретације реченица), реченица мора бити истинита ако је свака реченица у скупу истинита.[3]
Логичари праве прецизне рачуне о логичким последицама у вези са датим језиком , било конструисањем дедуктивног система за или формално намењеном семантиком за језик . Пољски логичар Алфред Тарски идентификовао је три карактеристике адекватне карактеризације повластице:
(1) Релација логичке последице се ослања на логичку форму реченица;
(2) Релација је а приори, тј. може се одредити са или без обзира на емпиријске доказе (чулно искуство); и
(3) Релација логичке последице има модалну компоненту.[3]
Референце
[уреди | уреди извор]- ^ а б 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.
- ^ а б McKeon, Matthew, Logical Consequence Internet Encyclopedia of Philosophy.
Литература
[уреди | уреди извор]- Anderson, A.R.; Belnap, N.D. Jr. (1975), Entailment, 1, Princeton, NJ: Princeton.
- Augusto, Luis M. (2017), Logical consequences. Theory and applications: An introduction. London: College Publications. Series: Mathematical logic and foundations.
- Barwise, Jon; Etchemendy, John (2008), Language, Proof and Logic, Stanford: CSLI Publications.
- Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY, 2003.
- Davis, Martin, ур. (1965), The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions, New York: Raven Press, ISBN 9780486432281. Papers include those by Gödel, Church, Rosser, Kleene, and Post.
- Dummett, Michael (1991), The Logical Basis of Metaphysics, Harvard University Press, ISBN 9780674537866.
- Edgington, Dorothy (2001), Conditionals, Blackwell in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic.
- Edgington, Dorothy (2006), „Indicative Conditionals”, Conditionals, Metaphysics Research Lab, Stanford University in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
- Etchemendy, John (1990), The Concept of Logical Consequence, Harvard University Press.
- Goble, Lou, ур. (2001), The Blackwell Guide to Philosophical Logic, Blackwell.
- Hanson, William H (1997), „The concept of logical consequence”, The Philosophical Review, 106 (3): 365—409, JSTOR 2998398, doi:10.2307/2998398 365–409.
- Hendricks, Vincent F. (2005), Thought 2 Talk: A Crash Course in Reflection and Expression, New York: Automatic Press / VIP, ISBN 978-87-991013-7-5
- Planchette, P. A. (2001), Logical Consequence in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
- Quine, W.V. (1982), Methods of Logic, Cambridge, MA: Harvard University Press (1st ed. 1950), (2nd ed. 1959), (3rd ed. 1972), (4th edition, 1982).
- Shapiro, Stewart (2002), Necessity, meaning, and rationality: the notion of logical consequence in D. Jacquette, ed., A Companion to Philosophical Logic. Blackwell.
- Tarski, Alfred (1936), On the concept of logical consequence Reprinted in Tarski, A., 1983. Logic, Semantics, Metamathematics, 2nd ed. Oxford University Press. Originally published in Polish and German.
- Ryszard Wójcicki (1988). Theory of Logical Calculi: Basic Theory of Consequence Operations. Springer. ISBN 978-90-277-2785-5.
- A paper on 'implication' from math.niu.edu, Implication Архивирано 2014-10-21 на сајту Wayback Machine
- A definition of 'implicant' AllWords
Спољашње везе
[уреди | уреди извор]- Zalta, Edward N. (ур.). „Logical Consequence”. Stanford Encyclopedia of Philosophy.
- „Logical consequence”. Internet Encyclopedia of Philosophy.
- Логичка последица на сајту InPho
- Логичка последица на сајту PhilPapers
- Hazewinkel, Michiel, ур. (2001) [1994], „Implication”, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4