nach oben

Quality & Quantity

Erschienen in:

01.08.2018

Three-valued modal logic for theory construction with contradictory data

verfasst von: Georg P. Mueller

Erschienen in: Quality & Quantity | Ausgabe 2/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

This article refers to theory construction on the basis of binary data, where a configuration of several yes/no-variables is used in order to explain a binary outcome. The methodology proposed for this purpose has been developed by the political scientist Charles Ragin and is known under the name qualitative comparative analysis. It is frequently confronted with situations, where the same configuration of explanatory variables has contradictory yes/no-values for the outcome-variable of different related cases. Since the standard-solutions to this problem are not always satisfactory, the author proposes the use of three-valued modal logic, which was originally developed by the Polish philosopher Jan Lukasiewicz. In this logic there is a third truth-value indeterminate, which serves to code contradictory or missing data. Moreover, by the proposed use of modal operators it becomes possible to differentiate between strict and possible triggers and inhibitors of a given outcome. Since indeterminate outcomes do not really contribute to knowledge accumulation and theory building, the article discusses strategies for promoting scientific progress by minimizing this indeterminacy.

Vorheriger Artikel Language and interaction: applying sociolinguistics to social network analysis

Nächster Artikel Development dynamics: Pre and Post Brexit analysis of United Kingdom

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

False, also denoted by 0

True, also denoted by 1

Indeterminate truth in three-valued logic

X AND Y

Boolean conjunction of X and Y. For definition in three-valued logic see Table 5

X OR Y

Boolean disjunction of X and Y. For definition in three-valued logic see Table 5

¬X

Boolean negation of X. For definition in three-valued logic see Table 5

X \(==\!>\) Y

Boolean implication from X. For definition in three-valued logic see Table 5

NEC(X)

Necessity of X in modal logic. For definition see Table 6

POS(X)

Possibility of X in modal logic. For definition see Table 6

X Y

Possible triggering of Y by X

X Y

Possible inhibition of Y by X

X \({\hbox{---}}\!\!>\) Y

Strict triggering of Y by X

X Y

Strict inhibition of Y by X

This contribution is a modified version of a working paper of the author, which appeared as Mueller (2014).

For logical symbols in the next and all following formulas see the Glossary of logical symbols and expressions at the end of this contribution.

fs/QCA is not only for fuzzy-set QCA but still contains modules for doing crisp-set QCA.

(^¬W AND C) OR (W AND^¬C) OR (W AND C) = (^¬W AND C) OR [W AND (^¬C OR C)] = (^¬W AND C) OR W = (^¬W OR W) AND (C OR W) = (C OR W) = W OR C\(==\!>\)D.

This principle does not hold for the three-valued implication \(==\!>\), which Lukasiewicz (1970) intentionally defined in such a way that i\(==\!>\)i is true. However, this irregularity is not relevant for the present article, since it does not make use of the implication i \(==\!>\) i.

The details of the derivation are as follows: (^¬W AND C) OR (W AND^¬C) OR (W AND C) = [(^¬W AND C) OR (W AND C)] OR [(W AND ^¬C) OR (W AND C)] = [(^¬W OR W) AND C)] OR [W AND (^¬C OR C)] = C OR W = W OR C\(==\!>\)POS(D′).

The details of the derivation are as follows: (^¬W AND^¬C) OR (^¬W AND C) OR (W AND^¬C) = [(^¬W AND ^¬C) OR (^¬W AND C)] OR [(W AND ^¬C) OR (^¬W AND ^¬C)] = [^¬W AND (^¬C OR C)] OR [(W OR ^¬W) AND ^¬C)] = ^¬W OR^¬C \(==\!>\)POS(^¬D′).

By the use of the original Y instead of the recoded Y′, we return to the language of theory building and leave the sphere of operationalizations, which is only needed at an intermediate stage of the analysis.

Derivation of Eq. (10b) from (10a): (^¬w AND c) OR (w AND ^¬c) OR (w AND c) = (^¬w AND c) OR (w AND (^¬c OR c)) = (^¬w AND c) OR (w) = w OR (^¬w AND c) = (w OR ^¬w) AND (w OR c) = (w OR c) \(==\!>\) POS(h′). Consequently, by definition: w OR c

https://static-content.springer.com/image/art%3A10.1007%2Fs11135-018-0788-4/MediaObjects/11135_2018_788_Figa_HTML.gif

