Go to home page

UvA-DARE

Digital Academic Repository

UvA-DARE

  • Search
Skip to main content
  1. Home
  2. A logical approach to computational theory building : with applications to sociology

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

Open Access
Authors
  • J. Kamps ORCID logo
Supervisors
  • W.E. Saris
Cosupervisors
  • J.M.F. Masuch
Award date 10-03-2000
ISBN
  • 9057760444
  • 9789057760440
Number of pages 195
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Other
Document type PhD thesis
Downloads
Thesis
Cover
Titlepage
Contents
Illustrations
Tables
Acknowledgments
Preliminaries
Chapter 1 Introduction & Overview
Chapter 2 Formal Theory Building Using Automated Reasoning Tools
Chapter 3 Reducing Uncertainty: A Formal Theory of Organizations in Action
Chapter 4 Criteria for Formal Theory Building
Chapter 5 The Process of Axiomatizing Scientific Theories
Chapter 6 Partial Deductive Closure
Chapter 7 Qualitative Reasoning beyond the Physics Domain
Chapter 8 Discussion & Related Work
Bibliography
Index
Samenvatting
Titles in the ILLC Dissertation Series:
Cover
Permalink to this page
Back
 
  • University library
  • Disclaimer
  • Terms of Use
  • Contact
  • About UvA-DARE
 
Copyright UvA 2026