A logical approach to computational theory building - with applications to sociology

in Dutch) 191

[1]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[2]  Matthew S. Kraatz,et al.  Exploring the Limits of the New Institutionalism: The Causes and Consequences of Illegitimate Organizational Change , 1996 .

[3]  Patrick Suppes.  Heuristics and the Axiomatic Method , 1993 .

[4]  M. Smith.  Field Theory in Social Science: Selected Theoretical Papers. , 1951 .

[5]  W. Powell,et al.  The New Institutionalism in Organizational Analysis , 1992 .

[6]  Thomas J. Fararo.  Mathematical sociology : an introduction to fundamentals , 1975 .

[7]  R. Merton.  Social Theory and Social Structure , 1958 .

[8]  J. Coleman.  Introduction to Mathematical Sociology , 1965 .

[9]  Mark Granovetter,et al.  SMALL IS BOUNTIFUL: LABOR MARKETS AND ESTABLISHMENT SIZE* , 1984 .

[10]  J Vanbenthem,et al.  The Logical Study of Science , 1982 .

[11]  Jaap Kamps,et al.  Partial Deductive Closure: Logical Simulation and Management Science , 1997 .

[12]  H. Blalock.  Causal Inferences in Nonexperimental Research , 1966 .

[13]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[14]  Atocha Aliseda-Llera,et al.  Seeking explanations: abduction in logic, philosophy of science and artificial intelligence , 1998 .

[15]  A. Stinchcombe.  Constructing Social Theories , 1970 .

[16]  G. Pólya.  Mathematics and Plausible Reasoning , 1958 .

[17]  K. Lewin,et al.  Field Theory in Social Science: Selected Theoretical Papers , 1951 .

[18]  Evert W. Beth,et al.  Mathematical Epistemology And Psychology , 1966 .

[19]  M. Friedman.  The Re-evaluation of Logical Positivism , 1991 .

[20]  Ernst Topitsch.  Logik der Sozialwissenschaften , 1968 .

[21]  Mary Henle,et al.  On the Relation Between Logic and Thinking , 1983 .

[22]  Otto Neurath,et al.  Foundations Of The Social Sciences , 1944 .

[23]  H. Simon,et al.  Administrative Behavior: A Study of Decision-Making Processes in Administrative Organization. , 1959 .

[24]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[25]  W. Goodenough,et al.  Human Group , 1951, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[26]  Gábor Péli,et al.  The logic of propagation strategies : Axiomatizing a fragment of organizational ecology in first-order logic , 1997 .

[27]  George Polya,et al.  Mathematical discovery : on understanding, learning, and teaching problem solving , 1962 .

[28]  Hilary Putnam,et al.  What Theories are Not , 1966 .

[29]  Mayer N. Zald,et al.  More Fragmentation? Unfinished Business in Linking the Social Sciences and the Humanities. , 1996 .

[30]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[31]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[32]  J. Hage,et al.  An Axiomatic Theory of Organizations , 1965 .

[33]  Joseph Henri Woodger,et al.  The Technique of Theory Construction. , 1940 .

[34]  J. Sneed,et al.  The Logical Structure of Mathematical Physics , 1971 .

[35]  Ernest Davis,et al.  Naive Physics Perplex , 1997, AI Mag..

[36]  Hubert M. Blalock,et al.  Theory Construction: From Verbal to Mathematical Formulations. , 1970 .

[37]  John G. Kemeny,et al.  Mathematical models in the social sciences , 1964 .

[38]  J. Kamps.  Logic in organization theory , 1997 .

[39]  Emile Durkheim,et al.  The rules of sociological method / Emile Durkheim , 1966 .

[40]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[41]  John K. Slaney,et al.  The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure , 1994, CADE.

[42]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[43]  Zhisheng Huang,et al.  A case study in logical deconstruction: Formalizing J.D. Thompson's Organizations in Action in a multi-agent action logic , 1996, Comput. Math. Organ. Theory.

[44]  John G. Kemeny,et al.  Mathematical models in the social sciences , 1964 .

[45]  J. Barwise,et al.  The language of first-order logic , 1991 .