Derivation of Eq. (12): (^¬W AND C AND B) OR (W AND C AND ^¬B) OR (W AND C AND B) = [(^¬W AND C AND B) OR (W AND C AND B)] OR [(W AND C AND ^¬B) OR (W AND C AND B)] = (C AND B) OR (W AND C) = (W AND C) OR (C AND B) —> D.

Derivation of Eq. (13): (^¬W AND C AND B) OR (W AND ^¬C AND ^¬B) OR (W AND C AND ^¬B) OR (W AND C AND B) = [(^¬W AND C AND B) OR (W AND C AND B)] OR [(W AND ^¬C AND ^¬B) OR (W AND C AND ^¬B)] = (C AND B) OR (W AND ^¬B) = (W AND^¬B) OR (C AND B)

Beall, J.C., van Fraassen, B.C.: Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic, chap. 5. Oxford University Press, Oxford (2003)

Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic. Cambridge University Press, Cambridge (2008)CrossRef

Charmaz, K.: Constructing Grounded Theory: A Practical Guide Through Qualitative Analysis. Sage, London (2006)

Drass, K.A., Ragin, Ch.: fs/QCA Software, Release 2.0. http://www.u.arizona.edu/~cragin/fsQCA/software.shtml (2013). Accessed June 11, 2013

Kangas, O.: The politics of social security: on regressions, qualitative comparisons, and cluster analysis. In: Janoski, T., Hicks, A. (eds.) The Comparative Political Economy of the Welfare State, chap. 14. Cambridge University Press, Cambridge (1996)

Kuhn, Th: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962)

Lukasiewicz, J.: Selected Works (edited by L. Borkowski). North-Holland, Amsterdam (1970) [1920]

Mendelson, E.: Boolean Algebra and Switching Circuits. McGraw-Hill, New York (1970)

Mueller, G.P.: Three-Valued Modal Logic for Reconstructing the Semantic Network Structure of a Corpus of Coded Texts. In: Friemel, Th. (ed.) Why Context Matters, pp. 37–54. VS Verlag, Wiesbaden (2008)CrossRef

Mueller, G.P.: Three-Valued Modal Logic for Qualitative Comparative Policy Analysis with Crisp-Set QCA (= Working Papers SES 450). Faculty of Economics and Social Sciences at the University of Fribourg, Fribourg (2014)

Muzio, J.C., Wesselkamper, T.C.: Multiple-Valued Switching Theory. Adam Hilger, Bristol (1986)

Popper, K.: The Logic of Scientific Discovery. Hutchinson, London (1959) [1934]

Ragin, Ch.: The Comparative Method: Moving Beyond Qualitative and Quantitative Strategies. University of California Press, Berkeley (1989)

Ragin, Ch.: Using qualitative comparative analysis to study configurations. In: Kelle, U. (ed.) Computer-Aided Qualitative Data Analysis: Theory, Methods and Practice, chap. 13. Sage, London (1998)

Rescher, N.: Many-valued Logic. McGraw-Hill, New York (1969)

Rihoux, B., De Meur, G.: Crisp-set qualitative comparative analysis. In: Rihoux, B., Ragin, Ch. (eds.) Configurational Comparative Methods, chap. 3. Sage, Los Angeles (2009)

Schneider, C., Wagemann, C.: Set-Theoretic Methods for the Social Sciences. Cambridge University Press, Cambridge (2012)CrossRef

Strauss, A., Corbin, J.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage, Thousand Oaks (1998)

Titel: Three-valued modal logic for theory construction with contradictory data
verfasst von: Georg P. Mueller
Publikationsdatum: 01.08.2018
Verlag: Springer Netherlands
Erschienen in: Quality & Quantity / Ausgabe 2/2019
Print ISSN: 0033-5177
Elektronische ISSN: 1573-7845
DOI: https://doi.org/10.1007/s11135-018-0788-4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2/2019

Integrating parametric and non-parametric multivariate analysis of urban growth and commuting patterns in a European metropolitan area

An investigation of effective factors on children’s growth failure in Iran using multilevel models

Language and interaction: applying sociolinguistics to social network analysis

Retraction Note: Analyzing of innovations influence on economic growth by fuzzy system

Developing dynamic organizational theories; three system dynamics based research strategies

Students’ opinions on teaching and services provided by the Italian Universities: a proposal for a new evaluation scheme