Khác biệt giữa bản sửa đổi của “Logic”
n Sửa lỗi chính tả. |
|||
Dòng 130: | Dòng 130: | ||
== Tham khảo == |
== Tham khảo == |
||
{{Refbegin}} |
|||
=== Chú thích === |
|||
* [[Nuel Belnap]], (1977). "A useful four-valued logic". In Dunn & Eppstein, ''Modern uses of multiple-valued logic''. Reidel: Boston. |
|||
{{Reflist|group=lower-roman}} |
|||
* [[Józef Maria Bocheński]] (1959). ''A précis of [[mathematical logic]]''. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland. |
|||
* Józef Maria Bocheński, (1970). ''A history of [[formal logic]]''. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York. |
|||
=== Trích dẫn === |
|||
* {{Chú thích sách | last = Brookshear | first = J. Glenn | year = 1989 | title = Theory of computation: formal languages, automata, and complexity | publisher = Benjamin/Cummings Pub. Co. | location = Redwood City, Calif. | isbn = 0805301437}} |
|||
{{reflist|1=30em}} |
|||
* Cohen, R.S, and Wartofsky, M.W. (1974). ''Logical and Epistemological Studies in Contemporary Physics''. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9. |
|||
* Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974). |
|||
=== Thư mục === |
|||
* [[Dov Gabbay|Gabbay, D.M.]], and Guenthner, F. (eds., 2001–2005). ''Handbook of Philosophical Logic''. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht. |
|||
{{refbegin|indent=yes|38em}} |
|||
* [[David Hilbert|Hilbert, D.]], and [[Wilhelm Ackermann|Ackermann, W]], (1928). ''Grundzüge der theoretischen Logik'' (''[[Principles of Mathematical Logic]]''). Springer-Verlag. [http://worldcat.org/oclc/2085765 OCLC 2085765] |
|||
* {{cite book |last1=Angell |first1=Richard B. |title=Reasoning and Logic |date=1964 |publisher=Ardent Media |page=164 |url=https://books.google.com/books?id=-zsNBsO-G68C&pg=PA164 |language=en|oclc=375322 }} |
|||
*[[Susan Haack]], (1996).'' Deviant Logic, Fuzzy Logic: Beyond the Formalism'', University of Chicago Press. |
|||
* {{cite book |last1=Audi |first1=Robert |author-link=Robert Audi |title=The Cambridge Dictionary of Philosophy |publisher=Cambridge University Press |url=https://philpapers.org/rec/AUDTCD-2 |chapter=Informal logic |year=1999a |access-date=29 December 2021 |archive-date=14 April 2021 |archive-url=https://web.archive.org/web/20210414132344/https://philpapers.org/rec/AUDTCD-2 |url-status=live |isbn=978-1-107-64379-6 |page=435}} |
|||
* [[Wilfred Hodges|Hodges, W.]], (2001). ''Logic. An introduction to Elementary Logic'', Penguin Books. |
|||
* {{cite book |last1=Audi |first1=Robert |author-link=Robert Audi |title=The Cambridge Dictionary of Philosophy |publisher=Cambridge University Press |url=https://philpapers.org/rec/AUDTCD-2 |chapter=Philosophy of logic |year=1999b |access-date=29 December 2021 |archive-date=14 April 2021 |archive-url=https://web.archive.org/web/20210414132344/https://philpapers.org/rec/AUDTCD-2 |url-status=live |isbn=978-1-107-64379-6 |pages=679–681}} |
|||
* Hofweber, T., (2004), [http://plato.stanford.edu/entries/logic-ontology/ Logic and Ontology]. ''[[Stanford Encyclopedia of Philosophy]]''. [[Edward N. Zalta]] (ed.). |
|||
* {{cite journal |last1=Backmann |first1=Marius |title=Varieties of Justification—How (Not) to Solve the Problem of Induction |journal=Acta Analytica |date=1 June 2019 |volume=34 |issue=2 |pages=235–255 |doi=10.1007/s12136-018-0371-6 |s2cid=125767384 |language=en |issn=1874-6349 |doi-access=free }} |
|||
* Hughes, R.I.G., (1993, ed.). ''A Philosophical Companion to First-Order Logic''. Hackett Publishing. |
|||
* {{cite web |last1=Bagaria |first1=Joan |title=Set Theory |url=https://plato.stanford.edu/entries/set-theory/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=23 September 2022 |year=2021}} |
|||
* {{Chú thích sách | first = Morris | last = Kline | title = Mathematical Thought From Ancient to Modern Times | url = https://archive.org/details/mathematicalthou0000unse | publisher = Oxford University Press | year = 1972 | isbn = 0-19-506135-7}} |
|||
* {{cite book |last1=Barnes |first1=Jonathan |title=Truth, etc.: Six Lectures on Ancient Logic |date=25 January 2007 |publisher=Clarendon Press |isbn=978-0-19-151574-3 |pages=274 |url=https://books.google.com/books?id=VwZREAAAQBAJ&pg=PA274 |language=en}} |
|||
* [[William Kneale (logician)|Kneale, William]], and Kneale, Martha, (1962). ''The Development of Logic''. Oxford University Press, London, UK. |
|||
* {{cite web |last1=Benthem |first1=Johan van |title=Modal Logic: Contemporary View: 1. Modal Notions and Reasoning Patterns: a First Pass |url=https://iep.utm.edu/modal-lo/#H1 |website=Internet Encyclopedia of Philosophy |access-date=11 March 2023}} |
|||
* {{Chú thích web | url = http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2363716 | tiêu đề = Logikos | tên 1 = Henry George | họ 1 = Liddell | lk tác giả 1 = Henry Liddell | tên 2 = Robert | họ 2 = Scott | lk tác giả 2 = Robert Scott (philologist) | work = [[A Greek-English Lexicon]] | nhà xuất bản = [[Perseus Project]] | ngày truy cập = ngày 8 tháng 5 năm 2009}} |
|||
* {{cite book |last1=Berlemann |first1=Lars |last2=Mangold |first2=Stefan |title=Cognitive Radio and Dynamic Spectrum Access |date=10 July 2009 |publisher=John Wiley & Sons |isbn=978-0-470-75443-6 |page=194 |url=https://books.google.com/books?id=XUGN9tKTIiYC&pg=PA194 |language=en}} |
|||
* Mendelson, Elliott, (1964). ''Introduction to Mathematical Logic''. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. [http://worldcat.org/oclc/13580200 OCLC 13580200] |
|||
* {{cite book |last1=Berman |first1=Harold J. |title=Law and Revolution, the Formation of the Western Legal Tradition |date=1 July 2009 |publisher=Harvard University Press |isbn=978-0-674-02085-6 |url=https://books.google.com/books?id=9-8fIBVgCQYC&pg=PA133 |language=en}} |
|||
* {{Chú thích web | tên 1= Robert | họ 1 = Harper | url = http://www.etymonline.com/index.php?term=logic | tiêu đề = Logic | work = [[Online Etymology Dictionary]] | năm = 2001 | ngày truy cập = ngày 8 tháng 5 năm 2009}} |
|||
* {{cite book |last1=Bimbo |first1=Katalin |title=J. Michael Dunn on Information Based Logics |date=2 April 2016 |publisher=Springer |isbn=978-3-319-29300-4 |pages=8–9 |url=https://books.google.com/books?id=2cvtCwAAQBAJ&pg=PA8 |language=en}} |
|||
* [[Barry Smith (ontologist)|Smith, B.]], (1989). "Logic and the Sachverhalt". ''The Monist'' 72(1):52–69. |
|||
* {{cite book |last1=Blackburn |first1=Simon |author-link=Simon Blackburn |title=The Oxford Dictionary of Philosophy |date=1 January 2008 |publisher=Oxford University Press |isbn=978-0-19-954143-0 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095423356 |language=en |chapter=argument |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108194756/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095423356 |url-status=live }} |
|||
* [[Alfred North Whitehead|Whitehead, Alfred North]] và [[Bertrand Russell]], (1910). ''[[Principia Mathematica]]''. Cambridge University Press: Cambridge, England. [http://worldcat.org/oclc/1041146 OCLC 1041146] |
|||
* {{cite book |last1=Blackburn |first1=Simon |author-link=Simon Blackburn |title=The Oxford Dictionary of Philosophy |date=24 March 2016 |publisher=Oxford University Press |isbn=978-0-19-954143-0 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803100432990 |language=en |chapter=rule of inference |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108194809/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803100432990 |url-status=live }} |
|||
* [[Alexander of Aphrodisias]], ''In Aristotelis An. Pr. Lib. I Commentarium'', ed. Wallies, C.I.A.G. |
|||
* {{cite journal |last1=Blair |first1=J. Anthony |author1-link=J. Anthony Blair |last2=Johnson |first2=Ralph H. |title=The Current State of Informal Logic |journal=Informal Logic |year=1987 |volume=9 |issue=2 |doi=10.22329/il.v9i2.2671 |url=https://philpapers.org/rec/BLATCS |access-date=2 January 2022 |archive-date=30 December 2021 |archive-url=https://web.archive.org/web/20211230194638/https://philpapers.org/rec/BLATCS |url-status=live |pages=147–51|doi-access=free }} |
|||
* Avicenna, ''Avicennae Opera'' Venice 1508. |
|||
* {{cite journal |last1=Blair |first1=J. Anthony |author1-link=J. Anthony Blair |last2=Johnson |first2=Ralph H. |title=Informal Logic: An Overview |journal=Informal Logic |year=2000 |volume=20 |issue=2 |doi=10.22329/il.v20i2.2262 |url=https://philpapers.org/rec/BLAILA-3 |access-date=29 December 2021 |archive-date=9 December 2021 |archive-url=https://web.archive.org/web/20211209195317/https://philpapers.org/rec/BLAILA-3 |url-status=live |pages=93–107|doi-access=free }} |
|||
* Barwise, Jon, ed. (1982), ''Handbook of Mathematical Logic'', Studies in Logic and the Foundations of Mathematics, North Holland, ISBN 978-0-444-86388-1. |
|||
* {{cite book |last1=Blair |first1=J. Anthony |author-link=J. Anthony Blair |title=Groundwork in the Theory of Argumentation: Selected Papers of J. Anthony Blair |date=20 October 2011 |publisher=Springer Science & Business Media |isbn=978-94-007-2363-4 |page=47 |url=https://books.google.com/books?id=IM9p6GgnJAcC&pg=PA47 |language=en}} |
|||
* Beaney, Michael, ''The Frege Reader'', London: Blackwell 1997. |
|||
* {{cite web |last1=Bobzien |first1=Susanne |title=Ancient Logic: 2. Aristotle |url=https://plato.stanford.edu/entries/logic-ancient/#Ari |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=3 January 2022 |year=2020 |archive-date=28 August 2018 |archive-url=https://web.archive.org/web/20180828102117/https://plato.stanford.edu/entries/logic-ancient/#Ari |url-status=live }} |
|||
* [[Józef Maria Bocheński|Bochenski]], I.M., ''A History of Formal Logic'', Notre Dame press, 1961. |
|||
* {{cite book |editor1-last=Borchert |editor1-first=Donald |title=Macmillan Encyclopedia of Philosophy Volume 2 |edition=2nd |date=2006a |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |isbn=978-0-02-865782-0 |chapter=Computability Theory |pages=372–390}} |
|||
* [[Philotheus Boehner]], ''Medieval Logic'', Manchester 1950. |
|||
* {{cite book |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy Volume 4 |edition=2nd |date=2006b |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=Induction |access-date=4 January 2022 |archive-date=12 January 2021 |archive-url=https://web.archive.org/web/20210112065913/https://philpapers.org/rec/BORMEO |url-status=live |isbn=978-0-02-865784-4 |pages=635–648}} |
|||
* [[Boethius]] ''Commentary on the Perihermenias'', Secunda Editio, ed. Meiser. |
|||
* {{cite book |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy Volume 5 |edition= 2nd |date=2006c |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=Logic, Non-Classical |access-date=4 January 2022 |archive-date=12 January 2021 |archive-url=https://web.archive.org/web/20210112065913/https://philpapers.org/rec/BORMEO |url-status=live |isbn=978-0-02-865785-1 |pages=485–492}} |
|||
*[[Bernard Bolzano|Bolzano, Bernard]] ''Wissenschaftslehre'', 4 Bde Neudr., 2. verb, A. hrsg. W. Schultz, Leipzig I-II 1929, III 1930, IV 1931 (trans. as ''Theory of science, attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors.'' (Edited and translated by Rolf George University of California Press, Berkeley and Los Angeles 1972). |
|||
* {{cite book |last1=Boris |first1=Kulik |last2=Alexander |first2=Fridman |title=N-ary Relations for Logical Analysis of Data and Knowledge |date=30 November 2017 |publisher=IGI Global |isbn=978-1-5225-2783-1 |page=74 |url=https://books.google.com/books?id=afY-DwAAQBAJ&pg=PA74 |language=en}} |
|||
*Bolzano, Bernard ''Theory of science'' (Edited, with an introduction, by Jan Berg. Translated from the German by Burnham Terrell – D. Reidel Publishing Company, Dordrecht and Boston 1973). |
|||
* {{cite book |last1=Bridges |first1=Douglas |last2=Ishihara |first2=Hajime |last3=Rathjen |first3=Michael |last4=Schwichtenberg |first4=Helmut |title=Handbook of Constructive Mathematics |date=30 April 2023 |publisher=Cambridge University Press |isbn=978-1-316-51086-5 |pages=73–4 |url=https://books.google.com/books?id=IP-xEAAAQBAJ&pg=PA73 |language=en}} |
|||
* [[George Boole|Boole, George]] (1847) ''The Mathematical Analysis of Logic'' (Cambridge and London); repr. in ''Studies in Logic and Probability'', ed. [[Rush Rhees|R. Rhees]] (London 1952). |
|||
* {{cite book |last=Brody |first=Boruch A. |title=Encyclopedia of philosophy |date=2006 |publisher=Thomson Gale/Macmillan Reference US |others=Donald M. Borchert |isbn=978-0-02-865780-6 |edition=2nd |volume=5 |pages=535–536 |oclc=61151356 |quote=The two most important types of logical calculi are propositional (or sentential) calculi and functional (or predicate) calculi. A propositional calculus is a system containing propositional variables and connectives (some also contain propositional constants) but not individual or functional variables or constants. In the extended propositional calculus, quantifiers whose operator variables are propositional variables are added.}} |
|||
* Boole, George (1854) ''The Laws of Thought'' (London and Cambridge); repr. as ''Collected Logical Works''. Vol. 2, (Chicago and London: Open Court, 1940). |
|||
* {{cite book |last1=Bunnin |first1=Nicholas |last2=Yu |first2=Jiyuan |title=The Blackwell Dictionary of Western Philosophy |date=27 January 2009 |publisher=John Wiley & Sons |isbn=978-1-4051-9112-8 |page=179 |url=https://books.google.com/books?id=M7ZFEAAAQBAJ&pg=PA179 |language=en}} |
|||
*Jill Vance Buroker (transl. and introduction), ''Logic or the Art of Thinking'', Cambridge University Press, 1996, ISBN 0521482496. |
|||
* {{cite book |last1=Burgess |first1=John P. |author-link=John P. Burgess |title=Philosophical Logic |date=2009 |publisher=Princeton, NJ: Princeton University Press |url=https://philpapers.org/rec/BURPL-3 |chapter=1. Classical logic |pages=1–12 |access-date=4 January 2022 |archive-date=16 December 2021 |archive-url=https://web.archive.org/web/20211216143954/https://philpapers.org/rec/BURPL-3 |url-status=live |isbn=978-0-691-15633-0 }} |
|||
* [[Alonzo Church|Church, Alonzo]], 1936-8. "A bibliography of symbolic logic". ''Journal of Symbolic Logic 1'': 121–218; ''3'':178–212. |
|||
* {{cite book |last1=Bäck |first1=Allan T. |title=Aristotle's Theory of Predication |date=2016 |publisher=Brill|isbn=978-90-04-32109-0 |page=317 |url=https://books.google.com/books?id=KH2iDwAAQBAJ&pg=PA317 |language=en}} |
|||
*Ebbesen, S. "Early supposition theory (12th–13th Century)" ''Histoire, Épistémologie, Langage'' 3/1: 35–48 (1981). |
|||
* {{cite journal |last1=Calderbank |first1=Robert |last2=Sloane |first2=Neil J. A. |title=Claude Shannon (1916–2001) |journal=Nature |date=April 2001 |volume=410 |issue=6830 |pages=768 |doi=10.1038/35071223 |pmid=11298432 |s2cid=4402158 |language=en |issn=1476-4687|doi-access=free }} |
|||
* [[Epictetus]], ''Dissertationes'' ed. Schenkl. |
|||
* {{cite book |last1=Carnielli |first1=Walter |last2=Pizzi |first2=Claudio |title=Modalities and Multimodalities |date= 2008 |publisher=Springer Science & Business Media |isbn=978-1-4020-8590-1 |page=3 |url=https://books.google.com/books?id=XpAFM04G6BAC&pg=PA3 |language=en}} |
|||
* Farrington, B., ''The Philosophy of Francis Bacon'', Liverpool 1964. |
|||
* {{cite book |last1=Castaño |first1=Arnaldo Pérez |title=Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C# |date=23 May 2018 |publisher=Apress |isbn=978-1-4842-3357-3 |page=2 |url=https://books.google.com/books?id=SflcDwAAQBAJ&pg=PA2 |language=en}} |
|||
* Feferman, Anita B. (1999). "Alfred Tarski". American National Biography. 21. Oxford University Press. pp. 330–332. ISBN 9780195128000. |
|||
* {{cite journal |last1=Chakrabarti |first1=Kisor Kumar |title=Some Comparisons Between Frege's Logic and Navya-Nyaya Logic |journal=Philosophy and Phenomenological Research |date=June 1976 |volume=36 |issue=4 |pages=554–563 |doi=10.2307/2106873|jstor=2106873 }} |
|||
*{{Chú thích sách |
|||
* {{cite book |last1=Chatfield |first1=Tom |title=Critical Thinking: Your Guide to Effective Argument, Successful Analysis and Independent Study |date= 2017 |publisher=Sage |isbn=978-1-5264-1877-7 |page=194 |url=https://books.google.com/books?id=6Xg4DwAAQBAJ&pg=PA194 |language=en}} |
|||
|last1=Feferman |
|||
* {{cite journal |last1=Chua |first1=Eugene |title=An Empirical Route to Logical 'Conventionalism' |journal=Logic, Rationality, and Interaction |series=Lecture Notes in Computer Science |date=2017 |volume=10455 |pages=631–636 |doi=10.1007/978-3-662-55665-8_43|isbn=978-3-662-55664-1 |url=https://philpapers.org/rec/CHUAER }} |
|||
|first1=Anita B. |
|||
* {{cite book |last1=Clocksin |first1=William F. |last2=Mellish |first2=Christopher S. |title=Programming in Prolog: Using the ISO Standard |date=2003 |publisher=Springer |isbn=978-3-642-55481-0 |pages=237–257 |url=https://link.springer.com/chapter/10.1007/978-3-642-55481-0_10 |language=en |chapter=The Relation of Prolog to Logic|doi=10.1007/978-3-642-55481-0_10 }} |
|||
|first2=Solomon |
|||
* {{cite book |last1=Cook |first1=Roy T. |title=Dictionary of Philosophical Logic |date=2009 |publisher=Edinburgh University Press |isbn=978-0-7486-3197-1 |url=https://books.google.com/books?id=JfaqBgAAQBAJ&pg=PA124 |language=en |page=124}} |
|||
|last2=Feferman |
|||
* {{cite book |last1=Copi |first1=Irving M. |author1-link=Irving Copi |last2=Cohen |first2=Carl |last3=Rodych |first3=Victor |title=Introduction to Logic |date=2019 |publisher=Routledge |isbn=978-1-351-38697-5 |url=https://books.google.com/books?id=38bADwAAQBAJ |language=en}} |
|||
|authorlink2=Solomon Feferman |
|||
* {{cite book |last1=Coppock |first1=Elizabeth |last2=Champollion |first2=Lucas |year=2019 |title=Invitation to formal semantics |url=https://eecoppock.info/semantics-boot-camp.pdf |access-date=25 October 2021 |archive-date=21 January 2020 |archive-url=https://web.archive.org/web/20200121150204/http://eecoppock.info/semantics-boot-camp.pdf |url-status=live |pages=3–4}} |
|||
|title=Alfred Tarski: Life and Logic |
|||
* {{cite journal |last1=Corkum |first1=Philip |title=Generality and Logical Constancy |journal=Revista Portuguesa de Filosofia |year=2015 |volume=71 |issue=4 |pages=753–767 |doi=10.17990/rpf/2015_71_4_0753 |jstor=43744657 |issn=0870-5283}} |
|||
|url=https://archive.org/details/alfredtarskilife0000fefe |
|||
* {{cite book |last1=Craig |first1=Edward |author-link=Edward Craig (philosopher) |title=Routledge Encyclopedia of Philosophy |date=1996 |publisher=Routledge |url=https://philpapers.org/rec/BEAREO |access-date=29 December 2021 |archive-date=16 January 2021 |archive-url=https://web.archive.org/web/20210116111145/https://philpapers.org/rec/BEAREO |url-status=live |isbn=978-0-415-07310-3 }} |
|||
|year=2004 |
|||
* {{cite book |last1=Cummings |first1=Louise |title=The Routledge Pragmatics Encyclopedia |date= 2010 |publisher=Routledge |isbn=978-1-135-21457-9 |url=https://books.google.com/books?id=QXCLAgAAQBAJ&pg=PA1 |page=1 |language=en |chapter=Abduction |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171720/https://books.google.com/books?id=QXCLAgAAQBAJ |url-status=live }} |
|||
|publisher=[[Cambridge University Press]] |
|||
* {{cite web |last1=Cunningham |first1=Daniel |title=Set Theory |url=https://iep.utm.edu/set-theo/ |website=Internet Encyclopedia of Philosophy |access-date=23 September 2022}} |
|||
|isbn=9780521802406 |
|||
* {{cite journal |last1=D'Agostino |first1=Marcello |last2=Floridi |first2=Luciano |title=The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? |journal=Synthese |year=2009 |volume=167 |issue=2 |pages=271–315 |doi=10.1007/s11229-008-9409-4 |jstor=40271192 |hdl=2299/2995 |hdl-access=free |s2cid=9602882 |language=en |issn=0039-7857}} |
|||
|oclc=54691904 |
|||
* {{cite book |title=A Dictionary of Computing |isbn=978-0-19-923400-4 |last1=Daintith |first1=John |last2=Wright |first2=Edmund |date= 2008 |url=https://books.google.com/books?id=q_0YAQAAIAAJ |publisher=OUP}} |
|||
|ref=F-F |
|||
* {{cite book |last=van Dalen |first=Dirk |author-link=Dirk van Dalen |year=1994 |title=Logic and Structure|publisher=Springer |at= Chapter 1.5|isbn=978-0-387-57839-2}} |
|||
}}<!-- citation pasted from [[Alfred Tarski]] --> |
|||
* {{cite web |last1=Dasti |first1=Matthew R. |title=Nyaya |url=https://iep.utm.edu/nyaya/ |website=Internet Encyclopedia of Philosophy |access-date=12 March 2023 }} |
|||
* Frege, G., ''Boole's Logical Calculus and the Concept Script'', 1882, in ''Posthumous Writings transl. P.Long and R. White 1969, pp. 9–46. |
|||
* {{cite book |last1=Dick |first1=Anthony S. |last2=Müller |first2=Ulrich |title=Advancing Developmental Science: Philosophy, Theory, and Method |date= 2017 |publisher=Taylor & Francis |isbn=978-1-351-70456-4 |page=157 |url=https://books.google.com/books?id=KkgrDwAAQBAJ&pg=PA157 |language=en}} |
|||
* [[Dov Gabbay|Gabbay, Dov]] and John Woods, eds, ''Handbook of the History of Logic'' 2004. 1. Greek, Indian and Arabic logic; 2. Mediaeval and Renaissance logic; 3. The rise of modern logic: from Leibniz to Frege; 4. British logic in the Nineteenth century; 5. Logic from Russell to Church; 6. Sets and extensions in the Twentieth century (not yet published); 7. Logic and the modalities in the Twentieth century; 8. The many-valued and nonmonotonic turn in logic; 9. Logic and computation (not yet published); 10. Inductive logic (not yet published); 11. Logic: A history of its central concepts (not yet published) Elsevier, ISBN 0-444-51611-5. |
|||
* {{cite web |last1=Douven |first1=Igor |title=Abduction |url=https://plato.stanford.edu/entries/abduction/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |year=2021 |access-date=24 August 2021 |archive-date=7 September 2021 |archive-url=https://web.archive.org/web/20210907202119/https://plato.stanford.edu/entries/abduction/ |url-status=live }} |
|||
* Geach, P.T. ''Logic Matters'', Blackwell 1972. |
|||
* {{cite web |last1=Dowden |first1=Bradley |author-link=Bradley Dowden |title=Fallacies |url=https://iep.utm.edu/fallacy/ |website=Internet Encyclopedia of Philosophy |access-date=19 March 2021 |archive-date=29 April 2010 |archive-url=https://web.archive.org/web/20100429214410/https://iep.utm.edu/fallacy/ |url-status=live }} |
|||
* [[Joseph Diaz Gergonne|Gergonne, Joseph Diaz]], (1816) "''Essai de dialectique rationelle''", in ''Annales de mathem, pures et appl.'' 7, 1816/7, 189–228. |
|||
* {{cite book |last1=van Eemeren |first1=Frans H. |last2=Garssen |first2=Bart |title=Pondering on Problems of Argumentation: Twenty Essays on Theoretical Issues |date=2009 |publisher=Springer Science & Business Media |isbn=978-1-4020-9165-0 |page=191 |url=https://books.google.com/books?id=nk7cdPiF-j4C&pg=PA191 |language=en}} |
|||
*Goodman, Lenn Evan (2003). ''Islamic Humanism''. Oxford University Press, ISBN 0-19-513580-6. |
|||
* {{cite book |last1=van Eemeren |first1=Frans H. |last2=Garssen |first2=Bart |last3=Krabbe |first3=Erik C. W. |last4=Snoeck Henkemans |first4=A. Francisca |last5=Verheij |first5=Bart |last6=Wagemans |first6=Jean H. M. |title=Handbook of Argumentation Theory |date=2021 |publisher=Springer Netherlands |isbn=978-94-007-6883-3 |pages=1–45 |url=https://link.springer.com/referenceworkentry/10.1007%2F978-94-007-6883-3_7-1 |language=en |chapter=Informal Logic |doi=10.1007/978-94-007-6883-3_7-1 |access-date=2 January 2022 |archive-date=31 December 2021 |archive-url=https://web.archive.org/web/20211231172324/https://link.springer.com/referenceworkentry/10.1007/978-94-007-6883-3_7-1 |url-status=live |ref=CITEREFvan_EemerenGarssenKrabbeSnoeck_Henkemans}} |
|||
* Goodman, Lenn Evan (1992). ''Avicenna''. Routledge, ISBN 0-415-01929-X. |
|||
* {{cite book |last1=van Eemeren |first1=Frans H. |last2=Grootendorst |first2=Rob |last3=Johnson |first3=Ralph H. |last4=Plantin |first4=Christian |last5=Willard |first5=Charles A. |title=Fundamentals of Argumentation Theory: A Handbook of Historical Backgrounds and Contemporary Developments |date= 2013 |publisher=Routledge |isbn=978-1-136-68804-1 |page=169 |url=https://books.google.com/books?id=FXL_AQAAQBAJ&pg=PA169 |language=en|ref=CITEREFvan_EemerenGrootendorstJohnsonPlantin}} |
|||
* [[Ivor Grattan-Guinness|Grattan-Guinness, Ivor]], 2000. ''The Search for Mathematical Roots 1870–1940''. Princeton University Press. |
|||
* {{cite book |last1=Emmanuel |first1=Steven M. |title=A Companion to Buddhist Philosophy |date=2015 |publisher=John Wiley & Sons |isbn=978-1-119-14466-3 |pages=320–2 |url=https://books.google.com/books?id=P_lmCgAAQBAJ&pg=PA320 |language=en}} |
|||
* Gracia, J.G. and Noone, T.B., ''A Companion to Philosophy in the Middle Ages'', London 2003. |
|||
* {{cite book |last= Enderton |first= Herbert |author-link=Herbert Enderton |year=2001 |title=A Mathematical Introduction to Logic |publisher= Elsevier |isbn=978-0-12-238452-3 |url=https://books.google.com/books?id=dVncCl_EtUkC}} |
|||
* Haaparanta, Leila (ed.) 2009. ''The Development of Modern Logic'' Oxford University Press. |
|||
* {{cite book |last1=Engel |first1=S. Morris |title=With Good Reason an Introduction to Informal Fallacies |date=1982 |url=https://philpapers.org/rec/ENGWGR |access-date=2 January 2022 |archive-date=1 March 2022 |archive-url=https://web.archive.org/web/20220301065815/https://philpapers.org/rec/ENGWGR |url-status=live |isbn=978-0-312-08479-0 |publisher=St. Martin's Press}} |
|||
* [[T. L. Heath|Heath, T.L.]], 1949. ''Mathematics in Aristotle'' Oxford University Press. |
|||
* {{cite book |last1=Evans |first1=Jonathan St. B. T. |editor1-last=Morrison |editor1-first=Robert |title=The Cambridge Handbook of Thinking and Reasoning |date=2005 |publisher=Cambridge University Press |isbn=978-0-521-82417-0 |page=169 |chapter-url=https://books.google.com/books?id=znbkHaC8QeMC&pg=PA169 |language=en |chapter=8. Deductive Reasoning}} |
|||
*Heath, T.L., 1931, ''A Manual of Greek Mathematics'', Oxford (Clarendon Press). |
|||
* {{cite web |last1=Ewald |first1=William |title=The Emergence of First-Order Logic |url=https://plato.stanford.edu/entries/logic-firstorder-emergence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=12 March 2023 |date=2019}} |
|||
* Honderich, Ted (ed.). [[The Oxford Companion to Philosophy]] (New York: Oxford University Press, 1995) ISBN 0-19-866132-0. |
|||
* {{cite web |last1=Falguera |first1=José L. |last2=Martínez-Vidal |first2=Concha |last3=Rosen |first3=Gideon |title=Abstract Objects |url=https://plato.stanford.edu/entries/abstract-objects/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=7 January 2022 |year=2021 |archive-date=22 January 2021 |archive-url=https://web.archive.org/web/20210122003334/https://plato.stanford.edu/entries/abstract-objects/ |url-status=live }} |
|||
* Jevons, ''The Principles of Science'', London 1879. |
|||
* {{cite book |last1=Falikowski |first1=Anthony |last2=Mills |first2=Susan |title=Experiencing Philosophy |edition= 2nd |date= 2022 |publisher=Broadview Press |isbn=978-1-77048-841-0 |page=98 |url=https://books.google.com/books?id=WGOdEAAAQBAJ&pg=PA98 |language=en}} |
|||
* [[William Kneale (logician)|Kneale, William]] and Martha, 1962. ''The development of logic''. Oxford University Press, ISBN 0-19-824773-7. |
|||
* {{cite book |last1=Fisher |first1=Michael David |last2=Gabbay |first2=Dov M. |last3=Vila |first3=Lluis |title=Handbook of Temporal Reasoning in Artificial Intelligence |date=2005 |publisher=Elsevier |isbn=978-0-08-053336-0 |page=119 |url=https://books.google.com/books?id=Ajsvo6jWNhgC&pg=PA119 |language=en}} |
|||
* [[Jan Łukasiewicz|Lukasiewicz]], ''Aristotle's Syllogistic'', Oxford University Press 1951. |
|||
* {{cite book |last1=Fitch |first1=G. W. |title=Saul Kripke |date=18 December 2014 |publisher=Routledge |isbn=978-1-317-48917-7 |page=17 |url=https://books.google.com/books?id=4F7fBQAAQBAJ&pg=PA17 |language=en}} |
|||
* ''Ockham's Theory of Terms'': Part I of the [[Summa Logicae]], translated and introduced by Michael J. Loux (Notre Dame, IN: University of Notre Dame Press 1974). Reprinted: South Bend, IN: St. Augustine's Press, 1998. |
|||
* {{cite book |last1=Flotyński |first1=Jakub |title=Knowledge-Based Explorable Extended Reality Environments |date=7 December 2020 |publisher=Springer Nature |isbn=978-3-030-59965-2 |page=39 |url=https://books.google.com/books?id=EC4NEAAAQBAJ&pg=PA39 |language=en}} |
|||
* ''Ockham's Theory of Propositions'': Part II of the Summa Logicae, translated by Alfred J. Freddoso and Henry Schuurman and introduced by Alfred J. Freddoso (Notre Dame, IN: University of Notre Dame Press, 1980). Reprinted: South Bend, IN: St. Augustine's Press, 1998. |
|||
* {{cite book |last1=Font |first1=Josep Maria |last2=Jansana |first2=Ramon |title=A General Algebraic Semantics for Sentential Logics |date= 2017 |publisher=Cambridge University Press |isbn=978-1-107-16797-1 |page=8 |url=https://books.google.com/books?id=OjIoDgAAQBAJ&pg=PA8 |language=en}} |
|||
* [[Charles Sanders Peirce|Peirce, C.S.]], (1896), "The Regenerated Logic", ''The Monist'', [http://books.google.com/books?id=pa0LAAAAIAAJ&printsec=titlepage vol. VII], No. 1, p [http://books.google.com/books?id=pa0LAAAAIAAJ&pg=PA19 pp. 19]-40, The Open Court Publishing Co., Chicago, IL, 1896, for the Hegeler Institute. Reprinted (CP 3.425–455). ''Internet Archive'' [http://www.archive.org/details/monistquart07hegeuoft ''The Monist'' 7]. |
|||
* {{cite web |last1=Frede |first1=Michael |title=Aristotle |url=https://pages.mtu.edu/~pcharles/SCIHISTORY/aristotle.html |website=Michigan Technological University |access-date=1 November 2022}} |
|||
*[[Michael Potter]] (2004), ''Set Theory and its Philosophy'', Oxford Univ. Press. |
|||
* {{cite book |last1=Friend |first1=Michele |title=Introducing Philosophy of Mathematics |date= 2014 |publisher=Routledge |isbn=978-1-317-49379-2 |page=101 |url=https://books.google.com/books?id=DLfCBQAAQBAJ&pg=PA101 |language=en}} |
|||
* [[Sextus Empiricus]], ''Against the Grammarians (Adversos Mathematicos I)''. David Blank (trans.) (Oxford: Clarendon Press, 1998). ISBN 0-19-824470-3. |
|||
* {{cite book |last=Gamut |first=L.T.F. |author-link=L.T.F. Gamut |date=1991 |title= Logic, Language and Meaning Vol 1: Introduction to Logic |publisher= University of Chicago Press |at=5.5 |isbn=978-0-226-28085-1}} |
|||
*{{chú thích tạp chí|authorlink=Ernst Zermelo|first=Ernst|last= Zermelo|year=1908|title=Untersuchungen über die Grundlagen der Mengenlehre I|journal=Mathematische Annalen |volume=65|pages= 261–281|doi= 10.1007/BF01449999|issue=2}} English translation in {{Chú thích sách|authorlink=Jean van Heijenoort|first=Jean van|last= Heijenoort |year=1967 |title= From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 |url=https://archive.org/details/fromfregetogodel0000vanh|series=Source Books in the History of the Sciences |chapter=Investigations in the foundations of set theory|publisher=Harvard Univ. Press|pages=[https://archive.org/details/fromfregetogodel0000vanh/page/199 199]–215|isbn= 978-0674324497}}. |
|||
* {{cite web |last1=Garson |first1=James |title=Modal Logic |url=https://plato.stanford.edu/entries/logic-modal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2023}} |
|||
{{Refend}} |
|||
* {{cite book |last=Gensler |first=Harry J. |date=2006 |title=The A to Z of Logic |url=https://books.google.com/books?id=UxipDI4ZWs0C&pg=PR43 |pages=xliii–xliv |publisher=Scarecrow Press |isbn=978-1-4617-3182-5 |language=en }} |
|||
* {{cite book |last1=Goble |first1=Lou |title=The Blackwell Guide to Philosophical Logic |date=2001 |publisher=Wiley-Blackwell |url=https://philpapers.org/rec/GOBTBG-2 |chapter=Introduction |access-date=4 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184959/https://philpapers.org/rec/GOBTBG-2 |url-status=live |isbn=978-0-631-20692-7 |pages=1–8}} |
|||
* {{cite book |last1=Goertzel |first1=Ben |last2=Geisweiller |first2=Nil |last3=Coelho |first3=Lucio |last4=Janičić |first4=Predrag |last5=Pennachin |first5=Cassio |title=Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference |date=2 December 2011 |publisher=Springer Science & Business Media |isbn=978-94-91216-11-4 |pages=43–4 |url=https://books.google.com/books?id=g7UAIhnmJpsC&pg=PA43 |language=en|ref=CITEREFGoertzelGeisweillerCoelhoJaničić}} |
|||
* {{cite book |last1=Goodman |first1=Lenn Evan |title=Avicenna |date=1992 |publisher=Routledge |isbn=978-0-415-01929-3 |page=188}} |
|||
* {{cite book |last1=Goodman |first1=Lenn Evan |title=Islamic humanism |date=2003 |publisher=Oxford University Press |isbn=978-0-19-513580-0 |page=155}} |
|||
* {{cite web |last1=Groarke |first1=Louis F. |title=Aristotle: Logic |url=https://iep.utm.edu/aris-log/ |website=Internet Encyclopedia of Philosophy |access-date=1 January 2022 |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229235433/https://iep.utm.edu/aris-log/ |url-status=live }} |
|||
* {{cite web |last1=Groarke |first1=Leo |title=Informal Logic |url=https://plato.stanford.edu/entries/logic-informal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=31 December 2021 |year=2021 |archive-date=12 January 2022 |archive-url=https://web.archive.org/web/20220112030519/https://plato.stanford.edu/entries/logic-informal/ |url-status=live }} |
|||
* {{cite web |last1=Gómez-Torrente |first1=Mario |title=Logical Truth |url=https://plato.stanford.edu/entries/logical-truth/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=22 November 2021 |year=2019 |archive-date=2 October 2021 |archive-url=https://web.archive.org/web/20211002190110/https://plato.stanford.edu/entries/logical-truth/ |url-status=live }} |
|||
* {{cite book |last1=Gödel |first1=Kurt |editor1-last=Benacerraf |editor1-first=Paul |editor2-last=Putnam |editor2-first=Hilary |title=Philosophy of Mathematics: Selected Readings |date=1984 |publisher=Cambridge University Press |isbn=978-0-521-29648-9 |pages=447–469 |edition=2nd |url=https://www.cambridge.org/core/books/abs/philosophy-of-mathematics/russells-mathematical-logic/4D82F215FABFE06149D03EF1EF5BE7E4 |chapter=Russell's mathematical logic |access-date=9 January 2022 |archive-date=11 January 2022 |archive-url=https://web.archive.org/web/20220111091740/https://www.cambridge.org/core/books/abs/philosophy-of-mathematics/russells-mathematical-logic/4D82F215FABFE06149D03EF1EF5BE7E4 |url-status=live }} |
|||
* {{cite web |last1=Hájek |first1=Petr |title=Fuzzy Logic |url=https://plato.stanford.edu/Archives/Win2012/entries/logic-fuzzy/ |website=Stanford Encyclopedia of Philosophy |access-date=19 July 2023 |language=en |date=3 September 2006 |publisher=Metaphysics Research Lab, Stanford University}} |
|||
* {{cite journal |last1=Hájek |first1=Alan |last2=Lin |first2=Hanti |title=A Tale of Two Epistemologies? |journal=Res Philosophica |year=2017 |volume=94 |issue=2 |pages=207–232 |doi=10.11612/resphil.1540 |s2cid=160029122 |url=https://philpapers.org/rec/HJEATO |access-date=4 January 2022 |archive-date=4 January 2022 |archive-url=https://web.archive.org/web/20220104182746/https://philpapers.org/rec/HJEATO |url-status=live }} |
|||
* {{cite book |last1=Houde |first1=R. |last2=Camacho |first2=L. |title=New Catholic Encyclopedia |url=https://www.encyclopedia.com/science-and-technology/computers-and-electrical-engineering/electrical-engineering/induction |chapter=Induction |year=2003 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171720/https://www.encyclopedia.com/science-and-technology/computers-and-electrical-engineering/electrical-engineering/induction |url-status=live |isbn=978-0-7876-4004-0 }} |
|||
* {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Deviant Logic: Some Philosophical Issues |date=1974 |publisher=CUP Archive |isbn=978-0-521-20500-9 |page=51 |url=https://books.google.com/books?id=ANg8AAAAIAAJ&pg=PA51 |language=en}} |
|||
* {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Philosophy of Logics |date=1978 |publisher=London and New York: Cambridge University Press |url=https://philpapers.org/rec/HAAPOL-2 |chapter=1. 'Philosophy of logics' |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200551/https://philpapers.org/rec/HAAPOL-2 |url-status=live |isbn=978-0-521-29329-7 |pages=1–10}} |
|||
* {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Deviant Logic, Fuzzy Logic: Beyond the Formalism |date= 1996 |publisher=University of Chicago Press |isbn=978-0-226-31133-3 |url=https://books.google.com/books?id=qQMewsDjq1cC&pg=PA229 |language=en}} |
|||
* {{cite book |last1=Haaparanta |first1=Leila |title=The development of modern logic |date=2009 |publisher=Oxford University Press |isbn=978-0-19-513731-6 |pages=4–6 |chapter=1. Introduction}} |
|||
* {{cite web |last1=Hansen |first1=Hans |title=Fallacies |url=https://plato.stanford.edu/entries/fallacies/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=18 March 2021 |year=2020 |archive-date=29 March 2021 |archive-url=https://web.archive.org/web/20210329182946/https://plato.stanford.edu/entries/fallacies/ |url-status=live }} |
|||
* {{cite book |last1=Hartmann |first1=Stephan |last2=Sprenger |first2=Jan |title=The Routledge Companion to Epistemology |date=2010 |publisher=London: Routledge |pages=609–620 |url=https://philpapers.org/rec/BOVSIO |chapter=Bayesian Epistemology |access-date=4 January 2022 |archive-date=16 May 2021 |archive-url=https://web.archive.org/web/20210516095047/https://philpapers.org/rec/BOVSIO |url-status=live |isbn=978-0-415-96219-3 }} |
|||
* {{cite web |last1=Hasse |first1=Dag Nikolaus |title=Influence of Arabic and Islamic Philosophy on the Latin West |url=https://plato.stanford.edu/entries/arabic-islamic-influence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=19 July 2023 |date=2008}} |
|||
* {{cite web |last1=Hawthorne |first1=James |title=Inductive Logic |url=https://plato.stanford.edu/entries/logic-inductive/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=6 January 2022 |year=2021 |archive-date=21 January 2022 |archive-url=https://web.archive.org/web/20220121081805/https://plato.stanford.edu/entries/logic-inductive/ |url-status=live }} |
|||
* {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |title=Philosophy of logic |url=https://www.britannica.com/topic/philosophy-of-logic |website=Encyclopædia Britannica |access-date=21 November 2021 |language=en |archive-date=28 April 2015 |archive-url=https://web.archive.org/web/20150428101732/http://www.britannica.com/EBchecked/topic/346240/philosophy-of-logic |url-status=live |date=2019}} |
|||
* {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |title=Logical systems |url=https://www.britannica.com/topic/logic/Logical-systems |website=Encyclopædia Britannica |access-date=4 December 2021 |language=en |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184656/https://www.britannica.com/topic/logic/Logical-systems |url-status=live |date=2023}} |
|||
* {{cite journal |last1=Hintikka |first1=Jaakko |author-link=Jaakko Hintikka |title=Information, Deduction, and the A Priori |journal=Noûs |year=1970 |volume=4 |issue=2 |pages=135–152 |doi=10.2307/2214318 |jstor=2214318 |issn=0029-4624}} |
|||
* {{cite book |last1=Hintikka |first1=Jaakko |author-link=Jaakko Hintikka |last2=Sandu |first2=Gabriel |editor-last=Jacquette |editor-first=D. |title=Philosophy of Logic |date=2006 |publisher=North Holland |pages=13–39 |url=https://philpapers.org/rec/JAAWIL |chapter=What is Logic? |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207235525/https://philpapers.org/rec/JAAWIL |url-status=live |isbn=978-0-444-51541-4}} |
|||
* {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |last2=Spade |first2=Paul Vincent |title=History of logic |url=https://www.britannica.com/topic/history-of-logic |website=Encyclopædia Britannica |access-date=23 September 2022 |language=en}} |
|||
* {{cite book |last1=Honderich |first1=Ted |author-link=Ted Honderich |title=The Oxford Companion to Philosophy |date=2005 |publisher=Oxford University Press |url=https://philpapers.org/rec/HONTOC-2 |access-date=2 January 2022 |archive-date=29 January 2021 |archive-url=https://web.archive.org/web/20210129082636/https://philpapers.org/rec/HONTOC-2 |url-status=live |isbn=978-0-19-926479-7 }} |
|||
* {{cite book |last1=Hurley |first1=Patrick J. |title=Logic: The Essentials |date=2015 |publisher=Wadsworth |isbn=978-1-305-59041-0 |url=https://books.google.com/books?id=LtibjwEACAAJ |language=en |chapter=4. Categorical Syllogisms |pages=189–237 |access-date=4 January 2022 |archive-date=4 January 2022 |archive-url=https://web.archive.org/web/20220104182747/https://books.google.com/books?id=LtibjwEACAAJ |url-status=live }} |
|||
* {{cite web |last1=IEP Staff|title=Deductive and Inductive Arguments |url=https://iep.utm.edu/ded-ind/ |access-date=6 January 2022 |archive-date=28 May 2010 |archive-url=https://web.archive.org/web/20100528032124/https://iep.utm.edu/ded-ind/ |url-status=live }} |
|||
* {{cite book |last1=Iqbal |first1=Mohammad |title=The Reconstruction of Religious Thought in Islam |date=2013 |publisher=Stanford University Press |isbn=978-0-8047-8686-7 |pages=99–115 |url=http://www.allamaiqbal.com/works/prose/english/reconstruction/ |language=en |chapter=The Spirit of Muslim Culture}} |
|||
* {{cite web |last1=Irvine |first1=Andrew David |title=Bertrand Russell |url=https://plato.stanford.edu/entries/russell/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=29 September 2022 |date=2022}} |
|||
* {{cite book |last1=Jacquette |first1=Dale |title=Philosophy of Logic |date=2006 |publisher=North Holland |url=https://philpapers.org/rec/JACPOL |chapter=Introduction: Philosophy of logic today |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184932/https://philpapers.org/rec/JACPOL |url-status=live |isbn=978-0-444-51541-4 |pages=1–12}} |
|||
* {{cite book |last1=Jago |first1=Mark |title=The Impossible: An Essay on Hyperintensionality |date= 2014 |publisher=OUP Oxford |isbn=978-0-19-101915-9 |page=41 |url=https://books.google.com/books?id=ISqTAwAAQBAJ&pg=PA41 |language=en}} |
|||
* {{cite web |last1=Janssen |first1=Theo M. V. |last2=Zimmermann |first2=Thomas Ede |title=Montague Semantics |url=https://plato.stanford.edu/entries/montague-semantics/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=10 March 2023 |date=2021 |pages=3–4}} |
|||
* {{cite journal |last1=Johnson |first1=Ralph H. |title=The Relation Between Formal and Informal Logic |journal=Argumentation |year=1999 |volume=13 |issue=3 |pages=265–274 |doi=10.1023/A:1007789101256 |s2cid=141283158 |url=https://philpapers.org/rec/JOHTRB-2 |access-date=2 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184706/https://philpapers.org/rec/JOHTRB-2 |url-status=live }} |
|||
* {{cite book |last1=Johnson |first1=Ralph H. |title=The Rise of Informal Logic: Essays on argumentation, critical thinking, reasoning and politics |date=15 July 2014 |publisher=University of Windsor |isbn=978-0-920233-71-9 |url=https://books.google.com/books?id=ZFCaBQAAQBAJ&pg=PA181 |language=en}} |
|||
* {{cite book |last1=Ketland |first1=Jeffrey |title=Macmillan Encyclopedia of Philosophy Volume 8 |date=2005 |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/second-order-logic |chapter=Second Order Logic |access-date=4 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184921/https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/second-order-logic |url-status=live |isbn=978-0-02-865788-2 |pages=707–708}} |
|||
* {{cite journal |last1=King |first1=Jeffrey C. |title=Formal Semantics |journal=The Oxford Handbook of Philosophy of Language |date=2 September 2009 |pages=557–8 |doi=10.1093/oxfordhb/9780199552238.003.0023|isbn=978-0-19-955223-8 }} |
|||
* {{cite web |last1=King |first1=Jeffrey C. |title=Structured Propositions |url=https://plato.stanford.edu/entries/propositions-structured/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2019 |archive-date=25 October 2021 |archive-url=https://web.archive.org/web/20211025211706/https://plato.stanford.edu/entries/propositions-structured/ |url-status=live }} |
|||
* {{cite web |last1=Klement |first1=Kevin C. |title=Frege, Gottlob |url=https://iep.utm.edu/frege/ |website=Internet Encyclopedia of Philosophy |access-date=29 September 2022|year=1995a|issn= 2161-0002}} |
|||
* {{cite web |last1=Klement |first1=Kevin C. |title=Propositional Logic |url=https://iep.utm.edu/prop-log/ |website=Internet Encyclopedia of Philosophy |access-date=23 September 2022|year=1995b|issn= 2161-0002}} |
|||
* {{Cite book |last=Kline |first=Morris |title=Mathematical Thought From Ancient to Modern Times |publisher=Oxford University Press |year=1972 |isbn=978-0-19-506135-2}} |
|||
* {{cite book |last1=Kneale |first1=William |author-link=William Kneale |last2=Kneale |first2=Martha |title=The Development of Logic |date=1962 |publisher=Clarendon Press |url=https://books.google.com/books?id=FtXAwgy1w9cC |language=en|isbn=978-0-19-824773-9}} |
|||
* {{cite book |last1=Knuuttila |first1=Simo |title=Reforging the Great Chain of Being: Studies of the History of Modal Theories |date= 1980 |publisher=Springer Science & Business Media |isbn=978-90-277-1125-0 |page=71 |url=https://books.google.com/books?id=iCCUF_OtA8AC&pg=PA71 |language=en}} |
|||
* {{cite journal |last1=Korb |first1=Kevin |title=Bayesian Informal Logic and Fallacy |journal=Informal Logic |year=2004 |volume=24 |issue=1 |pages=41–70 |doi=10.22329/il.v24i1.2132 |url=https://philpapers.org/rec/KORBIL |access-date=2 January 2022 |archive-date=10 November 2021 |archive-url=https://web.archive.org/web/20211110075255/https://philpapers.org/rec/KORBIL |url-status=live |doi-access=free }} |
|||
* {{cite book |last1=Koslowski |first1=Barbara |title=The Routledge International Handbook of Thinking and Reasoning |date=2017 |publisher=Routledge |isbn=978-1-315-72569-7 |chapter-url=https://www.taylorfrancis.com/chapters/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski |chapter=Abductive reasoning and explanation |doi=10.4324/9781315725697 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108225144/https://www.taylorfrancis.com/chapters/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski |url-status=live |pages=366–382}} |
|||
* {{cite web |last1=Kusch |first1=Martin |title=Psychologism |url=https://plato.stanford.edu/entries/psychologism/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=30 November 2021 |year=2020 |archive-date=29 December 2020 |archive-url=https://web.archive.org/web/20201229220156/https://plato.stanford.edu/entries/psychologism/ |url-status=live }} |
|||
* {{cite web |last1=Lagerlund |first1=Henrik |title=Review of The Aftermath of Syllogism: Aristotelian Logical Argument from Avicenna to Hegel |url=https://ndpr.nd.edu/reviews/the-aftermath-of-syllogism-aristotelian-logical-argument-from-avicenna-to-hegel/ |website=Notre Dame Philosophical Reviews |access-date=19 July 2023 |language=en |date=27 September 2018}} |
|||
* {{cite book |last1=Lear |first1=Jonathan |title=Aristotle and Logical Theory |date=1980 |publisher=CUP Archive |isbn=978-0-521-31178-6 |page=34 |url=https://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA34 |language=en}} |
|||
* {{cite book |last1=Leary |first1=Christopher C. |last2=Kristiansen |first2=Lars |title=A Friendly Introduction to Mathematical Logic |date=2015 |publisher=Suny |isbn=978-1-942341-07-9 |page=195 |url=https://books.google.com/books?id=3BVjCgAAQBAJ&pg=PA195 |language=en}} |
|||
* {{cite book |last1=Lepore |first1=Ernest |last2=Cumming |first2=Sam |title=Meaning and Argument: An Introduction to Logic Through Language |date=14 September 2012 |publisher=John Wiley & Sons |isbn=978-1-118-45521-0 |page=5 |url=https://books.google.com/books?id=qro2OxrTyIEC&pg=PA5 |language=en}} |
|||
* {{cite book |last1=Li |first1=Wei |title=Mathematical Logic: Foundations for Information Science |date=26 February 2010 |publisher=Springer Science & Business Media |isbn=978-3-7643-9977-1 |page=ix |url=https://books.google.com/books?id=u927rHHmylAC&pg=PP8 |language=en}} |
|||
* {{cite book |last1=Linsky |first1=Bernard |title=The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes|edition=2nd |date=2011 |publisher=Cambridge University Press |isbn=978-1-139-49733-6 |page=4 |url=https://books.google.com/books?id=EHCMuK4gS-MC&pg=PA4 |language=en}} |
|||
* {{cite book |last1=Liu |first1=Shiyong |last2=Guo |first2=Kaizhong |title=Error Logic: Paving Pathways for Intelligent Error Identification and Management |date=7 March 2023 |publisher=Springer Nature |isbn=978-3-031-00820-7 |page=15 |url=https://books.google.com/books?id=IJyyEAAAQBAJ&pg=PA15 |language=en}} |
|||
* {{cite book |last=Łukasiewicz |first=Jan |title=Aristotle's syllogistic from the standpoint of modern formal logic |publisher=Oxford University Press |year=1957 |edition=2nd |page=7 |author-link=Jan Łukasiewicz}} |
|||
* {{cite web |last1=MacFarlane |first1=John |title=Logical Constants |url=https://plato.stanford.edu/entries/logical-constants/#SynTer |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=21 November 2021 |year=2017 |archive-date=17 March 2020 |archive-url=https://web.archive.org/web/20200317180221/https://plato.stanford.edu/entries/logical-constants/#SynTer |url-status=live }} |
|||
* {{cite web |last1=Mackie |first1=J. L. |author-link=J. L. Mackie |title=Fallacies |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/fallacies |website=encyclopedia.com |access-date=19 March 2021 |year=1967 |archive-date=15 April 2021 |archive-url=https://web.archive.org/web/20210415101134/https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/fallacies |url-status=live }} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |pages=8–9}} |
|||
<!-- * {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=1.5 Other logical notions |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |page=10}} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=1.6 Formal languages |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |pages=12-4}} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=2.2 Connectives |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 }} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=3. Truth tables |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |pages=35–45 }} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=4 Quantified logic |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 }} |
|||
* {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |chapter=6 Proofs |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |page=102}} --> |
|||
* {{cite book |last1=Makridis |first1=Odysseus |title=Symbolic Logic |date=2022 |publisher=Springer Nature |isbn=978-3-030-67396-3 |pages=1–2 |url=https://books.google.com/books?id=DoBgEAAAQBAJ&pg=PA1 |language=en}} |
|||
* {{cite book |last1=Maltby |first1=John |last2=Day |first2=Liz |last3=Macaskill |first3=Ann |title=Personality, Individual Differences and Intelligence |date=2007 |publisher=Prentice Hall |isbn=978-0-13-129760-9 |url=https://books.google.com/books?id=ZQeONk1DyJUC&pg=PA564 |language=en}} |
|||
* {{cite web |last1=Marenbon |first1=John |title=Anicius Manlius Severinus Boethius |url=https://plato.stanford.edu/entries/boethius/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2021}} |
|||
* {{cite web |last1=McKeon |first1=Matthew |title=Logical Consequence |url=https://iep.utm.edu/logcon/ |website=Internet Encyclopedia of Philosophy |access-date=20 November 2021 |archive-date=12 November 2021 |archive-url=https://web.archive.org/web/20211112071437/https://iep.utm.edu/logcon/ |url-status=live }} |
|||
* {{cite web |last1=Michaelson |first1=Eliot |last2=Reimer |first2=Marga |title=Reference |url=https://plato.stanford.edu/entries/reference/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2019 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184705/https://plato.stanford.edu/entries/reference/ |url-status=live }} |
|||
* {{cite book |last1=Mills |first1=Ethan |title=Three Pillars of Skepticism in Classical India: Nagarjuna, Jayarasi, and Sri Harsa |date=2018 |publisher=Rowman & Littlefield |isbn=978-1-4985-5570-8 |page=121 |url=https://books.google.com/books?id=sGhqDwAAQBAJ&pg=PA121 |language=en |quote=... for Nyāya all inference is ultimately rooted in perception ... Naiyāyikas typically accept four means of knowledge: perception, inference, comparison, and testimony.}} |
|||
* {{cite book |last1=Monk |first1=J. Donald |title=Mathematical Logic |date=1976 |publisher=Springer |isbn=978-1-4684-9452-5 |pages=1–9 |url=https://link.springer.com/chapter/10.1007/978-1-4684-9452-5_1 |language=en |chapter=Introduction |doi=10.1007/978-1-4684-9452-5_1 |access-date=9 January 2022 |archive-date=9 January 2022 |archive-url=https://web.archive.org/web/20220109131251/https://link.springer.com/chapter/10.1007/978-1-4684-9452-5_1 |url-status=live }} |
|||
* {{cite book |last1=Moore |first1=Kevin |last2=Cromby |first2=John |title=How Best to 'Go On'? Prospects for a 'Modern Synthesis' in the Sciences of Mind |date=8 August 2016 |publisher=Frontiers Media SA |isbn=978-2-88919-906-8 |page=60 |url=https://books.google.com/books?id=rf8uDwAAQBAJ&pg=PA60 |language=en}} |
|||
* {{cite book |last1=Moore |first1=Terence |last2=Carling |first2=Christine |title=Understanding Language: Towards a Post-Chomskyan Linguistics |date= 1982 |publisher=Springer |isbn=978-1-349-16895-8 |page=53 |url=https://books.google.com/books?id=7tGvCwAAQBAJ&pg=PA53 |language=en}} |
|||
* {{cite web |last1=Moschovakis |first1=Joan |title=Intuitionistic Logic |url=https://plato.stanford.edu/entries/logic-intuitionistic/ |website=The Stanford Encyclopedia of Philosophy: Introduction |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2022}} |
|||
* {{cite web |last1=Nolt |first1=John |title=Free Logic: 1. The Basics |url=https://plato.stanford.edu/entries/logic-free/#1 |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=10 September 2022 |year=2021}} |
|||
* {{cite book |last1=Nunes |first1=Terezinha |editor1-last=Seel |editor1-first=Norbert M. |title=Encyclopedia of the Sciences of Learning |date= 2011 |publisher=Springer Science & Business Media |isbn=978-1-4419-1427-9 |url=https://books.google.com/books?id=xZuSxo4JxoAC |language=en |pages=2066–9 |chapter=Logical Reasoning and Learning}} |
|||
* {{cite book |last1=O'Regan |first1=Gerard |title=Introduction to the History of Computing: A Computing History Primer |date= 2016 |publisher=Springer |isbn=978-3-319-33138-6 |page=49 |url=https://books.google.com/books?id=6u16DAAAQBAJ&pg=PA49 |language=en}} |
|||
* {{cite book |last1=Oaksford |first1=Mike |last2=Chater |first2=Nick |title=Bayesian Rationality: The Probabilistic Approach to Human Reasoning |date= 2007 |publisher=OUP Oxford |isbn=978-0-19-852449-6 |page=47 |url=https://books.google.com/books?id=sLetNgiU7ugC&pg=PA47 |language=en}} |
|||
* {{cite book |last1=Okeke |first1=Johnathan Chimakonam |title=Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First Order Logic |publisher=Universal-Publishers |isbn=978-1-61233-951-1 |page=122 |url=https://books.google.com/books?id=IZdwrKbXGAkC&pg=PA122 |date=2012 |language=en}} |
|||
* {{cite book |last1=Olsson |first1=Erik J. |title=Introduction to Formal Philosophy |date=2018 |publisher=Springer |pages=431–442 |url=https://philpapers.org/rec/OLSBE |chapter=Bayesian Epistemology |access-date=4 January 2022 |archive-date=16 May 2021 |archive-url=https://web.archive.org/web/20210516095057/https://philpapers.org/rec/OLSBE |url-status=live |isbn=978-3-030-08454-7 }} |
|||
* {{cite web |author=Online Etymology Staff |title=logic |url=https://www.etymonline.com/word/logic?ref=etymonline_crossreference |website=etymonline.com |access-date=29 December 2021 |language=en |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229134626/https://www.etymonline.com/word/logic?ref=etymonline_crossreference |url-status=live }} |
|||
* {{cite book |last1=Partee |first1=Barbara H. |editor1-last=Aloni |editor1-first=Maria |editor2-last=Dekker |editor2-first=Paul |title=The Cambridge handbook of formal semantics |date=2016 |publisher=Cambridge University Press |isbn=978-1-107-02839-5}} |
|||
* {{cite journal |last1=Paulson |first1=Lawrence C. |title=Computational logic: its origins and applications |journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences |date=February 2018 |volume=474 |issue=2210 |pages=1–14 |doi=10.1098/rspa.2017.0872|pmid=29507522 |pmc=5832843 |arxiv=1712.04375 |bibcode=2018RSPSA.47470872P |s2cid=3805901 }} |
|||
* {{cite journal |last1=Pedemonte |first1=Bettina |title=Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof |journal=Eurasia Journal of Mathematics, Science and Technology Education |date=25 June 2018 |volume=14 |issue=9 |pages=1–17 |doi=10.29333/ejmste/92562 |s2cid=126245285 |url=https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |language=english |issn=1305-8215 |access-date=8 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207195246/https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |url-status=live |doi-access=free }} |
|||
* {{cite journal |last1=Pickel |first1=Bryan |title=Structured propositions and trivial composition |journal=Synthese |date=1 July 2020 |volume=197 |issue=7 |pages=2991–3006 |doi=10.1007/s11229-018-1853-1 |s2cid=49729020 |language=en |issn=1573-0964 |doi-access=free }} |
|||
* {{cite web |last1=Pietroski |first1=Paul |title=Logical Form: 1. Patterns of Reason |url=https://plato.stanford.edu/entries/logical-form/#pat |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2021 |archive-date=2 October 2021 |archive-url=https://web.archive.org/web/20211002190116/https://plato.stanford.edu/entries/logical-form/#pat |url-status=live }} |
|||
* {{cite book |last1=Planty-Bonjour |first1=Guy |title=The Categories of Dialectical Materialism: Contemporary Soviet Ontology |date= 2012 |publisher=Springer Science & Business Media |isbn=978-94-010-3517-0 |page=62 |url=https://books.google.com/books?id=0EpFBgAAQBAJ&pg=PA62 |language=en}} |
|||
* {{cite journal |last1=Possin |first1=Kevin |title=Conductive Arguments: Why is This Still a Thing? |journal=Informal Logic |year=2016 |volume=36 |issue=4 |pages=563–593 |doi=10.22329/il.v36i4.4527 |url=https://philpapers.org/rec/POSCAW-4 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171723/https://philpapers.org/rec/POSCAW-4 |url-status=live |doi-access=free }} |
|||
* {{cite web |last1=Priest |first1=Graham |last2=Tanaka |first2=Koji |last3=Weber |first3=Zach |title=Paraconsistent Logic |url=https://plato.stanford.edu/entries/logic-paraconsistent/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=14 December 2021 |year=2018}} |
|||
* {{cite book |last1=Pépin |first1=Jean |title=Encyclopedia of Religion |url=https://www.encyclopedia.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/logos |chapter=Logos |year=2004 |access-date=29 December 2021 |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229134626/https://www.encyclopedia.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/logos |url-status=live |isbn=978-0-02-865733-2}} |
|||
* {{cite journal |last=Putnam |first=H. |author-link=Hilary Putnam |year=1969 |title=[[Is Logic Empirical?]] |journal=Boston Studies in the Philosophy of Science |volume=5|pages=216–241 |doi=10.1007/978-94-010-3381-7_5 |isbn=978-94-010-3383-1 }} |
|||
* {{cite book |last1=Quine |first1=Willard Van Orman |author-link=Willard Van Orman Quine |title=Mathematical Logic |date=1981 |publisher=Harvard University Press |isbn=978-0-674-55451-1 |page=1 |url=https://books.google.com/books?id=GTr1aHN17EUC&pg=PA1 |language=en}} |
|||
* {{cite web |last1=Rathjen |first1=Michael |last2=Sieg |first2=Wilfried |title=Proof Theory |url=https://plato.stanford.edu/entries/proof-theory/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 March 2023 |date=2022}} |
|||
* {{cite book |last1=Rautenberg |first1=Wolfgang |title=A Concise Introduction to Mathematical Logic |date=1 July 2010 |publisher=Springer |isbn=978-1-4419-1221-3 |page=15 |url=https://books.google.com/books?id=vMwixYpQTocC&pg=PR15 |language=en}} |
|||
* {{cite web |last1=Rendsvig |first1=Rasmus |last2=Symons |first2=John |title=Epistemic Logic |url=https://plato.stanford.edu/entries/logic-epistemic/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2021}} |
|||
* {{cite book |last1=Restall |first1=Greg |last2=Standefer |first2=Shawn |title=Logical Methods |date= 2023 |publisher=MIT Press |isbn=978-0-262-54484-9 |pages=91 |url=https://books.google.com/books?id=IJVnEAAAQBAJ&pg=PA91|language=en}} |
|||
* {{cite book |last1=Richardson |first1=Alan W. |title=Carnap's Construction of the World: The Aufbau and the Emergence of Logical Empiricism |date=1998 |publisher=Cambridge University Press |isbn=978-0-521-43008-1 |page=15 |url=https://books.google.com/books?id=Nxdq7EDm5QAC&pg=PA15 |language=en}} |
|||
* {{cite journal |last1=Ritola |first1=Juho |title=Walton's Informal Logic: A Pragmatic Approach |journal=Informal Logic |date=1 December 2008 |volume=28 |issue=4 |pages=335 |doi=10.22329/il.v28i4.2856|doi-access=free }} |
|||
* {{cite journal |last1=Rošker |first1=Jana S. |title=Classical Chinese Logic: Philosophy Compass |journal=Philosophy Compass |date=May 2015 |volume=10 |issue=5 |pages=301–309 |doi=10.1111/phc3.12226}} |
|||
* {{cite book |last1=Runco |first1=Mark A. |last2=Pritzker |first2=Steven R. |title=Encyclopedia of Creativity |date= 1999 |publisher=Academic Press |isbn=978-0-12-227075-8 |page=155 |url=https://books.google.com/books?id=cpc7CJH1-s8C&pg=RA1-PA155 |language=en}} |
|||
* {{cite book |last1=Rush |first1=Penelope |title=The Metaphysics of Logic |date=2014 |publisher=Cambridge University Press |url=https://philpapers.org/rec/RUSTMO-4 |chapter=Introduction |access-date=8 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184954/https://philpapers.org/rec/RUSTMO-4 |url-status=live |isbn=978-1-107-03964-3 |pages=1–10 }} |
|||
* {{cite book |last1=Sadegh-Zadeh |first1=Kazem |title=Handbook of Analytic Philosophy of Medicine |date= 2015 |publisher=Springer |isbn=978-94-017-9579-1 |page=983 |url=https://books.google.com/books?id=Ui8GCAAAQBAJ&pg=PA983 |language=en}} |
|||
* {{cite journal |last1=Sagüillo |first1=José M. |title=Hintikka on Information and Deduction |journal=Teorema: Revista Internacional de Filosofía |year=2014 |volume=33 |issue=2 |pages=75–88 |jstor=43047609 |issn=0210-1602}} |
|||
* {{cite book |last1=Sarukkai |first1=Sundar |last2=Chakraborty |first2=Mihir Kumar |title=Handbook of Logical Thought in India |date= 2022 |publisher=Springer Nature |isbn=978-81-322-2577-5 |pages=117–8 |url=https://books.google.com/books?id=V1qaEAAAQBAJ&pg=PA117 |language=en}} |
|||
* {{cite web |last1=Schagrin |first1=Morton L. |title=metalogic |url=https://www.britannica.com/topic/metalogic |website=Encyclopædia Britannica |access-date=23 September 2022 |language=en}} |
|||
* {{cite web |last1=Schechter |first1=Joshua |title=Epistemology of Logic – Bibliography – PhilPapers |url=https://philpapers.org/browse/epistemology-of-logic |website=philpapers.org |access-date=11 September 2022}} |
|||
* {{cite book |last1=Schlesinger |first1=I. M. |last2=Keren-Portnoy |first2=Tamar |last3=Parush |first3=Tamar |title=The Structure of Arguments |date=1 January 2001 |publisher=John Benjamins Publishing |isbn=978-90-272-2359-3 |page=220 |url=https://books.google.com/books?id=RH82v_yzWzkC&pg=PA220 |language=en}} |
|||
* {{cite book |last1=Schreiner |first1=Wolfgang |title=Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions |date= 2021 |publisher=Springer Nature |isbn=978-3-030-80507-4 |page=22 |url=https://books.google.com/books?id=I-VJEAAAQBAJ&pg=PR22 |language=en}} |
|||
* {{cite book |last1=Scott |first1=John |last2=Marshall |first2=Gordon |title=A Dictionary of Sociology |date=2009 |publisher=Oxford University Press |isbn=978-0-19-953300-8 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095410661 |language=en |chapter=analytic induction |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108173225/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095410661 |url-status=live }} |
|||
* {{cite web |last1=Shapiro |first1=Stewart |last2=Kouri Kissel |first2=Teresa |title=Classical Logic |url=https://plato.stanford.edu/entries/logic-classical/#Sema |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=19 July 2023 |date=2022}} |
|||
* {{cite book |last1=Shermer |first1=Michael |title=Conspiracy: Why the Rational Believe the Irrational |date=25 October 2022 |publisher=JHU Press |isbn=978-1-4214-4445-1 |url=https://books.google.com/books?id=Ztx9EAAAQBAJ&pg=PA136 |language=en}} |
|||
* {{cite book |last=Sider |first=Theodore |author-link=Theodore Sider |year=2010 |title=Logic for Philosophy|publisher=Oxford University Press |isbn=978-0-19-957558-9}} |
|||
* {{cite journal |last1=Siegel |first1=Harvey |last2=Biro |first2=John |title=Epistemic Normativity, Argumentation, and Fallacies |journal=Argumentation |year=1997 |volume=11 |issue=3 |pages=277–292 |doi=10.1023/A:1007799325361 |s2cid=126269789 |url=https://philpapers.org/rec/SIEENA |access-date=4 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228035651/https://philpapers.org/rec/SIEENA |url-status=live }} |
|||
* {{cite book |last1=Simpson |first1=R. L. |title=Essentials of Symbolic Logic |edition=3rd|date=2008 |publisher=Broadview Press |isbn=978-1-77048-495-5 |page=14 |url=https://books.google.com/books?id=w2doAwAAQBAJ&pg=PA14 |language=en}} |
|||
* {{cite web |last1=Smith |first1=Robin |title=Aristotle's Logic |url=https://plato.stanford.edu/entries/aristotle-logic/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2022}} |
|||
* {{cite web |last1=Spade |first1=Paul Vincent |last2=Panaccio |first2=Claude |title=William of Ockham |url=https://plato.stanford.edu/entries/ockham/#SummLogi |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University | date=2019}} |
|||
* {{cite book |last1=Spriggs |first1=John |title=GSN – The Goal Structuring Notation: A Structured Approach to Presenting Arguments |date=2012 |publisher=Springer Science & Business Media |isbn=978-1-4471-2312-5 |page=20–22 |url=https://books.google.com/books?id=-kktetZcMHcC&pg=PA20 |language=en}} |
|||
* {{cite book |last1=Stairs |first1=Allen |title=A Thinker's Guide to the Philosophy of Religion |year= 2017 |publisher=Routledge |isbn=978-1-351-21981-5 |page=343 |url=https://books.google.com/books?id=Km1QDwAAQBAJ&pg=PA343 |language=en}} |
|||
* {{cite web |last1=Sternberg |first1=Robert J. |title=Thought |url=https://www.britannica.com/topic/thought |website=Encyclopædia Britannica |access-date=14 October 2021 |language=en |archive-date=13 October 2021 |archive-url=https://web.archive.org/web/20211013145532/https://www.britannica.com/topic/thought |url-status=live }} |
|||
* {{cite book |last1=Stolyar |first1=Abram Aronovich |title=Introduction to Elementary Mathematical Logic |date=1 January 1984 |publisher=Courier Corporation |isbn=978-0-486-64561-2 |url=https://books.google.com/books?id=B2ct31jcf7UC&pg=PA2 |language=en}} |
|||
* {{cite journal |last1=Stone |first1=Mark A. |title=Denying the Antecedent: Its Effective Use in Argumentation |journal=Informal Logic |year=2012 |volume=32 |issue=3 |pages=327–356 |doi=10.22329/il.v32i3.3681 |url=https://philpapers.org/rec/STODTA |access-date=8 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228123240/https://philpapers.org/rec/STODTA |url-status=live |doi-access=free }} |
|||
* {{cite web |last1=Stump |first1=David J. |title=Fallacy, Logical |url=https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |website=encyclopedia.com |access-date=20 March 2021 |archive-date=15 February 2021 |archive-url=https://web.archive.org/web/20210215112403/https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |url-status=live }} |
|||
* {{cite web |last1=Talbott |first1=William |title=Bayesian Epistemology |url=https://plato.stanford.edu/entries/epistemology-bayesian/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=6 March 2021 |year=2016 |archive-date=1 April 2021 |archive-url=https://web.archive.org/web/20210401034856/https://plato.stanford.edu/entries/epistemology-bayesian/ |url-status=live }} |
|||
* {{cite book |last1=Tarski |first1=Alfred |author-link=Alfred Tarski |title=Introduction to Logic and to the Methodology of the Deductive Sciences |date=1994 |publisher=Oxford University Press |isbn=978-0-19-802139-1 |page=40 |url=https://books.google.com/books?id=ehwo-5FkPXcC&pg=PA40 |language=en}} |
|||
* {{cite book |last1=Tondl |first1=L. |title=Problems of Semantics: A Contribution to the Analysis of the Language Science |date= 2012 |publisher=Springer Science & Business Media |isbn=978-94-009-8364-9 |page=111 |url=https://books.google.com/books?id=SY59CAAAQBAJ&pg=PA111 |language=en}} |
|||
* {{cite book |last1=Velleman |first1=Daniel J. |title=How to Prove It: A Structured Approach |date= 2006 |publisher=Cambridge University Press |isbn=978-0-521-67599-4 |page=8, 103 |url=https://books.google.com/books?id=lptwaMuAtBAC&pg=PA8 |language=en}} |
|||
* {{cite web |last1=Vickers |first1=John M. |title=Inductive Reasoning |url=https://www.oxfordbibliographies.com/display/document/obo-9780195396577/obo-9780195396577-0171.xml |website=Oxford Bibliographies |publisher=Oxford University Press |access-date=18 January 2023 |language=en}} |
|||
* {{cite book |last1=Vidyabhusana |first1=Satis Chandra |title=A History of Indian Logic: Ancient, Mediaeval and Modern Schools |date=1988 |publisher=Motilal Banarsidass Publisher |isbn=978-81-208-0565-1 |page=221 |url=https://books.google.com/books?id=0lG85RD9YZoC&pg=PA221 |language=en}} |
|||
* {{cite book |last1=Vleet |first1=Van Jacob E. |title=Informal Logical Fallacies: A Brief Guide |date=2010 |publisher=Upa |url=https://philpapers.org/rec/VLEILF |chapter=Introduction |access-date=2 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228035654/https://philpapers.org/rec/VLEILF |url-status=live |isbn=978-0-7618-5432-6 |pages=ix-x}} |
|||
* {{cite web |last1=Väänänen |first1=Jouko |title=Second-order and Higher-order Logic |url=https://plato.stanford.edu/entries/logic-higher-order/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=23 November 2021 |year=2021 |archive-date=30 October 2021 |archive-url=https://web.archive.org/web/20211030222316/https://plato.stanford.edu/entries/logic-higher-order/ |url-status=live }} |
|||
* {{cite book |last1=Walton |first1=Douglas N. |author-link=Douglas N. Walton |title=Informal Fallacies: Towards a Theory of Argument Criticisms |date=1987 |publisher=John Benjamins |url=https://philpapers.org/rec/WALIFT |access-date=2 January 2022 |archive-date=2 March 2022 |archive-url=https://web.archive.org/web/20220302001111/https://philpapers.org/rec/WALIFT |url-status=live |isbn=978-1-55619-010-0 }} |
|||
* {{cite book |last1=Warren |first1=Jared |title=Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism |date= 2020 |publisher=Oxford University Press |isbn=978-0-19-008615-2 |url=https://global.oup.com/academic/product/shadows-of-syntax-9780190086152 }} |
|||
* {{cite journal |last1=Washell |first1=Richard F. |title=Logic, Language, and Albert the Great |journal=Journal of the History of Ideas |date=1973 |volume=34 |issue=3 |pages=445–50 |doi=10.2307/2708963 |jstor=2708963 |url=https://philpapers.org/rec/WASLLA-3}} |
|||
* {{cite book |last1=Wasilewska |first1=Anita |title=Logics for Computer Science: Classical and Non-Classical |date= 2018 |publisher=Springer |isbn=978-3-319-92591-2 |pages=145–6 |url=https://books.google.com/books?id=0QJ2DwAAQBAJ&pg=PA145 |language=en}} |
|||
* {{cite web |last1=Weber |first1=Zach |title=Paraconsistent Logic |url=https://iep.utm.edu/para-log/ |website=Internet Encyclopedia of Philosophy |access-date=12 December 2021}} |
|||
* {{cite book |last1=Weddle |first1=Perry |title=Argumentation 3 |date= 2011 |publisher=De Gruyter Mouton |isbn=978-3-11-086771-8 |url=https://www.degruyter.com/document/doi/10.1515/9783110867718.383/html |language=en |chapter=36. Informal logic and the eductive-inductive distinction |doi=10.1515/9783110867718.383 |access-date=2 January 2022 |archive-date=31 December 2021 |archive-url=https://web.archive.org/web/20211231172343/https://www.degruyter.com/document/doi/10.1515/9783110867718.383/html |url-status=live |pages=383–388 }} |
|||
* {{cite journal |last1=Westerståhl |first1=Dag |title=Aristotelian Syllogisms and Generalized Quantifiers |journal=Studia Logica |year=1989 |volume=48 |issue=4 |pages=577–585 |doi=10.1007/BF00370209 |s2cid=32089424 |url=https://philpapers.org/rec/WESASA |access-date=4 January 2022 |archive-date=4 January 2022 |archive-url=https://web.archive.org/web/20220104182746/https://philpapers.org/rec/WESASA |url-status=live }} |
|||
* {{cite journal |last1=Wilbanks |first1=Jan J. |title=Defining Deduction, Induction, and Validity |journal=Argumentation |date=1 March 2010 |volume=24 |issue=1 |pages=107–124 |doi=10.1007/s10503-009-9131-5 |s2cid=144481717 |url=https://link.springer.com/article/10.1007/s10503-009-9131-5 |language=en |issn=1572-8374 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171721/https://link.springer.com/article/10.1007/s10503-009-9131-5 |url-status=live }} |
|||
* {{cite web |last1=Wilce |first1=Alexander |title=Quantum Logic and Probability Theory: 2.1 Realist Quantum Logic |url=https://plato.stanford.edu/entries/qt-quantlog/#RealQuanLogi |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2021}} |
|||
* {{cite book |last1=Wile |first1=Bruce |last2=Goss |first2=John |last3=Roesner |first3=Wolfgang |title=Comprehensive Functional Verification: The Complete Industry Cycle |date= 2005 |publisher=Elsevier |isbn=978-0-08-047664-3 |page=447 |url=https://books.google.com/books?id=btl_OX3kJ7MC&pg=PA447 |language=en}} |
|||
* {{cite web |last1=Willman |first1=Marshall D. |title=Logic and Language in Early Chinese Philosophy |url=https://plato.stanford.edu/entries/chinese-logic-language/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |at=Introduction |date=2022}} |
|||
* {{cite journal |last1=Wolf |first1=Robert G. |title=Are Relevant Logics Deviant? |journal=Philosophia |year=1978 |volume=7 |issue=2 |pages=327–340 |doi=10.1007/BF02378819 |s2cid=143697796 |url=https://philpapers.org/rec/WOLARL |access-date=4 January 2022 |archive-date=16 December 2021 |archive-url=https://web.archive.org/web/20211216143955/https://philpapers.org/rec/WOLARL |url-status=live }} |
|||
* {{cite book |last=Zegarelli |first=Mark |title=Logic For Dummies |url=https://books.google.com/books?id=xm0-0Rs2GVoC&pg=PA30 |page=30 |year=2010 |publisher=John Wiley & Sons |isbn=978-1-118-05307-2 |access-date=7 March 2015 |archive-date=14 May 2015 |archive-url=https://web.archive.org/web/20150514163900/https://books.google.com/books?id=xm0-0Rs2GVoC&pg=PA30 |url-status=live }} |
|||
{{refend}} |
|||
== Xem thêm == |
== Xem thêm == |
Phiên bản lúc 16:16, ngày 1 tháng 8 năm 2023
Một phần của loạt bài về |
Triết học |
---|
Cổng thông tin Triết học |
Logic (hợp lý, hữu lý, hàm lý) hay luận lý học, từ tiếng Hy Lạp cổ đại λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí). Logic thường được nhắc đến như là một ngành nghiên cứu về tiêu chí đánh giá các luận cứ, mặc dù định nghĩa chính xác của logic vẫn là vấn đề còn đang được bàn cãi giữa các triết gia. Tuy nhiên khi môn học được xác định, nhiệm vụ của nhà logic học vẫn như cũ: làm đẩy mạnh tiến bộ của việc phân tích các suy luận có hiệu lực và suy luận ngụy biện để người ta có thể phân biệt được luận cứ nào là hợp lý và luận cứ nào có chỗ không hợp lý.
Theo truyền thống, logic được nghiên cứu như là một nhánh của triết học. Kể từ giữa thế kỷ 19 logic đã thường được nghiên cứu trong toán học và luật. Gần đây nhất logic được áp dụng vào khoa học máy tính và trí tuệ nhân tạo. Là một ngành khoa học hình thức, logic nghiên cứu và phân loại cấu trúc của các khẳng định và các lý lẽ, cả hai đều thông qua việc nghiên cứu các hệ hình thức của việc suy luận và qua sự nghiên cứu lý lẽ trong ngôn ngữ tự nhiên. Tầm bao quát của logic do vậy là rất rộng, đi từ các đề tài cốt lõi như là nghiên cứu các lý lẽ ngụy biện và nghịch lý, đến những phân tích chuyên gia về lập luận, chẳng hạn lập luận có xác suất đúng và các lý lẽ có liên quan đến quan hệ nhân quả. Ngày nay, logic còn được sử dụng phổ biến trong lý thuyết lý luận.
Qua suốt quá trình lịch sử, đã có nhiều sự quan tâm trong việc phân biệt lập luận tốt và lập luận không tốt, và do đó logic đã được nghiên cứu trong một số dạng ít nhiều là quen thuộc đối với chúng ta. Logic Aristotle chủ yếu quan tâm đến việc dạy lý luận thế nào cho tốt, và ngày nay vẫn được dạy với mục đích đó, trong khi trong logic toán học và triết học phân tích (analytical philosophy) người ta nhấn mạnh vào logic như là một đối tượng nghiên cứu riêng, và do vậy logic được nghiên cứu ở một mức độ trừu tượng hơn.
Các quan tâm về các loại logic khác nhau cho thấy rằng logic không phải là một ngành có thể nghiên cứu tách biệt. Trong khi logic thường có vẻ sự thúc đẩy chính nó, môn học này phát triển tốt nhất khi lý do mà chúng ta quan tâm đến logic được đặt ra một cách rõ ràng.
Lịch sử
Một trong những tác phẩm logic sớm nhất còn tồn tại đến ngày nay là của Aristotle.[1] Logic của Aristotle được chấp nhận rộng rãi trong khoa học và toán học và vẫn còn được sử dụng rộng rãi ở phương Tây đến đầu thế kỷ 19.[2] Hệ thống logic của Aristotle phù hợp cho việc giới thiệu suy diễn giả định,[3] và logic quy nạp.[4] Ở châu Âu, trong cuối thời kỳ trung đại, có nhiều nỗ lực nhằm chứng tỏ những tư tưởng của Aristotle tương thích với niềm tin Cơ Đốc. Trong suốt thời kỳ Trung kỳ Trung cổ, logic trở thành đề tài chính của các nhà triết học, những người muốn tham gia vào những cuộc tranh luận triết học về phân tích logic học.
Logic trong triết học Hồi giáo, đặc biệt là logic của Avicennia, chịu ảnh hưởng lớn từ logic của Aristotle.[5]
Tại Ấn Độ, những đổi mới trong trường phái triết học, gọi là Nyaya, tiếp diễn từ thời cổ đại đến đầu thế kỷ 18 với trường phái Navya-Nyaya. Đến trước thế kỷ 16, nó đã phát triển những lý thuyết giống với logic hiện đại.[6]
Logic tam đoạn luận
Tác phẩm Organon là một công trình của Aristotle về logic, với Phân tích tiên nghiệm (Prior Analytics) làm nên công trình rõ ràng đầu tiên về ngành logic hình thức và giới thiệu hình thức tam đoạn luận. Các phần thuộc về tam đoạn luận, cũng còn được biết đến dưới cái tên lôgic cổ truyền hay lôgic hạng tử (term logic), là sự phân tích các phán đoán thành các mệnh đề gồm hai hạng tử liên quan với nhau bởi một trong số một số các quan hệ định trước, và biểu diễn của sự suy luận bằng tam đoạn luận bao gồm 2 mệnh đề có chung một hạng tử với vai trò giả thuyết, và một kết luận là một mệnh đề chứa hai hạng tử chưa có quan hệ với nhau trong giả thuyết.
Vào thời Cổ đại và thời Trung cổ ở châu Âu, công trình của Aristotle được xem như là hình ảnh của một hệ thống đã được phát triển đầy đủ. Đó không phải là hệ thống duy nhất: các triết gia khắc kỷ (Stoics) đã đưa ra một hệ thống logic mệnh đề đã được nghiên cứu bởi các nhà logic học thời Trung cổ; và sự hoàn hảo của hệ thống Aristotle cũng không phải là không có bàn cãi; ví dụ như vấn đề tổng quát hóa nhiều lần được nhận ra trong thời trung cổ. Tuy nhiên, những vấn đề với hệ thống tam đoạn luận không được xem là cần có những giải pháp mang tính cách mạng.
Ngày nay, một số học giả cho rằng hệ thống Aristotle nhìn chung là không có giá trị gì hơn ngoài giá trị lịch sử (mặc dù có một số quan tâm đến việc mở rộng logic hạng tử), nó được xem là đã bị lỗi thời bởi sự ra đời của lôgic mệnh đề và phép tính vị từ (predicate calculus). Những người khác sử dụng lôgic Aristotle trong lý thuyết lý luận để giúp cho việc phát triển và xem xét kỹ càng các sơ đồ lý luận sử dụng trong trí tuệ nhân tạo và trong luật pháp.
Logic vị từ
Môn Logic như được nghiên cứu ngày nay rất khác với môn học đã được nghiên cứu trước đây, và sự khác biệt chính là sự phát minh của logic vị từ. Trong khi logic tam đoạn luận của Aristote định ra những dạng thức cho những phần có liên quan với nhau trong mỗi phán đoán, logic vị từ cho phép các câu được phân tích thành chủ đề và các luận cứ theo nhiều cách khác nhau, do vậy cho phép logic vị từ giải quyết được vấn đề tổng quát hóa nhiều lần - vấn đề đã làm bối rối các nhà logic học thời trung cổ. Với logic vị từ, lần đầu tiên, các nhà logic học đã có khả năng đưa ra các phép lượng hóa (quantifiers) đủ tổng quát để diễn tả mọi luận cứ có mặt trong ngôn ngữ tự nhiên.
Sự khám phá ra logic vị từ thường được coi là công của Gottlob Frege, người cũng được xem là một trong những sáng lập viên của ngành triết học phân tích, nhưng dạng phát biểu có hệ thống thông dụng nhất ngày nay của logic vị từ là logic bậc nhất (first-order logic) được trình bày trong cuốn sách Các nguyên lý về logic lý thuyết (Grundzüge der theoretischen Logik) của David Hilbert và Wilhelm Ackermann vào năm 1928. Tính tổng quát có tính phân tích của logic vị từ cho phép hình thức hóa toán học và đẩy mạnh nghiên cứu về lý thuyết tập hợp, cho phép sự phát triển của cách tiếp cận của Alfred Tarski đối với lý thuyết mô hình; và không quá lời khi nói rằng nó là nền tảng của logic toán học hiện đại.
Hệ thống nguyên thủy của Frege về logic vị từ không phải là bậc nhất mà là bậc hai. Logic bậc hai được bảo vệ mạnh mẽ nhất bởi George Boolos và Stewart Shapiro (trước các phê phán của Willard Van Orman Quine và những người khác).
Logic mô thái
Trong ngôn ngữ, tính mô thái nói đến hiện tượng các phần của một câu có thể bị thay đổi về ngữ nghĩa bởi các động từ đặc biệt hay các tiểu từ cách thức. Ví dụ, "Chúng ta đi xem trận đấu" có thể sửa lại thành "Chúng ta nên đi xem trận đấu", và "Chúng ta có thể đi xem trận đấu"" và có thể "Chúng ta sẽ đi xem trận đấu". Một cách trừu tượng hơn, chúng ta có thể nói rằng tính mô thái ảnh hưởng đến các hoàn cảnh trong đó chúng ta muốn một khẳng định được thỏa mãn.
Các nghiên cứu về mô thái trong logic đã có từ Aristotle. Ông đã quan tâm đến mô thái của sự cần thiết và các khả năng - hai thứ mà ông thấy rằng chúng có tính đối ngẫu theo kiểu tính đối ngẫu De Morgan. Trong khi việc nghiên cứu sự cần thiết và các khả năng vẫn còn quan trọng đối với các triết gia, có rất ít đổi mới trong logic cho đến thời của những nghiên cứu quan trọng của Clarence Irving Lewis vào năm 1918. Ông đã hệ thống hóa một họ các hệ thống tiên đề cạnh tranh lẫn nhau của alethic modalities. Công trình của ông đã mở ra một hướng cho một loạt các công trình trong đề tài này, mở rộng các loại mô thái đã được xem xét để bao gồm cả logic nghĩa vụ (deontic logic) và logic tri thức (Epistemic logic). Công trình hạt giống của Arthur Prior áp dụng cùng một ngôn ngữ hình thức để xử lý logic thời gian (temporal logic). Công trình này đã mở đường cho việc kết hợp hai ngành học này. Saul Kripke khám phá ra (cùng với các đối thủ) lý thuyết của ông về khung ngữ nghĩa, nó đã cách mạng hóa các kỹ thuật hình thức hiện có cho các nhà logic học về logic hình thức và đưa và một cách nhìn mới vấn đề mô thái theo hướng lý thuyết đồ thị và đã dẫn đến nhiều ứng dụng trong các ngành ngôn ngữ tính toán và khoa học máy tính, chẳng hạn như logic động (dynamic logic).
Suy diễn và lập luận
Như đã nói ở trên, vào thời trung cổ, động cơ cho việc nghiên cứu logic là để ta có thể học cách phân biệt giữa luận cứ tốt với luận cứ không tốt, nhờ đó có thể tranh luận và diễn thuyết hiệu quả hơn, và cũng có lẽ để trở thành một người tốt hơn.
Động cơ này vẫn còn tồn tại, mặc dù nó không còn đóng vai trò trung tâm trong bức tranh toàn cảnh của logic; thông thường, logic biện chứng sẽ cấu thành trung tâm của một khóa học về tư duy phản biện, một khóa bắt buộc ở nhiều trường đại học, đặc biệt là các trường theo mô hình của Mỹ.
Logic toán học
Logic toán học thực sự nói về hai lãnh vực nghiên cứu khác nhau: thứ nhất là áp dụng của các kỹ thuật trong ngôn ngữ hình thức vào toán học và lập luận toán học, và thứ hai, theo một hướng khác, sự áp dụng của các kỹ thuật trong toán học vào việc biểu diễn và phân tích logic hình thức.
Những áp dụng sớm nhất của toán học và hình học trong quan hệ với logic và triết học truy ngược về những người Hy Lạp cổ đại như Euclid, Plato, và Aristotle. Nhiều triết gia cổ đại và trung cổ khác đã áp dụng các ý tưởng và phương pháp toán học vào các khẳng định triết học của họ.
Cố gắng táo bạo nhất để áp dụng logic vào toán học chắc chắn là chủ nghĩa luận lý (logicism) do các triết gia kiêm nhà logic như Gottlob Frege và Bertrand Russell đi tiên phong: ý tưởng là các lý thuyết toán học là những điều khẳng định mang tính logic, và chương trình cần chứng minh điều này bằng cách suy giản toán học về logic. Nhiều cố gắng khác nhau để tiến hành việc này đã gặp phải một loạt các thất bại, từ việc dự án của Frege trong công trình Grundgesetze bị nghịch lý Russell làm cho lụn bại, đến sự thất bại của chương trình Hilbert trước định lý Gödel về sự không toàn vẹn (của bất kì hệ thống logic nào).
Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh. Mặc cho bản chất phủ định của các định lý về sự không toàn vẹn, định lý Gödel về sự toàn vẹn, một kết quả trong lý thuyết mô hình và một áp dụng khác của toán học vào logic, có thể được hiểu như là một cách cho thấy logicism đã gần đạt tới tính đúng đắn như thế nào: bất kì lý thuyết toán nào được định nghĩa chặt chẽ đều có thể được thâu tóm một cách chính xác bởi một lý thuyết logic bậc nhất; tính toán chứng minh của Frege đủ để mô tả toàn bộ toán học tuy không tương đương với nó. Do vậy chúng ta thấy được hai ngành đó hỗ trợ lẫn nhau như thế nào.
Nếu như lý thuyết chứng minh và lý thuyết mô hình đã là cơ sở của logic toán học, thì chúng chỉ là hai trong bốn trụ cột của ngành học đó. Lý thuyết tập hợp bắt nguồn trong sự nghiên cứu của Georg Cantor về sự vô hạn, và nó đã là nguồn của nhiều vấn đề quan trọng và thách thức nhất trong logic toán học, từ định lý Cantor, qua vị thế của Tiên đề của sự chọn lựa (Axiom of Choice) và câu hỏi về sự độc lập của giả thuyết về tính liên tục (continuum hypothesis), đến những tranh cãi hiện đại về những tiên đề về số đếm cực lớn (large cardinal).
Lý thuyết đệ quy thu tóm ý tưởng của việc tính toán với các toán hạng logic và số học; thành tựu cổ điển nhất của lý thuyết này là tính không quyết định được của bài toán Entscheidungsproblem mà Alan Turing đã tìm ra, và trình bày của ông về luận đề Church-Turing. Ngày nay, lý thuyết đệ quy liên quan chủ yếu đến bài toán tinh vi hơn về các lớp của độ phức tạp tính toán(complexity class) -- khi nào thì bài toán có thể giải được một cách hiệu quả? -- và sự phân loại về mức độ không giải được.
Logic triết học
Logic triết học làm việc với những miêu tả hình thức của ngôn ngữ tự nhiên. Đa số các triết gia giả sử rằng phần lớn các lập luận đúng đắn "bình thường" có thể được thu tóm bởi logic, nếu như người ta có thể tìm được phương pháp đúng đắn để dịch từ ngôn ngữ thông thường thành logic. Về bản chất, logic triết học là một sự tiếp tục của ngành khoa học truyền thống được gọi là "Logic" trước khi nó bị hất cẳng bởi sự phát minh ra logic toán học. Logic triết học có một mối quan tâm lớn hơn tới mối quan hệ giữa ngôn ngữ tự nhiên và logic. Kết quả là, các nhà logic triết học đã đóng góp rất nhiều vào sự phát triển của logic không chuẩn (ví dụ, logic tự do, logic thời) cũng như là các mở rộng khác của logic cổ điển (ví dụ, logic mô thái), và các ngữ nghĩa không chuẩn cho các loại logic như vậy (ví dụ, kỹ thuật Kripke về sự đánh giá trội trong ngữ nghĩa của logic).
Logic và triết học ngôn ngữ có liên hệ mật thiết với nhau. Triết học ngôn ngữ có liên quan đến nghiên cứu về tương tác giữa ngôn ngữ và suy nghĩ. Logic có một tác động lập tức trên các lãnh vực nghiên cứu đó. Nghiên cứu logic và mối liên quan giữa logic và ngôn ngữ thông thường có thể giúp một người tổ chức lý lẽ của họ một cách tốt hơn và giúp phê phán các lý lẽ của người khác. Nhiều lý lẽ thông dụng chứa đầy các lỗi bởi vì nhiều người không được huấn luyện logic và không biết cách trình bày một lý lẽ thế nào cho đúng.
Triết học ngôn ngữ đã trải qua một thời kỳ phục hưng trong thế kỷ 20 bởi công trình của Ludwig Wittgenstein.
Logic và tính toán
Logic là nội dung trung tâm của khoa học máy tính từ khi ngành này được hình thành: công trình của Alan Turing về Entscheidungsproblem theo sau từ công trình của Kurt Gödel về các định lý về sự không toàn vẹn, và khái niệm của các máy tính dành cho mục đích tổng quát bắt nguồn từ công trình này đã có tầm quan trọng mang tính nền tảng đối với các nhà thiết kế máy tính trong những năm 1940.
Trong những năm 1950 và 1960, các nhà nghiên cứu dự đoán rằng khi tri thức của con người có thể được biểu diễn bằng logic và các ký hiệu toán học, sẽ có khả năng tạo ra một máy tính có khả năng lập luận, hay nói cách khác là trí tuệ nhân tạo. Điều này hóa ra là khó khăn hơn đã dự đoán do sự phức tạp trong lập luận của con người. Trong lập trình logic, một chương trình bao gồm một tập hợp các tiên đề và các luật. Các hệ thống lập trình logic như Prolog tính toán các hệ quả của các tiên đề và luật để trả lời một truy vấn.
Ngày nay, logic được ứng dụng rộng rãi trong các lãnh vực của trí tuệ nhân tạo, và khoa học máy tính, và những ngành này cung cấp một nguồn dồi dào các bài toán trong logic hình thức và phi hình thức. Lý thuyết lý luận là một ví dụ tốt cho thấy logic được áp dụng vào trí tuệ nhân tạo như thế nào.
Thêm vào đó, máy tính có thể được sử dụng như công cụ cho các nhà logic học. Ví dụ, trong logic biểu tượng và logic toán học, các chứng minh bởi con người có thể được hỗ trợ bởi máy tính. Sử dụng chứng minh định lý tự động, máy tính có thể tìm ra và kiểm tra các chứng minh, cũng như là làm việc với những chứng minh quá dài cho việc viết ra
Lý thuyết lý luận
Lý thuyết lý luận là một ngành nghiên cứu về logic không hình thức, các điều phi lý, và các câu hỏi phê phán liên quan đến những tình huống thực tế hàng ngày. Các hội thoại cụ thể có thể được phân tích và xem xét để làm lộ ra các giả thuyết, kết luận, và các điều vô lý. Lý thuyết lý luận ngày nay được áp dụng trong trí tuệ nhân tạo và luật.
Các điều còn tranh cãi trong logic
Như là chúng ta đã thấy là có sự không đồng ý về việc như thế nào là logic, cũng có những bất đồng về những giá trị sự thật trong logic.
Hai giá trị và quy luật loại trừ giá trị giữa
Logic được thảo luận bên trên đều gọi là "lưỡng giá trị" hay là "có hai giá trị"; nghĩa là, chúng được hiểu một cách tự nhiên nhất như là chia các đề nghị ra thành đề nghị đúng hoặc đề nghị sai. Các hệ thống từ bỏ hai giá trị được biết đến như là logic không cổ điển.
Vào năm 1910 Nicolai A. Vasiliev bỏ đi quy luật loại trừ giá trị giữa và quy luật mâu thuẫn và đề nghị luật giá trị thứ tư bị loại trừ và loại logic chấp nhận mâu thuẫn. Trong đầu thế kỷ 20 Jan Łukasiewicz nghiên cứu sự mở rộng của các giá trị truyền thống đúng/sai để bao gồm một giá trị thứ ba, "có thể", do vậy phát minh ra logic ba giá trị, hệ logic đa giá trị đầu tiên.
Logic trực giác được đề nghị bởi L.E.J. Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một phần của chủ nghĩa trực giác của ông. Brouwer từ bỏ các công thức hệ thống trong toán học, nhưng học trò của ông là Arend Heyting nghiên cứu logic trực giác một cách khuôn mẫu, cũng như Gerhard Gentzen. Logic trực giác đã được quan tâm nhiều bởi các nhà khoa học máy tính, bởi vì nó là một logic xây dựng, và do vậy là một loại logic mà các máy tính có thể làm được.
Modal logic không đúng với các điều kiện, và do vậy thường được đề nghị như là một ngành logic không cổ điển. Tuy nhiên, modal logic thông thường được hệ thống hóa với nguyên tắc loại trừ giá trị chính giữa, và ngữ nghĩa quan hệ của nó là hai giá trị, do vậy sự gộp chung này là còn bàn cãi. Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
Logic như là logic mờ (fuzzy logic) từ đó đã được đưa ra với vô hạn các giá trị "mức độ của sự thật", biểu diễn bằng một số thực giữa 0 và 1. Xác suất Bayesian có thể được phiên dịch như là một hệ thống logic mà xác suất là giá trị sự thật khách quan.
Hệ quả: chặt chẽ hay quan trọng?
Rõ ràng là khái niệm hệ quả được hệ thống hóa trong logic cổ điển không diễn dịch một cách thoải mái vào ngôn ngữ tự nhiên thông qua "nếu... thì...", do một số vấn đề gọi là nghịch lý của các hệ quả cần thiết.
Loại các nghịch lý thứ nhất bao gồm các sự kiện không có thật, chẳng hạn như là "Nếu mặt trăng được làm từ phô mát màu xanh, thì 2+2=5", là điều làm điên đầu bởi vì ngôn ngữ tự nhiên không ủng hộ nguyên lý bùng nổ. Loại bỏ loại các nghịch lý này là nguyên do dẫn đến sự hợp thức hóa của C. I. Lewis về hệ quả chặt chẽ, mà cuối cùng dẫn đến những loại logic xem xét lại một cách hợp lý chẳng hạn như logic liên quan.
Loại các nghịch lý thứ hai liên quan đến những giả thuyết dư thừa, đưa ra những đề nghị sai lầm rằng chúng ta biết điều sau bởi vì điều trước đó: do đó "nếu như người đàn ông đó trúng cử, ông ngoại sẽ qua đời" sẽ hết sức đúng nếu như ông ngoại lỡ ở trong những giai đoạn cuối cùng của một căn bệnh không thể nào qua khỏi, không cần biết đến viễn cảnh về sự bầu cử của người đàn ông đó. Những câu phát biểu như vậy vi phạm châm ngôn Gricean về sự liên quan thích hợp, và có thể được mô phỏng bằng những loại logic loại bỏ nguyên lý tăng dần của sự kế thừa, chẳng hạn như logic liên quan (relevance logic).
Thỏa hiệp với điều không thể
Liên quan gần hơn đến những câu hỏi đem lại từ những nghịch lý của hệ quả mang đến những đề nghị thích hợp rằng logic phải thỏa hiệp với những điều không nhất quán. Logic liên quan và logic nhất quán ghép là những cách tiếp cận quan trọng nhất ở đây, dù cho điều quan tâm là khác nhau: một hệ quả quan trọng của logic cổ điển và một số đối thủ của nó, ví dụ như logic trực giác, là chúng tôn trọng quy luật bùng nổ, nghĩa làm logic sẽ sụp đổ nếu như nó có khả năng suy ra được một điều mâu thuẫn. Graham Priest, người ủng hộ chính của dialetheism, đã lập luận cho sự nhất quán ghép nối (paraconsistency) trên những nền tảng đáng ngạc nhiên rằng trong thực tế, có những điều mâu thuẫn thực sự đúng (Priest 2004).
Có phải logic mang tính thực nghiệm?
Vị trí của các quy luật logic trong nhận thức luận là gì? Loại lập luận nào là thích hợp cho việc phê phán những nguyên lý nổi tiếng của logic? Trong một bài báo gây ảnh hưởng lớn tựa đề Có phải logic mang tính thực nghiệm? Hilary Putnam, xây dựng trên một đề nghị của W.V. Quine, lập luận rằng nhìn chung việc logic mệnh đề có một vị trí trong nhận thức luận tương tự như những sự kiện trong vũ trụ vật lý, chẳng hạn như các định luật cơ học hay của thuyết tương đối, và đặc biệt là những gì các nhà vật lý đã biết được về vật lý lượng tử đưa ra một trường hợp thuyết phục cho việc loại bỏ một số nguyên lý quen thuộc của logic cổ điển: nếu như chúng ta muốn là những người theo chủ nghĩa hiện thực về những hiện tượng vật lý mô tả bởi vật lý lượng tử, thì chúng ta nên bỏ nguyên tắc phân phối, thay thế logic cổ điển bởi logic lượng tử (quantum logic) đưa ra bởi Garrett Birkhoff và John von Neumann.
Một bài báo khác cùng tên bởi Sir Michael Dummett lập luận rằng mong muốn của Putnam về chủ nghĩa hiện thực đã ủy nhiệm cho luật phân phối: luật phân phối của logic là quan trọng cho sự hiểu biết của những người theo chủ nghĩa hiện thực là những mệnh đề đúng như thế nào trong thế giới, cũng cùng một cách anh ta lập luận về nguyên tắc chỉ có hai giá trị. Trong cách này, câu hỏi Có phải logic mang tính thực nghiệm có thể thấy là sẽ dẫn đến một cách tự nhiên những tranh cãi căn bản trong siêu hình học (metaphysics) về chủ nghĩa hiện thực và chủ nghĩa phi hiện thực.
Tham khảo
Chú thích
Trích dẫn
- ^ E.g., Kline (1972, p.53) wrote "A major achievement of Aristotle was the founding of the science of logic".
- ^ "Aristotle Lưu trữ 2010-06-07 tại Wayback Machine", MTU Department of Chemistry.
- ^ Jonathan Lear (1986). "Aristotle and Logical Theory". Cambridge University Press. p.34. ISBN 0521311780
- ^ Harold Joseph Berman (1983). "Law and revolution: the formation of the Western legal tradition". Harvard University Press. p.133. ISBN 0674517768
- ^ Goodman, Lenn Evan (1992). Avicenna. Routledge. tr. 184. ISBN 978-0415019293.
- ^ Kisor Kumar Chakrabarti (tháng 6 năm 1976). “Some Comparisons Between Frege's Logic and Navya-Nyaya Logic”. Philosophy and Phenomenological Research. International Phenomenological Society. 36 (4): 554–563. doi:10.2307/2106873. JSTOR 2106873.
This paper consists of three parts. The first part deals with Frege's distinction between sense and reference of proper names and a similar distinction in Navya-Nyaya logic. In the second part we have compared Frege's definition of number to the Navya-Nyaya definition of number. In the third part we have shown how the study of the so-called 'restrictive conditions for universals' in Navya-Nyaya logic anticipated some of the developments of modern set theory.
Thư mục
- Angell, Richard B. (1964). Reasoning and Logic (bằng tiếng Anh). Ardent Media. tr. 164. OCLC 375322.
- Audi, Robert (1999a). “Informal logic”. The Cambridge Dictionary of Philosophy. Cambridge University Press. tr. 435. ISBN 978-1-107-64379-6. Lưu trữ bản gốc ngày 14 tháng 4 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Audi, Robert (1999b). “Philosophy of logic”. The Cambridge Dictionary of Philosophy. Cambridge University Press. tr. 679–681. ISBN 978-1-107-64379-6. Lưu trữ bản gốc ngày 14 tháng 4 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Backmann, Marius (1 tháng 6 năm 2019). “Varieties of Justification—How (Not) to Solve the Problem of Induction”. Acta Analytica (bằng tiếng Anh). 34 (2): 235–255. doi:10.1007/s12136-018-0371-6. ISSN 1874-6349. S2CID 125767384.
- Bagaria, Joan (2021). “Set Theory”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 23 tháng 9 năm 2022.
- Barnes, Jonathan (25 tháng 1 năm 2007). Truth, etc.: Six Lectures on Ancient Logic (bằng tiếng Anh). Clarendon Press. tr. 274. ISBN 978-0-19-151574-3.
- Benthem, Johan van. “Modal Logic: Contemporary View: 1. Modal Notions and Reasoning Patterns: a First Pass”. Internet Encyclopedia of Philosophy. Truy cập ngày 11 tháng 3 năm 2023.
- Berlemann, Lars; Mangold, Stefan (10 tháng 7 năm 2009). Cognitive Radio and Dynamic Spectrum Access (bằng tiếng Anh). John Wiley & Sons. tr. 194. ISBN 978-0-470-75443-6.
- Berman, Harold J. (1 tháng 7 năm 2009). Law and Revolution, the Formation of the Western Legal Tradition (bằng tiếng Anh). Harvard University Press. ISBN 978-0-674-02085-6.
- Bimbo, Katalin (2 tháng 4 năm 2016). J. Michael Dunn on Information Based Logics (bằng tiếng Anh). Springer. tr. 8–9. ISBN 978-3-319-29300-4.
- Blackburn, Simon (1 tháng 1 năm 2008). “argument”. The Oxford Dictionary of Philosophy (bằng tiếng Anh). Oxford University Press. ISBN 978-0-19-954143-0. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Blackburn, Simon (24 tháng 3 năm 2016). “rule of inference”. The Oxford Dictionary of Philosophy (bằng tiếng Anh). Oxford University Press. ISBN 978-0-19-954143-0. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Blair, J. Anthony; Johnson, Ralph H. (1987). “The Current State of Informal Logic”. Informal Logic. 9 (2): 147–51. doi:10.22329/il.v9i2.2671. Lưu trữ bản gốc ngày 30 tháng 12 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- Blair, J. Anthony; Johnson, Ralph H. (2000). “Informal Logic: An Overview”. Informal Logic. 20 (2): 93–107. doi:10.22329/il.v20i2.2262. Lưu trữ bản gốc ngày 9 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Blair, J. Anthony (20 tháng 10 năm 2011). Groundwork in the Theory of Argumentation: Selected Papers of J. Anthony Blair (bằng tiếng Anh). Springer Science & Business Media. tr. 47. ISBN 978-94-007-2363-4.
- Bobzien, Susanne (2020). “Ancient Logic: 2. Aristotle”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 28 tháng 8 năm 2018. Truy cập ngày 3 tháng 1 năm 2022.
- Borchert, Donald biên tập (2006a). “Computability Theory”. Macmillan Encyclopedia of Philosophy Volume 2 (ấn bản thứ 2). Macmillan. tr. 372–390. ISBN 978-0-02-865782-0.
- Borchert, Donald (2006b). “Induction”. Macmillan Encyclopedia of Philosophy Volume 4 (ấn bản thứ 2). Macmillan. tr. 635–648. ISBN 978-0-02-865784-4. Lưu trữ bản gốc ngày 12 tháng 1 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Borchert, Donald (2006c). “Logic, Non-Classical”. Macmillan Encyclopedia of Philosophy Volume 5 (ấn bản thứ 2). Macmillan. tr. 485–492. ISBN 978-0-02-865785-1. Lưu trữ bản gốc ngày 12 tháng 1 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Boris, Kulik; Alexander, Fridman (30 tháng 11 năm 2017). N-ary Relations for Logical Analysis of Data and Knowledge (bằng tiếng Anh). IGI Global. tr. 74. ISBN 978-1-5225-2783-1.
- Bridges, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut (30 tháng 4 năm 2023). Handbook of Constructive Mathematics (bằng tiếng Anh). Cambridge University Press. tr. 73–4. ISBN 978-1-316-51086-5.
- Brody, Boruch A. (2006). Encyclopedia of philosophy. 5. Donald M. Borchert (ấn bản thứ 2). Thomson Gale/Macmillan Reference US. tr. 535–536. ISBN 978-0-02-865780-6. OCLC 61151356.
The two most important types of logical calculi are propositional (or sentential) calculi and functional (or predicate) calculi. A propositional calculus is a system containing propositional variables and connectives (some also contain propositional constants) but not individual or functional variables or constants. In the extended propositional calculus, quantifiers whose operator variables are propositional variables are added.
- Bunnin, Nicholas; Yu, Jiyuan (27 tháng 1 năm 2009). The Blackwell Dictionary of Western Philosophy (bằng tiếng Anh). John Wiley & Sons. tr. 179. ISBN 978-1-4051-9112-8.
- Burgess, John P. (2009). “1. Classical logic”. Philosophical Logic. Princeton, NJ: Princeton University Press. tr. 1–12. ISBN 978-0-691-15633-0. Lưu trữ bản gốc ngày 16 tháng 12 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Bäck, Allan T. (2016). Aristotle's Theory of Predication (bằng tiếng Anh). Brill. tr. 317. ISBN 978-90-04-32109-0.
- Calderbank, Robert; Sloane, Neil J. A. (tháng 4 năm 2001). “Claude Shannon (1916–2001)”. Nature (bằng tiếng Anh). 410 (6830): 768. doi:10.1038/35071223. ISSN 1476-4687. PMID 11298432. S2CID 4402158.
- Carnielli, Walter; Pizzi, Claudio (2008). Modalities and Multimodalities (bằng tiếng Anh). Springer Science & Business Media. tr. 3. ISBN 978-1-4020-8590-1.
- Castaño, Arnaldo Pérez (23 tháng 5 năm 2018). Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C# (bằng tiếng Anh). Apress. tr. 2. ISBN 978-1-4842-3357-3.
- Chakrabarti, Kisor Kumar (tháng 6 năm 1976). “Some Comparisons Between Frege's Logic and Navya-Nyaya Logic”. Philosophy and Phenomenological Research. 36 (4): 554–563. doi:10.2307/2106873. JSTOR 2106873.
- Chatfield, Tom (2017). Critical Thinking: Your Guide to Effective Argument, Successful Analysis and Independent Study (bằng tiếng Anh). Sage. tr. 194. ISBN 978-1-5264-1877-7.
- Chua, Eugene (2017). “An Empirical Route to Logical 'Conventionalism'”. Logic, Rationality, and Interaction. Lecture Notes in Computer Science. 10455: 631–636. doi:10.1007/978-3-662-55665-8_43. ISBN 978-3-662-55664-1.
- Clocksin, William F.; Mellish, Christopher S. (2003). “The Relation of Prolog to Logic”. Programming in Prolog: Using the ISO Standard (bằng tiếng Anh). Springer. tr. 237–257. doi:10.1007/978-3-642-55481-0_10. ISBN 978-3-642-55481-0.
- Cook, Roy T. (2009). Dictionary of Philosophical Logic (bằng tiếng Anh). Edinburgh University Press. tr. 124. ISBN 978-0-7486-3197-1.
- Copi, Irving M.; Cohen, Carl; Rodych, Victor (2019). Introduction to Logic (bằng tiếng Anh). Routledge. ISBN 978-1-351-38697-5.
- Coppock, Elizabeth; Champollion, Lucas (2019). Invitation to formal semantics (PDF). tr. 3–4. Lưu trữ (PDF) bản gốc ngày 21 tháng 1 năm 2020. Truy cập ngày 25 tháng 10 năm 2021.
- Corkum, Philip (2015). “Generality and Logical Constancy”. Revista Portuguesa de Filosofia. 71 (4): 753–767. doi:10.17990/rpf/2015_71_4_0753. ISSN 0870-5283. JSTOR 43744657.
- Craig, Edward (1996). Routledge Encyclopedia of Philosophy. Routledge. ISBN 978-0-415-07310-3. Lưu trữ bản gốc ngày 16 tháng 1 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Cummings, Louise (2010). “Abduction”. The Routledge Pragmatics Encyclopedia (bằng tiếng Anh). Routledge. tr. 1. ISBN 978-1-135-21457-9. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Cunningham, Daniel. “Set Theory”. Internet Encyclopedia of Philosophy. Truy cập ngày 23 tháng 9 năm 2022.
- D'Agostino, Marcello; Floridi, Luciano (2009). “The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?”. Synthese (bằng tiếng Anh). 167 (2): 271–315. doi:10.1007/s11229-008-9409-4. hdl:2299/2995. ISSN 0039-7857. JSTOR 40271192. S2CID 9602882.
- Daintith, John; Wright, Edmund (2008). A Dictionary of Computing. OUP. ISBN 978-0-19-923400-4.
- van Dalen, Dirk (1994). Logic and Structure. Springer. Chapter 1.5. ISBN 978-0-387-57839-2.
- Dasti, Matthew R. “Nyaya”. Internet Encyclopedia of Philosophy. Truy cập ngày 12 tháng 3 năm 2023.
- Dick, Anthony S.; Müller, Ulrich (2017). Advancing Developmental Science: Philosophy, Theory, and Method (bằng tiếng Anh). Taylor & Francis. tr. 157. ISBN 978-1-351-70456-4.
- Douven, Igor (2021). “Abduction”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 7 tháng 9 năm 2021. Truy cập ngày 24 tháng 8 năm 2021.
- Dowden, Bradley. “Fallacies”. Internet Encyclopedia of Philosophy. Lưu trữ bản gốc ngày 29 tháng 4 năm 2010. Truy cập ngày 19 tháng 3 năm 2021.
- van Eemeren, Frans H.; Garssen, Bart (2009). Pondering on Problems of Argumentation: Twenty Essays on Theoretical Issues (bằng tiếng Anh). Springer Science & Business Media. tr. 191. ISBN 978-1-4020-9165-0.
- van Eemeren, Frans H.; Garssen, Bart; Krabbe, Erik C. W.; Snoeck Henkemans, A. Francisca; Verheij, Bart; Wagemans, Jean H. M. (2021). “Informal Logic”. Handbook of Argumentation Theory (bằng tiếng Anh). Springer Netherlands. tr. 1–45. doi:10.1007/978-94-007-6883-3_7-1. ISBN 978-94-007-6883-3. Lưu trữ bản gốc ngày 31 tháng 12 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- van Eemeren, Frans H.; Grootendorst, Rob; Johnson, Ralph H.; Plantin, Christian; Willard, Charles A. (2013). Fundamentals of Argumentation Theory: A Handbook of Historical Backgrounds and Contemporary Developments (bằng tiếng Anh). Routledge. tr. 169. ISBN 978-1-136-68804-1.
- Emmanuel, Steven M. (2015). A Companion to Buddhist Philosophy (bằng tiếng Anh). John Wiley & Sons. tr. 320–2. ISBN 978-1-119-14466-3.
- Enderton, Herbert (2001). A Mathematical Introduction to Logic. Elsevier. ISBN 978-0-12-238452-3.
- Engel, S. Morris (1982). With Good Reason an Introduction to Informal Fallacies. St. Martin's Press. ISBN 978-0-312-08479-0. Lưu trữ bản gốc ngày 1 tháng 3 năm 2022. Truy cập ngày 2 tháng 1 năm 2022.
- Evans, Jonathan St. B. T. (2005). “8. Deductive Reasoning”. Trong Morrison, Robert (biên tập). The Cambridge Handbook of Thinking and Reasoning (bằng tiếng Anh). Cambridge University Press. tr. 169. ISBN 978-0-521-82417-0.
- Ewald, William (2019). “The Emergence of First-Order Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 12 tháng 3 năm 2023.
- Falguera, José L.; Martínez-Vidal, Concha; Rosen, Gideon (2021). “Abstract Objects”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 22 tháng 1 năm 2021. Truy cập ngày 7 tháng 1 năm 2022.
- Falikowski, Anthony; Mills, Susan (2022). Experiencing Philosophy (bằng tiếng Anh) (ấn bản thứ 2). Broadview Press. tr. 98. ISBN 978-1-77048-841-0.
- Fisher, Michael David; Gabbay, Dov M.; Vila, Lluis (2005). Handbook of Temporal Reasoning in Artificial Intelligence (bằng tiếng Anh). Elsevier. tr. 119. ISBN 978-0-08-053336-0.
- Fitch, G. W. (18 tháng 12 năm 2014). Saul Kripke (bằng tiếng Anh). Routledge. tr. 17. ISBN 978-1-317-48917-7.
- Flotyński, Jakub (7 tháng 12 năm 2020). Knowledge-Based Explorable Extended Reality Environments (bằng tiếng Anh). Springer Nature. tr. 39. ISBN 978-3-030-59965-2.
- Font, Josep Maria; Jansana, Ramon (2017). A General Algebraic Semantics for Sentential Logics (bằng tiếng Anh). Cambridge University Press. tr. 8. ISBN 978-1-107-16797-1.
- Frede, Michael. “Aristotle”. Michigan Technological University. Truy cập ngày 1 tháng 11 năm 2022.
- Friend, Michele (2014). Introducing Philosophy of Mathematics (bằng tiếng Anh). Routledge. tr. 101. ISBN 978-1-317-49379-2.
- Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. 5.5. ISBN 978-0-226-28085-1.
- Garson, James (2023). “Modal Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 11 tháng 3 năm 2023.
- Gensler, Harry J. (2006). The A to Z of Logic (bằng tiếng Anh). Scarecrow Press. tr. xliii–xliv. ISBN 978-1-4617-3182-5.
- Goble, Lou (2001). “Introduction”. The Blackwell Guide to Philosophical Logic. Wiley-Blackwell. tr. 1–8. ISBN 978-0-631-20692-7. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Goertzel, Ben; Geisweiller, Nil; Coelho, Lucio; Janičić, Predrag; Pennachin, Cassio (2 tháng 12 năm 2011). Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference (bằng tiếng Anh). Springer Science & Business Media. tr. 43–4. ISBN 978-94-91216-11-4.
- Goodman, Lenn Evan (1992). Avicenna. Routledge. tr. 188. ISBN 978-0-415-01929-3.
- Goodman, Lenn Evan (2003). Islamic humanism. Oxford University Press. tr. 155. ISBN 978-0-19-513580-0.
- Groarke, Louis F. “Aristotle: Logic”. Internet Encyclopedia of Philosophy. Lưu trữ bản gốc ngày 29 tháng 12 năm 2021. Truy cập ngày 1 tháng 1 năm 2022.
- Groarke, Leo (2021). “Informal Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 12 tháng 1 năm 2022. Truy cập ngày 31 tháng 12 năm 2021.
- Gómez-Torrente, Mario (2019). “Logical Truth”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 2 tháng 10 năm 2021. Truy cập ngày 22 tháng 11 năm 2021.
- Gödel, Kurt (1984). “Russell's mathematical logic”. Trong Benacerraf, Paul; Putnam, Hilary (biên tập). Philosophy of Mathematics: Selected Readings (ấn bản thứ 2). Cambridge University Press. tr. 447–469. ISBN 978-0-521-29648-9. Lưu trữ bản gốc ngày 11 tháng 1 năm 2022. Truy cập ngày 9 tháng 1 năm 2022.
- Hájek, Petr (3 tháng 9 năm 2006). “Fuzzy Logic”. Stanford Encyclopedia of Philosophy (bằng tiếng Anh). Metaphysics Research Lab, Stanford University. Truy cập ngày 19 tháng 7 năm 2023.
- Hájek, Alan; Lin, Hanti (2017). “A Tale of Two Epistemologies?”. Res Philosophica. 94 (2): 207–232. doi:10.11612/resphil.1540. S2CID 160029122. Lưu trữ bản gốc ngày 4 tháng 1 năm 2022. Truy cập ngày 4 tháng 1 năm 2022.
- Houde, R.; Camacho, L. (2003). “Induction”. New Catholic Encyclopedia. ISBN 978-0-7876-4004-0. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Haack, Susan (1974). Deviant Logic: Some Philosophical Issues (bằng tiếng Anh). CUP Archive. tr. 51. ISBN 978-0-521-20500-9.
- Haack, Susan (1978). “1. 'Philosophy of logics'”. Philosophy of Logics. London and New York: Cambridge University Press. tr. 1–10. ISBN 978-0-521-29329-7. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism (bằng tiếng Anh). University of Chicago Press. ISBN 978-0-226-31133-3.
- Haaparanta, Leila (2009). “1. Introduction”. The development of modern logic. Oxford University Press. tr. 4–6. ISBN 978-0-19-513731-6.
- Hansen, Hans (2020). “Fallacies”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 29 tháng 3 năm 2021. Truy cập ngày 18 tháng 3 năm 2021.
- Hartmann, Stephan; Sprenger, Jan (2010). “Bayesian Epistemology”. The Routledge Companion to Epistemology. London: Routledge. tr. 609–620. ISBN 978-0-415-96219-3. Lưu trữ bản gốc ngày 16 tháng 5 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Hasse, Dag Nikolaus (2008). “Influence of Arabic and Islamic Philosophy on the Latin West”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 19 tháng 7 năm 2023.
- Hawthorne, James (2021). “Inductive Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 21 tháng 1 năm 2022. Truy cập ngày 6 tháng 1 năm 2022.
- Hintikka, Jaakko J. (2019). “Philosophy of logic”. Encyclopædia Britannica (bằng tiếng Anh). Lưu trữ bản gốc ngày 28 tháng 4 năm 2015. Truy cập ngày 21 tháng 11 năm 2021.
- Hintikka, Jaakko J. (2023). “Logical systems”. Encyclopædia Britannica (bằng tiếng Anh). Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 4 tháng 12 năm 2021.
- Hintikka, Jaakko (1970). “Information, Deduction, and the A Priori”. Noûs. 4 (2): 135–152. doi:10.2307/2214318. ISSN 0029-4624. JSTOR 2214318.
- Hintikka, Jaakko; Sandu, Gabriel (2006). “What is Logic?”. Trong Jacquette, D. (biên tập). Philosophy of Logic. North Holland. tr. 13–39. ISBN 978-0-444-51541-4. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Hintikka, Jaakko J.; Spade, Paul Vincent. “History of logic”. Encyclopædia Britannica (bằng tiếng Anh). Truy cập ngày 23 tháng 9 năm 2022.
- Honderich, Ted (2005). The Oxford Companion to Philosophy. Oxford University Press. ISBN 978-0-19-926479-7. Lưu trữ bản gốc ngày 29 tháng 1 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- Hurley, Patrick J. (2015). “4. Categorical Syllogisms”. Logic: The Essentials (bằng tiếng Anh). Wadsworth. tr. 189–237. ISBN 978-1-305-59041-0. Lưu trữ bản gốc ngày 4 tháng 1 năm 2022. Truy cập ngày 4 tháng 1 năm 2022.
- IEP Staff. “Deductive and Inductive Arguments”. Lưu trữ bản gốc ngày 28 tháng 5 năm 2010. Truy cập ngày 6 tháng 1 năm 2022.
- Iqbal, Mohammad (2013). “The Spirit of Muslim Culture”. The Reconstruction of Religious Thought in Islam (bằng tiếng Anh). Stanford University Press. tr. 99–115. ISBN 978-0-8047-8686-7.
- Irvine, Andrew David (2022). “Bertrand Russell”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 29 tháng 9 năm 2022.
- Jacquette, Dale (2006). “Introduction: Philosophy of logic today”. Philosophy of Logic. North Holland. tr. 1–12. ISBN 978-0-444-51541-4. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Jago, Mark (2014). The Impossible: An Essay on Hyperintensionality (bằng tiếng Anh). OUP Oxford. tr. 41. ISBN 978-0-19-101915-9.
- Janssen, Theo M. V.; Zimmermann, Thomas Ede (2021). “Montague Semantics”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. tr. 3–4. Truy cập ngày 10 tháng 3 năm 2023.
- Johnson, Ralph H. (1999). “The Relation Between Formal and Informal Logic”. Argumentation. 13 (3): 265–274. doi:10.1023/A:1007789101256. S2CID 141283158. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- Johnson, Ralph H. (15 tháng 7 năm 2014). The Rise of Informal Logic: Essays on argumentation, critical thinking, reasoning and politics (bằng tiếng Anh). University of Windsor. ISBN 978-0-920233-71-9.
- Ketland, Jeffrey (2005). “Second Order Logic”. Macmillan Encyclopedia of Philosophy Volume 8. tr. 707–708. ISBN 978-0-02-865788-2. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- King, Jeffrey C. (2 tháng 9 năm 2009). “Formal Semantics”. The Oxford Handbook of Philosophy of Language: 557–8. doi:10.1093/oxfordhb/9780199552238.003.0023. ISBN 978-0-19-955223-8.
- King, Jeffrey C. (2019). “Structured Propositions”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 25 tháng 10 năm 2021. Truy cập ngày 4 tháng 12 năm 2021.
- Klement, Kevin C. (1995a). “Frege, Gottlob”. Internet Encyclopedia of Philosophy. ISSN 2161-0002. Truy cập ngày 29 tháng 9 năm 2022.
- Klement, Kevin C. (1995b). “Propositional Logic”. Internet Encyclopedia of Philosophy. ISSN 2161-0002. Truy cập ngày 23 tháng 9 năm 2022.
- Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 978-0-19-506135-2.
- Kneale, William; Kneale, Martha (1962). The Development of Logic (bằng tiếng Anh). Clarendon Press. ISBN 978-0-19-824773-9.
- Knuuttila, Simo (1980). Reforging the Great Chain of Being: Studies of the History of Modal Theories (bằng tiếng Anh). Springer Science & Business Media. tr. 71. ISBN 978-90-277-1125-0.
- Korb, Kevin (2004). “Bayesian Informal Logic and Fallacy”. Informal Logic. 24 (1): 41–70. doi:10.22329/il.v24i1.2132. Lưu trữ bản gốc ngày 10 tháng 11 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- Koslowski, Barbara (2017). “Abductive reasoning and explanation”. The Routledge International Handbook of Thinking and Reasoning. Routledge. tr. 366–382. doi:10.4324/9781315725697. ISBN 978-1-315-72569-7. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Kusch, Martin (2020). “Psychologism”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 29 tháng 12 năm 2020. Truy cập ngày 30 tháng 11 năm 2021.
- Lagerlund, Henrik (27 tháng 9 năm 2018). “Review of The Aftermath of Syllogism: Aristotelian Logical Argument from Avicenna to Hegel”. Notre Dame Philosophical Reviews (bằng tiếng Anh). Truy cập ngày 19 tháng 7 năm 2023.
- Lear, Jonathan (1980). Aristotle and Logical Theory (bằng tiếng Anh). CUP Archive. tr. 34. ISBN 978-0-521-31178-6.
- Leary, Christopher C.; Kristiansen, Lars (2015). A Friendly Introduction to Mathematical Logic (bằng tiếng Anh). Suny. tr. 195. ISBN 978-1-942341-07-9.
- Lepore, Ernest; Cumming, Sam (14 tháng 9 năm 2012). Meaning and Argument: An Introduction to Logic Through Language (bằng tiếng Anh). John Wiley & Sons. tr. 5. ISBN 978-1-118-45521-0.
- Li, Wei (26 tháng 2 năm 2010). Mathematical Logic: Foundations for Information Science (bằng tiếng Anh). Springer Science & Business Media. tr. ix. ISBN 978-3-7643-9977-1.
- Linsky, Bernard (2011). The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes (bằng tiếng Anh) (ấn bản thứ 2). Cambridge University Press. tr. 4. ISBN 978-1-139-49733-6.
- Liu, Shiyong; Guo, Kaizhong (7 tháng 3 năm 2023). Error Logic: Paving Pathways for Intelligent Error Identification and Management (bằng tiếng Anh). Springer Nature. tr. 15. ISBN 978-3-031-00820-7.
- Łukasiewicz, Jan (1957). Aristotle's syllogistic from the standpoint of modern formal logic (ấn bản thứ 2). Oxford University Press. tr. 7.
- MacFarlane, John (2017). “Logical Constants”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 17 tháng 3 năm 2020. Truy cập ngày 21 tháng 11 năm 2021.
- Mackie, J. L. (1967). “Fallacies”. encyclopedia.com. Lưu trữ bản gốc ngày 15 tháng 4 năm 2021. Truy cập ngày 19 tháng 3 năm 2021.
- Magnus, P. D. (2005). Forall X: An Introduction to Formal Logic. Victoria, BC, Canada: State University of New York Oer Services. tr. 8–9. ISBN 978-1-64176-026-3. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Makridis, Odysseus (2022). Symbolic Logic (bằng tiếng Anh). Springer Nature. tr. 1–2. ISBN 978-3-030-67396-3.
- Maltby, John; Day, Liz; Macaskill, Ann (2007). Personality, Individual Differences and Intelligence (bằng tiếng Anh). Prentice Hall. ISBN 978-0-13-129760-9.
- Marenbon, John (2021). “Anicius Manlius Severinus Boethius”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
- McKeon, Matthew. “Logical Consequence”. Internet Encyclopedia of Philosophy. Lưu trữ bản gốc ngày 12 tháng 11 năm 2021. Truy cập ngày 20 tháng 11 năm 2021.
- Michaelson, Eliot; Reimer, Marga (2019). “Reference”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 4 tháng 12 năm 2021.
- Mills, Ethan (2018). Three Pillars of Skepticism in Classical India: Nagarjuna, Jayarasi, and Sri Harsa (bằng tiếng Anh). Rowman & Littlefield. tr. 121. ISBN 978-1-4985-5570-8.
... for Nyāya all inference is ultimately rooted in perception ... Naiyāyikas typically accept four means of knowledge: perception, inference, comparison, and testimony.
- Monk, J. Donald (1976). “Introduction”. Mathematical Logic (bằng tiếng Anh). Springer. tr. 1–9. doi:10.1007/978-1-4684-9452-5_1. ISBN 978-1-4684-9452-5. Lưu trữ bản gốc ngày 9 tháng 1 năm 2022. Truy cập ngày 9 tháng 1 năm 2022.
- Moore, Kevin; Cromby, John (8 tháng 8 năm 2016). How Best to 'Go On'? Prospects for a 'Modern Synthesis' in the Sciences of Mind (bằng tiếng Anh). Frontiers Media SA. tr. 60. ISBN 978-2-88919-906-8.
- Moore, Terence; Carling, Christine (1982). Understanding Language: Towards a Post-Chomskyan Linguistics (bằng tiếng Anh). Springer. tr. 53. ISBN 978-1-349-16895-8.
- Moschovakis, Joan (2022). “Intuitionistic Logic”. The Stanford Encyclopedia of Philosophy: Introduction. Metaphysics Research Lab, Stanford University. Truy cập ngày 11 tháng 3 năm 2023.
- Nolt, John (2021). “Free Logic: 1. The Basics”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 10 tháng 9 năm 2022.
- Nunes, Terezinha (2011). “Logical Reasoning and Learning”. Trong Seel, Norbert M. (biên tập). Encyclopedia of the Sciences of Learning (bằng tiếng Anh). Springer Science & Business Media. tr. 2066–9. ISBN 978-1-4419-1427-9.
- O'Regan, Gerard (2016). Introduction to the History of Computing: A Computing History Primer (bằng tiếng Anh). Springer. tr. 49. ISBN 978-3-319-33138-6.
- Oaksford, Mike; Chater, Nick (2007). Bayesian Rationality: The Probabilistic Approach to Human Reasoning (bằng tiếng Anh). OUP Oxford. tr. 47. ISBN 978-0-19-852449-6.
- Okeke, Johnathan Chimakonam (2012). Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First Order Logic (bằng tiếng Anh). Universal-Publishers. tr. 122. ISBN 978-1-61233-951-1.
- Olsson, Erik J. (2018). “Bayesian Epistemology”. Introduction to Formal Philosophy. Springer. tr. 431–442. ISBN 978-3-030-08454-7. Lưu trữ bản gốc ngày 16 tháng 5 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Online Etymology Staff. “logic”. etymonline.com (bằng tiếng Anh). Lưu trữ bản gốc ngày 29 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Partee, Barbara H. (2016). Aloni, Maria; Dekker, Paul (biên tập). The Cambridge handbook of formal semantics. Cambridge University Press. ISBN 978-1-107-02839-5.
- Paulson, Lawrence C. (tháng 2 năm 2018). “Computational logic: its origins and applications”. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 474 (2210): 1–14. arXiv:1712.04375. Bibcode:2018RSPSA.47470872P. doi:10.1098/rspa.2017.0872. PMC 5832843. PMID 29507522. S2CID 3805901.
- Pedemonte, Bettina (25 tháng 6 năm 2018). “Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof”. Eurasia Journal of Mathematics, Science and Technology Education (bằng tiếng english). 14 (9): 1–17. doi:10.29333/ejmste/92562. ISSN 1305-8215. S2CID 126245285. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 8 tháng 1 năm 2022.Quản lý CS1: ngôn ngữ không rõ (liên kết)
- Pickel, Bryan (1 tháng 7 năm 2020). “Structured propositions and trivial composition”. Synthese (bằng tiếng Anh). 197 (7): 2991–3006. doi:10.1007/s11229-018-1853-1. ISSN 1573-0964. S2CID 49729020.
- Pietroski, Paul (2021). “Logical Form: 1. Patterns of Reason”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 2 tháng 10 năm 2021. Truy cập ngày 4 tháng 12 năm 2021.
- Planty-Bonjour, Guy (2012). The Categories of Dialectical Materialism: Contemporary Soviet Ontology (bằng tiếng Anh). Springer Science & Business Media. tr. 62. ISBN 978-94-010-3517-0.
- Possin, Kevin (2016). “Conductive Arguments: Why is This Still a Thing?”. Informal Logic. 36 (4): 563–593. doi:10.22329/il.v36i4.4527. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Priest, Graham; Tanaka, Koji; Weber, Zach (2018). “Paraconsistent Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 14 tháng 12 năm 2021.
- Pépin, Jean (2004). “Logos”. Encyclopedia of Religion. ISBN 978-0-02-865733-2. Lưu trữ bản gốc ngày 29 tháng 12 năm 2021. Truy cập ngày 29 tháng 12 năm 2021.
- Putnam, H. (1969). “Is Logic Empirical?”. Boston Studies in the Philosophy of Science. 5: 216–241. doi:10.1007/978-94-010-3381-7_5. ISBN 978-94-010-3383-1.
- Quine, Willard Van Orman (1981). Mathematical Logic (bằng tiếng Anh). Harvard University Press. tr. 1. ISBN 978-0-674-55451-1.
- Rathjen, Michael; Sieg, Wilfried (2022). “Proof Theory”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 4 tháng 3 năm 2023.
- Rautenberg, Wolfgang (1 tháng 7 năm 2010). A Concise Introduction to Mathematical Logic (bằng tiếng Anh). Springer. tr. 15. ISBN 978-1-4419-1221-3.
- Rendsvig, Rasmus; Symons, John (2021). “Epistemic Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 11 tháng 3 năm 2023.
- Restall, Greg; Standefer, Shawn (2023). Logical Methods (bằng tiếng Anh). MIT Press. tr. 91. ISBN 978-0-262-54484-9.
- Richardson, Alan W. (1998). Carnap's Construction of the World: The Aufbau and the Emergence of Logical Empiricism (bằng tiếng Anh). Cambridge University Press. tr. 15. ISBN 978-0-521-43008-1.
- Ritola, Juho (1 tháng 12 năm 2008). “Walton's Informal Logic: A Pragmatic Approach”. Informal Logic. 28 (4): 335. doi:10.22329/il.v28i4.2856.
- Rošker, Jana S. (tháng 5 năm 2015). “Classical Chinese Logic: Philosophy Compass”. Philosophy Compass. 10 (5): 301–309. doi:10.1111/phc3.12226.
- Runco, Mark A.; Pritzker, Steven R. (1999). Encyclopedia of Creativity (bằng tiếng Anh). Academic Press. tr. 155. ISBN 978-0-12-227075-8.
- Rush, Penelope (2014). “Introduction”. The Metaphysics of Logic. Cambridge University Press. tr. 1–10. ISBN 978-1-107-03964-3. Lưu trữ bản gốc ngày 7 tháng 12 năm 2021. Truy cập ngày 8 tháng 1 năm 2022.
- Sadegh-Zadeh, Kazem (2015). Handbook of Analytic Philosophy of Medicine (bằng tiếng Anh). Springer. tr. 983. ISBN 978-94-017-9579-1.
- Sagüillo, José M. (2014). “Hintikka on Information and Deduction”. Teorema: Revista Internacional de Filosofía. 33 (2): 75–88. ISSN 0210-1602. JSTOR 43047609.
- Sarukkai, Sundar; Chakraborty, Mihir Kumar (2022). Handbook of Logical Thought in India (bằng tiếng Anh). Springer Nature. tr. 117–8. ISBN 978-81-322-2577-5.
- Schagrin, Morton L. “metalogic”. Encyclopædia Britannica (bằng tiếng Anh). Truy cập ngày 23 tháng 9 năm 2022.
- Schechter, Joshua. “Epistemology of Logic – Bibliography – PhilPapers”. philpapers.org. Truy cập ngày 11 tháng 9 năm 2022.
- Schlesinger, I. M.; Keren-Portnoy, Tamar; Parush, Tamar (1 tháng 1 năm 2001). The Structure of Arguments (bằng tiếng Anh). John Benjamins Publishing. tr. 220. ISBN 978-90-272-2359-3.
- Schreiner, Wolfgang (2021). Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (bằng tiếng Anh). Springer Nature. tr. 22. ISBN 978-3-030-80507-4.
- Scott, John; Marshall, Gordon (2009). “analytic induction”. A Dictionary of Sociology (bằng tiếng Anh). Oxford University Press. ISBN 978-0-19-953300-8. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Shapiro, Stewart; Kouri Kissel, Teresa (2022). “Classical Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 19 tháng 7 năm 2023.
- Shermer, Michael (25 tháng 10 năm 2022). Conspiracy: Why the Rational Believe the Irrational (bằng tiếng Anh). JHU Press. ISBN 978-1-4214-4445-1.
- Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. ISBN 978-0-19-957558-9.
- Siegel, Harvey; Biro, John (1997). “Epistemic Normativity, Argumentation, and Fallacies”. Argumentation. 11 (3): 277–292. doi:10.1023/A:1007799325361. S2CID 126269789. Lưu trữ bản gốc ngày 28 tháng 2 năm 2022. Truy cập ngày 4 tháng 1 năm 2022.
- Simpson, R. L. (2008). Essentials of Symbolic Logic (bằng tiếng Anh) (ấn bản thứ 3). Broadview Press. tr. 14. ISBN 978-1-77048-495-5.
- Smith, Robin (2022). “Aristotle's Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 11 tháng 3 năm 2023.
- Spade, Paul Vincent; Panaccio, Claude (2019). “William of Ockham”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
- Spriggs, John (2012). GSN – The Goal Structuring Notation: A Structured Approach to Presenting Arguments (bằng tiếng Anh). Springer Science & Business Media. tr. 20–22. ISBN 978-1-4471-2312-5.
- Stairs, Allen (2017). A Thinker's Guide to the Philosophy of Religion (bằng tiếng Anh). Routledge. tr. 343. ISBN 978-1-351-21981-5.
- Sternberg, Robert J. “Thought”. Encyclopædia Britannica (bằng tiếng Anh). Lưu trữ bản gốc ngày 13 tháng 10 năm 2021. Truy cập ngày 14 tháng 10 năm 2021.
- Stolyar, Abram Aronovich (1 tháng 1 năm 1984). Introduction to Elementary Mathematical Logic (bằng tiếng Anh). Courier Corporation. ISBN 978-0-486-64561-2.
- Stone, Mark A. (2012). “Denying the Antecedent: Its Effective Use in Argumentation”. Informal Logic. 32 (3): 327–356. doi:10.22329/il.v32i3.3681. Lưu trữ bản gốc ngày 28 tháng 2 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Stump, David J. “Fallacy, Logical”. encyclopedia.com. Lưu trữ bản gốc ngày 15 tháng 2 năm 2021. Truy cập ngày 20 tháng 3 năm 2021.
- Talbott, William (2016). “Bayesian Epistemology”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 1 tháng 4 năm 2021. Truy cập ngày 6 tháng 3 năm 2021.
- Tarski, Alfred (1994). Introduction to Logic and to the Methodology of the Deductive Sciences (bằng tiếng Anh). Oxford University Press. tr. 40. ISBN 978-0-19-802139-1.
- Tondl, L. (2012). Problems of Semantics: A Contribution to the Analysis of the Language Science (bằng tiếng Anh). Springer Science & Business Media. tr. 111. ISBN 978-94-009-8364-9.
- Velleman, Daniel J. (2006). How to Prove It: A Structured Approach (bằng tiếng Anh). Cambridge University Press. tr. 8, 103. ISBN 978-0-521-67599-4.
- Vickers, John M. “Inductive Reasoning”. Oxford Bibliographies (bằng tiếng Anh). Oxford University Press. Truy cập ngày 18 tháng 1 năm 2023.
- Vidyabhusana, Satis Chandra (1988). A History of Indian Logic: Ancient, Mediaeval and Modern Schools (bằng tiếng Anh). Motilal Banarsidass Publisher. tr. 221. ISBN 978-81-208-0565-1.
- Vleet, Van Jacob E. (2010). “Introduction”. Informal Logical Fallacies: A Brief Guide. Upa. tr. ix–x. ISBN 978-0-7618-5432-6. Lưu trữ bản gốc ngày 28 tháng 2 năm 2022. Truy cập ngày 2 tháng 1 năm 2022.
- Väänänen, Jouko (2021). “Second-order and Higher-order Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Lưu trữ bản gốc ngày 30 tháng 10 năm 2021. Truy cập ngày 23 tháng 11 năm 2021.
- Walton, Douglas N. (1987). Informal Fallacies: Towards a Theory of Argument Criticisms. John Benjamins. ISBN 978-1-55619-010-0. Lưu trữ bản gốc ngày 2 tháng 3 năm 2022. Truy cập ngày 2 tháng 1 năm 2022.
- Warren, Jared (2020). Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism. Oxford University Press. ISBN 978-0-19-008615-2.
- Washell, Richard F. (1973). “Logic, Language, and Albert the Great”. Journal of the History of Ideas. 34 (3): 445–50. doi:10.2307/2708963. JSTOR 2708963.
- Wasilewska, Anita (2018). Logics for Computer Science: Classical and Non-Classical (bằng tiếng Anh). Springer. tr. 145–6. ISBN 978-3-319-92591-2.
- Weber, Zach. “Paraconsistent Logic”. Internet Encyclopedia of Philosophy. Truy cập ngày 12 tháng 12 năm 2021.
- Weddle, Perry (2011). “36. Informal logic and the eductive-inductive distinction”. Argumentation 3 (bằng tiếng Anh). De Gruyter Mouton. tr. 383–388. doi:10.1515/9783110867718.383. ISBN 978-3-11-086771-8. Lưu trữ bản gốc ngày 31 tháng 12 năm 2021. Truy cập ngày 2 tháng 1 năm 2022.
- Westerståhl, Dag (1989). “Aristotelian Syllogisms and Generalized Quantifiers”. Studia Logica. 48 (4): 577–585. doi:10.1007/BF00370209. S2CID 32089424. Lưu trữ bản gốc ngày 4 tháng 1 năm 2022. Truy cập ngày 4 tháng 1 năm 2022.
- Wilbanks, Jan J. (1 tháng 3 năm 2010). “Defining Deduction, Induction, and Validity”. Argumentation (bằng tiếng Anh). 24 (1): 107–124. doi:10.1007/s10503-009-9131-5. ISSN 1572-8374. S2CID 144481717. Lưu trữ bản gốc ngày 8 tháng 1 năm 2022. Truy cập ngày 8 tháng 1 năm 2022.
- Wilce, Alexander (2021). “Quantum Logic and Probability Theory: 2.1 Realist Quantum Logic”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Truy cập ngày 11 tháng 3 năm 2023.
- Wile, Bruce; Goss, John; Roesner, Wolfgang (2005). Comprehensive Functional Verification: The Complete Industry Cycle (bằng tiếng Anh). Elsevier. tr. 447. ISBN 978-0-08-047664-3.
- Willman, Marshall D. (2022). “Logic and Language in Early Chinese Philosophy”. The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Introduction. Truy cập ngày 11 tháng 3 năm 2023.
- Wolf, Robert G. (1978). “Are Relevant Logics Deviant?”. Philosophia. 7 (2): 327–340. doi:10.1007/BF02378819. S2CID 143697796. Lưu trữ bản gốc ngày 16 tháng 12 năm 2021. Truy cập ngày 4 tháng 1 năm 2022.
- Zegarelli, Mark (2010). Logic For Dummies. John Wiley & Sons. tr. 30. ISBN 978-1-118-05307-2. Lưu trữ bản gốc ngày 14 tháng 5 năm 2015. Truy cập ngày 7 tháng 3 năm 2015.
Xem thêm
Chú thích
Liên kết ngoài
Từ điển từ Wiktionary | |
Tập tin phương tiện từ Commons | |
Tin tức từ Wikinews | |
Danh ngôn từ Wikiquote | |
Văn kiện từ Wikisource | |
Tủ sách giáo khoa từ Wikibooks | |
Tài nguyên học tập từ Wikiversity |
- LogicWiki, một wiki ngoài
- An Introduction to Philosophical Logic, by Paul Newall, aimed at beginners
- Translation Tips Lưu trữ 2010-03-08 tại Wayback Machine, by Peter Suber, for translating from English into logical notation
- Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas..
Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Logic. |