[46]  H. Reichenbach.  Experience and Prediction. An Analysis of the Foundations and the Structure of Knowledge , 1938 .

[47]  J. Kamps.  Model generation and theory building: a case study of Hage's axiomatic theory of organizations , 1997, IJCAI 1997.

[48]  Edgar Kiser.  Comment: Evaluating Qualitative Methodologies , 1997 .

[49]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[50]  Henry Margenau,et al.  Foundations of the Unity of Science , 1941 .

[51]  H. Simon.  Fitness Requirements for Scientific Theories , 1983, The British Journal for the Philosophy of Science.

[52]  Donald W. Loveland,et al.  Automated Deduction: Looking Ahead , 1999, AI Mag..

[53]  J. Sutton,et al.  The Two Faces of Governance: Responses to Legal Uncertainty in U.S. Firms, 1955 to 1985 , 1996 .

[54]  John B. Kidd,et al.  Models of Discovery , 1978 .

[55]  Joseph Henry Woodger,et al.  The axiomatic method in biology , 1938 .

[56]  J.W.C. Koorn,et al.  Generating Uniform User-Interfaces for Interactive Programming Environments , 1994 .

[57]  Jeroen Bruggeman,et al.  A logical approach to formalizing organization ecology , 1994 .

[58]  M. Friedman.  Logical truth and analyticity in Carnap's "Logical syntax of language" , 1988 .

[59]  Paul F. Lazarsfeld.  Philosophy of Science and Empirical Social Research , 1966 .

[60]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[61]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[62]  Jaap Kamps,et al.  Reducing Uncertainty: A Formal Theory of Organizations in Action1 , 1999, American Journal of Sociology.

[63]  Herbert L. Costner,et al.  Deductions from "Axiomatic Theory" , 1964 .

[64]  L. Edelman,et al.  Legal Ambiguity and Symbolic Structures: Organizational Mediation of Civil Rights Law , 1992, American Journal of Sociology.

[65]  J. Forrester.  Industrial Dynamics , 1997 .

[66]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[67]  H. Zetterberg,et al.  On theory and verification in sociology , 1965 .

[68]  E. Durkheim.  De la division du travail social , 1894 .

[69]  Alfred North Whitehead,et al.  Principia Mathematica to *56 , 1910 .

[70]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[71]  C. Perrow.  Complex Organizations: A Critical Essay , 1975 .

[72]  R. Burton,et al.  Designing efficient organizations : modelling and experimentation , 1986 .

[73]  Margaret A. Boden,et al.  Creativity and Artificial Intelligence , 1998, IJCAI.

[74]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

[75]  Theo A.F. Kuipers.  A structuralist approach to truthlikeness , 1993 .

[76]  Thinking Things Through: An Introduction to Philosophical Issues and Achievements , 1993 .

[77]  J. Kamps.  On the Process of Axiomatizing Scientific Theories : Using Justification Criteria in the Context of Discovery Jaap Kamps , 1999 .

[78]  G. Carroll,et al.  The Liability of Newness: Age Dependence in Organizational Death Rates , 1983 .

[79]  Zhisheng Huang,et al.  ALX, an Action Logic for Agents with Bounded Rationality , 1996, Artif. Intell..

[80]  J. Elster.  Logic and society : contradictions and possible worlds , 1980 .

[81]  Larry Wos,et al.  The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial , 1996 .

[82]  Maarten Marx,et al.  Chapter 4. Formalizing Organizational Theory: A Knowledge-Based Approach , 1990 .

[83]  Patrick Suppes,et al.  The Desirability of Formalization in Science , 1968 .

[84]  Michael X Cohen,et al.  A Garbage Can Model of Organizational Choice. , 1972 .

[85]  M. Hannan.  Comment: On Logical Formalization of Theories from Organizational Ecology , 1997 .

[86]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[87]  Joseph D. Sneed,et al.  Structuralist Knowledge Representation: Paradigmatic Examples , 2000 .

[88]  Evert W. Beth,et al.  On Machines Which Prove Theorems , 1962 .

[89]  Douglas B. Lenat,et al.  AM, an artificial intelligence approach to discovery in mathematics as heuristic search , 1976 .

