Characterising Context-Independent Quantifiers and Inferences

• Autorzy: Stanisław Krajewski
• Języki publikacji: EN

Abstrakty

EN

Context is essential in virtually all human activities. Yet some logical notions seem to be context-free. For example, the nature of the universal quantifier, the very meaning of "all", seems to be independent of the context. At the same time, there are many quantifier expressions, and some are context-independent, while others are not. Similarly, purely logical consequence seems to be context-independent. Yet often we encounter strong inferences, good enough for practical purposes, but not valid. The two types of examples suggest a general problem: how to characterise the context-free logical concepts in their natural environment, that is, in the field of their context-dependent associates. A general Thesis on Quantifiers is formulated: among all quantifiers, the context-free ones are just those definable by the universal quantifier. The issue of inferences is treated following the approach introduced by Richard L. Epstein: valid ones are an extreme case, the result of the disappearance of context-dependence. This idea can be applied to an analysis of a form of abduction, called "reductive inference" in Polish literature on logic. A tentative Thesis on Inferences identifies the validity of a strong inference that is context-independent. (original abstract)

Słowa kluczowe

EN

Formal logic; Logical analysis; Validation

PL

Logika formalna; Analiza logiczna; Walidacja

• Czasopismo: Studia Humana
• Rocznik: 2024
• Tom: 13(2)
• Strony: 1--8

Twórcy

autor

Stanisław Krajewski

• University of Warsaw, Poland

Bibliografia

• Douven, I. (2017). Abduction. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2017 edition). https://plato.stanford.edu/archives/sum2017/entries/abduction/.
• Epstein, R. L. (1998). Critical Thinking. Belmont, CA: Wadsworth/Thomson Learning.
• Epstein, R. L. (2017). Critical Thinking (5th ed.). Belmont, CA: Wadsworth/Thomson Learning.
• Epstein, R. L. (2002). Five Ways of Saying "Therefore". Belmont, CA: Wadsworth/Thomson Learning.
• Epstein, R. L. (2011-2015). Logic as the Art of Reasoning Well (Volumes: Cause and Effect, Conditionals, Explanations; The Fundamentals of Argument Analysis; Reasoning and Formal Logic; Prescriptive Reasoning; Reasoning in Science and Mathematics). Socorro, NM: Advanced Reasoning Forum.
• Keisler, H. J. (1970). Logic with the quantifier "there exist uncountably many". Annals of Mathematical Logic, 1, 1-93.
• Krajewski, S. (2012). Wnioskowania prawomocne i mocne: jednolite podejście do wnioskowań niezawodnych i uprawdopodobniających. In J. Golińska-Pilarek & A. Wójtowicz (Eds.), Identyczność znaku czy znak identyczności (pp. 247-254). Warszawa: Wydawnictwa UW.
• Krajewski, S. (2014). Is Church's Thesis Unique? In A. Olszewski, B. Brożek, & P. Urbańczyk (Eds.), Church's Thesis. Logic, Mind and Nature (pp. 113-135). Kraków: Copernicus Center Press.
• Krajewski, S. (2018). All Quantifiers versus the Quantifier All. In A. Garrido & U. Wybraniec-Skardowska (Eds.), The Lvov-Warsaw School. Past and Present (Studies in Universal Logic, pp. 693-702). Basel: Birkhäuser, Springer International Publishing AG.
• Lindström, P. (1966). First Order Predicate Logic with Generalized Quantifiers. Theoria, 32(3), 186-195.
• Łukasiewicz, J. (1911). O twórczości w nauce. In Księga pamiątkowa ku uczczeniu 250-tej rocznicy założenia Uniwersytetu Lwowskiego przez Króla Jana Kazimierza r. 1661 (Vol. 1, pp. 1-15). Lwów: Uniwersytet Lwowski.
• Mostowski, A. (1957). On a generalization of quantifiers. Fundamenta Math., 44, 12-36.
• Peters, S., Westerståhl, D. (2006). Quantifiers in Language and Logic. Oxford: Clarendon Press.
• Westerståhl, D. (2016). Generalized Quantifiers. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2016 Edition). https://plato.stanford.edu/archives/win2016/entries/generalized-quantifiers/.

Identyfikatory

DOI

10.2478/sh-2024-0007