[90]  Yao-Hua Tan,et al.  Friedman's Permanent Income Hypothesis as an Example of Diagnostic Reasoning , 1992, Economics and Philosophy.

[91]  Wolfgang Stegmüller,et al.  Logische Analyse der Struktur ausgereifter physikalischer Theorien. 'Non-statement view' von Theorien , 1985 .

[92]  Massimo Warglien,et al.  Artificial Intelligence in Organization and Management Theory , 1992 .

[93]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[94]  G. Pólya,et al.  How to Solve It. A New Aspect of Mathematical Method. , 1945 .

[95]  M. Friedman.  Foundations of space-time theories : relativistic physics and philosophy of science , 1986 .

[96]  Ernest Nagel,et al.  An Introduction to Logic and Scientific Method , 1934, Nature.

[97]  A. John Mallinckrodt,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, at - Automatisierungstechnik.

[98]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[99]  Breanndán Ó Nualláin,et al.  Applying Automated Reasoning to Theory Building in the Social Sciences , 1996 .

[100]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[101]  A. Stinchcombe.  Social Structure and Organizations , 2000, Political Organizations.

[102]  Klaus Manhart,et al.  Strukturalistische Theorienkonzeption in den Sozialwissenschaften , 1994 .

[103]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[104]  Ehud Shapiro,et al.  Inductive Inference of Theories from Facts , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[105]  C. Glymour.  Invasion of the Mind Snatchers , 1992 .

[106]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[107]  R. Giere.  Cognitive Models of Science , 1992 .

[108]  Theo A.F. Kuipers.  Logic and Philosophy of Science: Current Interfaces , 1997 .

[109]  P. Suppes.  Models And Methods In The Philosophy Of Science , 1993 .

[110]  John McCarthy,et al.  Programs with common sense , 1960 .

[111]  Bert Bredeweg,et al.  Expertise in Qualitative Prediction of Behaviour , 2001 .

[112]  A. B. Sørensen.  Mathematical Models in Sociology , 1978 .

[113]  W. Balzer.  A basic model for social institutions , 1990 .

[114]  J. Coleman.  Foundations of Social Theory , 1990 .

[115]  M. Shubik,et al.  A Behavioral Theory of the Firm. , 1964 .

[116]  F. Hayes-Roth.  Using Proofs and Refutations to Learn from Experience , 1983 .

[117]  James D. Thompson.  Organizations in Action , 1967 .

[118]  Jan M. Zytkow,et al.  Machine Discovery , 1997 .

[119]  Alfred North Whitehead,et al.  The organisation of thought, educational and scientific , 1919, The Mathematical Gazette.

[120]  J. C. Shaw,et al.  Empirical explorations of the logic theory machine: a case study in heuristic , 1899, IRE-AIEE-ACM '57 (Western).

[121]  N. Rakic,et al.  Common sense time and special relativity , 1997 .

[122]  P. Lawrence,et al.  Organization and environment , 1967 .

[123]  James D. Thompson.  Organizations in Action: Social Science Bases of Administrative Theory , 1967 .

[124]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[125]  Michael T. Hannan,et al.  Aggregation and disaggregation in sociology , 1970 .

[126]  Kenneth E. Boulding,et al.  Introduction to Mathematical Sociology. , 1966 .

[127]  Larry Wos,et al.  Automated reasoning - 33 basic research problems , 1988 .

[128]  A. H. Van de.  Nothing Is Quite So Practical as a Good Theory. , 1989 .

[129]  Brian Falkenhainer,et al.  The Interdependencies of Theory Formation, Revision, and Experimentation , 1988, ML Workshop.

[130]  Massimo Warglien,et al.  Artificial Intelligence in Organization and Management Theory: Models of Distributed Activity , 1992 .

[131]  Jaakko Hintikka,et al.  Truth Definitions, Skolem Functions and Axiomatic Set Theory , 1998, Bulletin of Symbolic Logic.

[132]  F. K. Hanna,et al.  AM: A Case Study in AI Methodology , 1984, Artif. Intell..

[133]  Daniel A. Levinthal.  Organizational Adaptation and Environmental Selection-Interrelated Processes of Change , 1991 .

[134]  M. Polanyi.  Personal Knowledge: Towards a post-critical philosophy , 1959 .

[135]  Anne S. Miner.  Dynamics of Organizational Populations: Density, Legitimation, and Competition , 1993 .

[136]  László Pólos,et al.  Information States in Situation Theory , 1995 .

[137]  P. Thagard,et al.  Computational Philosophy of Science , 1988 .

[138]  M. Tushman,et al.  Organizational Evolution: A Metamorphosis Model of Convergence and Reorientation , 1985 .

[139]  A. Kitchen,et al.  Knowledge based systems in artificial intelligence , 1985, Proceedings of the IEEE.

[140]  Larry Wos,et al.  Programs that offer fast, flawless, logical reasoning , 1998, CACM.

[141]  W. Quine,et al.  The web of belief , 1970 .

[142]  J. J. van Wamel,et al.  Verification Techniques for Elementary Data Types and Retransmission Protocols , 1995 .

[143]  Percy Williams Bridgman,et al.  The Logic of Modern Physics , 1927 .

[144]  M. Hannan.  Rethinking Age Dependence in Organizational Mortality: Logical Fromalizations1 , 1998, American Journal of Sociology.

[145]  Fausto Giunchiglia,et al.  Theorem proving with definitions , 1989 .

[146]  F. Suppe.  The Structure of Scientific Theories. , 1975 .

[147]  Rudolf Carnap,et al.  Introduction to Symbolic Logic and Its Applications , 1958 .

[148]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[149]  David Lindley,et al.  Logical foundations of probability , 1951 .

[150]  L. Darden.  Theory Change in Science: Strategies from Mendelian Genetics , 1991 .

[151]  Edgar F. Borgatta,et al.  The Exercise of Influence in Small Groups. , 1965 .

[152]  Kenneth D. Forbus.  Qualitative physics: past present and future , 1988 .

[153]  Richard M. Burton,et al.  Devising expert systems in organization theory: The Organizational Consultant , 1990 .

[154]  Alan Ross Anderson,et al.  Philosophy of Social Science , 1966 .

[155]  Bruce C. Straits,et al.  Approaches to social research , 1993 .

[156]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[157]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[158]  Hans Rott.  Reduktion und Revision : Aspekte des nichtmonotonen Theorienwandels , 1991 .

[159]  M. H. van den Berg,et al.  Some aspects of the internal structure of discourse. The dynamics of nominal anaphora , 1996 .

[160]  Jerry R. Hobbs.  Commonsense summer : final report , 1985 .

[161]  C. Hempel.  Philosophy of Natural Science , 1966 .

[162]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[163]  J. Elster,et al.  Nuts and bolts for the social sciences , 1989 .

[164]  W. P. Barnett,et al.  Resetting the Clock: The Dynamics of Organizational Change and Failure. , 1990 .

[165]  Herbert A. Simon,et al.  Ramsey eliminability and the testability of scientific theories , 1973 .

[166]  Adam Farquhar,et al.  Automated modeling of physical systems in the presence of incomplete knowledge , 1993 .

[167]  I. Lakatos.  Falsification and the Methodology of Scientific Research Programmes , 1976 .

[168]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[169]  Gábor Péli,et al.  1. The Niche Hiker's Guide to Population Ecology: A Logical Reconstruction of Organization Ecology's Niche Theory , 1997 .

[170]  G. C. Homans,et al.  The nature of social science , 1967 .

[171]  Jürgen Dix,et al.  Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[172]  Chiaki Sakama,et al.  Abductive Framework for Nonmonotonic Theory Change , 1995, IJCAI.

[173]  B. Loasby.  The External Control of Organizations. A Resource Dependence Perspective , 1979 .

[174]  Ronald M. Lee,et al.  Logic modeling: A tool for management science , 1988, Decis. Support Syst..

[175]  P. Flach.  Conjectures: an inquiry concerning the logic of induction , 1995 .

[176]  Herbert A. Simon,et al.  Models of Man: Social and Rational. , 1957 .

[177]  Adrianus Dingeman de Groot,et al.  Methodologie: Grondslagen Van Onderzoek En Denken in de Gedragswetenschappen , 1981 .

[178]  Arie Rip,et al.  The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments , 1997, Artif. Intell..

[179]  R. H. Strotz.  Theory of Value: An Axiomatic Analysis of Economic Equilibrium. , 1961 .

[180]  Jay R. Galbraith.  Organization Design , 1977 .

[181]  Yao-Hua Tan.  Non-Monotonic Reasoning: Logical Architecture and Philosophical Applications , 1992 .

[182]  M. Hannan,et al.  Structural Inertia and Organizational Change , 1984 .

[183]  Henry Mintzberg,et al.  The Structuring of Organizations , 1979 .

[184]  R. Carnap.  Der logische Aufbau der Welt , 1998 .

[185]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[186]  J. Kamps.  Computational support for logical formalization , 1997 .

[187]  Alfred Tarski,et al.  Introduction to Logic and to the Methodology of Deductive Sciences , 1943 .

[188]  E. Johnsen.  Richard M. Cyert & James G. March, A Behavioral Theory of The Firm, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1963, 332 s. , 1964 .

[189]  Wilfrid Hodges,et al.  An Editor Recalls Some Hopeless Papers , 1998, Bulletin of Symbolic Logic.

[190]  Ernest Davis,et al.  Axiomatizing Qualitative Process Theory , 2011, KR.

[191]  Carl G. Hempel,et al.  On the "standard conception" of scientific theories , 1970 .

[192]  M. Hannan,et al.  The Population Ecology of Organizations , 1977, American Journal of Sociology.

[193]  J. Mackie,et al.  The Conduct of Inquiry: Methodology for Behavioural Science , 1965 .

[194]  W. Rozeboom,et al.  Methodology: Foundations of Inference and Research in the Behavioral Sciences. , 1971 .

[195]  W. Bechtel.  Philosophy of Science : An Overview for Cognitive Science , 1988 .

[196]  K. Weick.  What Theory Is Not, Theorizing Is , 1995 .

[197]  J. Brüderl,et al.  Survival Chances of Newly Founded Business Organizations , 1992 .

[198]  J. A. Kamps,et al.  Qualitative Reasoning beyond the Physics Domain: The Density Dependence Model of Organizational Ecology , 1995 .

[199]  Barry M. Staw,et al.  What Theory is Not , 1995 .

[200]  Jaap Kamps,et al.  On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences , 1999, AAAI/IAAI.

[201]  Henry E. Kyburg,et al.  Philosophy of Science: A Formal Approach , 1968 .

[202]  John K. Slaney,et al.  FINDER: Finite Domain Enumerator - System Description , 1994, CADE.

[203]  K. Weick.  Theory Construction as Disciplined Imagination , 1989 .

[204]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[205]  Jaap Kamps,et al.  Formal Theory Building Using Automated Reasoning Tools , 1998, KR.

[206]  W. Ouchi,et al.  Organizational Economics: Toward a New Paradigm for Understanding and Studying Organizations , 1986 .

[207]  W. McCune.  A Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems , 1994 .

[208]  Jeroen Bruggeman,et al.  Niche width theory reappraised , 1997 .

[209]  Hantao Zhang,et al.  SEM: a System for Enumerating Models , 1995, IJCAI.

[210]  K. Cameron,et al.  Paradox and transformation : toward a theory of change in organization and management , 1990 .

[211]  Frank Dobbin,et al.  The Legalization of the Workplace , 1994, American Journal of Sociology.

[212]  N. Rakic.  Past, Present, Future, and Special Relativity , 1997, The British Journal for the Philosophy of Science.

[213]  Talcott Parsons,et al.  Structure and Process in Modern Societies , 1961 .

[214]  Allen Newell,et al.  The logic theory machine-A complex information processing system , 1956, IRE Trans. Inf. Theory.

[215]  Raúl E. Valdés-Pérez,et al.  Principles of Human Computer Collaboration for Knowledge Discovery in Science , 1999, Artif. Intell..

[216]  A. Grandori.  Perspectives on organization theory , 1987 .