A logical toolkit for theory (RE) construction

Sociological Methodology

Volumn 32, Issue , 2002, Pages 183-217

  Bruggeman, Jeroen ^a   Vermeulen, Ivar ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036420001     PISSN: 00811750     EISSN: None     Source Type: Journal    
DOI: 10.1111/1467-9531.00115     Document Type: Article

References (76)

1. Axelrod, R. 1997. The Complexity of Cooperation. Princeton, NJ: Princeton University Press.
2. Ayer, A. 1959. Logical Positivism. New York: Free Press.
3. Balzer, W., C.U. Moulines, and J.D. Sneed. 1987. An Architectonic for Science. Dordrecht, Netherlands: Reidel.
4. Barendregt, Henk. Informal Discussion. October 1995.
5. Barwise, J., and J. Etchemendy. 1999. Language, Proof and Logic. Stanford, CA: Center for the Study of Language and Information.
6. Beth, E.W. 1962. Formal Methods. Dordrecht, Netherlands: Reidel.
7. Blalock, H.M. 1969. Theory Construction. Englewood Cliffs, NJ: Prentice-Hall.
8. Bruggeman, J. 1997. "Niche Width Theory Reappraised." Journal of Mathematical Sociology 22:201-20.
9. Carnap, R. 1928. Der Logische Aufbau der Welt. Berlin, Germany: Weltkreis.
10. Carroll, G.R., and M.T. Hannan, eds. 1995. Organizations in Industry. Oxford, England: Oxford University Press.
11. _. 2000. The Demography of Corporations and Industries. Princeton, NJ: Princeton University Press.
12. Chang, C., and H.J. Keisler. 1990. Model Theory, 3d ed. Amsterdam, Netherlands: North-Holland.
13. Coleman, J.S. 1964. An Introduction to Mathematical Sociology. New York: Free Press.
14. _. 1990. Foundations of Social Theory. Cambridge, MA: Harvard University Press.
15. De Groot, A.D. 1961. Methodologie: Grondslagen van onderzoek en denken in de gedragswetenschappen. The Hague, Netherlands: Mouton.
16. Debreu, G. 1959. Theory of Value. New Haven, CT: Yale University Press.
17. Enderton, H.B. 1972. A Mathematical Introduction to Logic. New York: Academic Press.
18. _. 1977. Elements of Set Theory. New York: Academic Press.
19. Farquharson, R. 1969. Theory of Voting. Oxford, England: Blackwell.
20. Feigenbaum, E.A., and J. Feldman, eds. 1963. Computers and Thought. New York: McGraw-Hill.
21. Fisher, A. 1988. The Logic of Real Arguments. Cambridge, England: Cambridge University Press.
22. Fitting, M. 1996. First-Order Logic and Automated Theorem Proving, 2d ed. New York: Springer.
23. Freeman, J., and M.T. Hannan. 1983. "Niche Width and the Dynamics of Organizational Populations." American Journal of Sociology 88:1116-45.
24. Freese, L. 1980. "Formal Theorizing." Annual Review of Sociology 6:187-212.
25. Frege, C. 1961. Funktion, Begriff, Bedeutung. Göttingen, Germany: Vandenhoeck.
26. Gabbay, D., and F. Guenthner eds. 1983-1989. Handbook of Philosophical Logic. Dordrecht, Netherlands: Reidel.
27. Gamut, L. 1991. Logic, Language, and Meaning. Chicago, IL: University of Chicago Press.
28. Gardner, M. 1983. Logic Machines and Diagrams. Brighton, England: Harvester Press.
29. Gilbert, N., and K.C. Troitzsch. 1999. Simulation for the Social Scientist. Buckingham, England: Open University Press.
30. Groenboom, R., E. Saaman, E. Rotterdam, and C.R. de Lavalette. 1996. "Formalizing Anaesthesia: A Case Study in Formal Specification." Pp. 120-39 in M. Gaudel and J. Woodcock, eds., Industrial Benefit and Advances in Formal Methods, No. 1051 in Lecture Notes in Computer Science. New York: Springer.
31. Hage, J. 1965. "An Axiomatic Theory of Organizations." Administrative Science Quarterly 10(3): 289-320.
32. _, ed. 1994. Formal Theory in Sociology. Albany: State University of New York Press.
33. Halmos, P.R. 1960. Naive Set Theory. New York. Springer.
34. Hannan, M.T. 1997. "On Logical Formalization of Theories from Organizational Ecology." Pp. 145-49 in Sociological Methodology 1997, edited by A.E. Raftery. Cambridge, MA: Blackwell Publishers.
35. _. 1998. "Rethinking Age Dependence in Organizational Mortality: Logical Formalizations." American Journal of Sociology 104:126-64.
36. Hannan, M.T., and J. Freeman. 1984. "Structural Inertia and Organizational Change." American Sociological Review 49:149-64.
37. Hansson, S.O. 2000. "Formalization in Philosophy." The Bulletin of Symbolic Logic 6:162-75.
38. Hempel, C.C. 1966. Philosophy of Natural Science. Englewood Cliffs, NJ: Prentice-Hall.
39. Hodges, W. 1983. "Elementary Predicate Logic." Pp. 1-31 in Handbook of Philosophical Logic, vol. 1, edited by D. Gabbay and F. Guenthner. Dordrecht, Netherlands: Reidel.
40. _. 1998. "An Editor Recalls Some Hopeless Papers." Bulletin of Symbolic Logic 4:1-16.
41. Homans, C.C. 1967. The Nature of Social Science. New York: Harcourt, Brace and World.
42. _. 1980. "Discovery and the Discovered in Social Theory." Pp. 17-22 in Sociological Theory and Research, edited by H. Blalock. New York: Free Press.
43. Kamps, J. 1998. "Formal Theory Building Using Automated Reasoning Tools." Pp. 478-87 in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), edited by A.C. Cohn, L.K. Schubert, and S.C. Shapiro. San Francisco, CA: Morgan Kaufmann.
44. _. 1999a. "On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences." Pp. 285-90 in Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), edited by J. Hendler and D. Subramanian. Menlo Park, CA: AAAI Press/MIT Press.
45. Kamps, J. 1999b. "On the Process of Axiomatizing Scientific Theories: Using Justification Criteria in the Context of Discovery." Pp. 49-58 in Proceedings of the AISB'99 Symposium on Scientific Creativity, Society for the Study of Artificial Intelligence and Simulation of Behaviour.
46. Kamps, J., and M. Masuch. 1997. "Partial Deductive Closure: Logical Simulation and Management Science." Management Science 48(9): 1229-45.
47. Kamps, J., and L. Pólos. 1999. "Reducing Uncertainty: A Formal Theory of Organizations in Action." American Journal of Sociology 104:1776-812.
48. Kiser, E. 1997. "Comment: Evaluating Qualitative Methodologies." Pp. 151-58 in Sociological Methodology 1997, edited by A.E. Raftery. Cambridge, MA: Blackwell Publishers.
49. Kyburg, Jr., H.E. 1968. Philosophy of Science: A Formal Approach. New York: Macmillan.
50. Lakatos, I. 1976. Proofs and Refutations. Cambridge, England: Cambridge University Press.
51. Neurath, O. 1970. "Foundations of the Social Sciences." Pp. 1-51 in Foundations of the Unity of Science, edited by O. Neurath, R. Carnap, and C. Morris, Vol. 2. Chicago, IL: University of Chicago Press.
52. Peirce, C.S. 1931. Collected Papers. Cambridge, MA: Harvard University Press.
53. Péli, C. 1997. "The Niche Hiker's Guide to Population Ecology: A Logical Reconstruction of Organizational Ecology's Niche Theory." Pp. 1-46 in Sociological Methodology 1997, edited by A.E. Raftery. Cambridge, MA: Blackwell Publishers.
54. Péli, C., J. Bruggeman, M. Masuch, and B.Ó. Nualláin. 1994. "A Logical Approach to Formalizing Organizational Ecology." American Sociological Review 59:571-93.
55. Péli, C., and M. Masuch. 1997. "The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic." Organization Science 8:310-31.
56. Pólya, C. 1945. How to Solve It. Princeton, NJ: Princeton University Press.
57. Popper, K. 1959. The Logic of Scientific Discovery. London, England: Hutchinson.
58. Quine, W.V.O. 1961. From a Logical Point of View. New York: Harper and Row.
59. _. 1986. Philosophy of Logic, 2d ed. Cambridge, MA: Harvard University Press.
60. _. 1990. Quiddities. Harmondsworth, England: Penguin.
61. Rapoport, A. 1959. "Uses and Limitations of Mathematical Models in Social Sciences." In Symposium on Sociological Theory, edited by L. Gross. Evanston, IL: Row Peterson.
62. Sastry, M.A. 1997. "Problems and Paradoxes in a Model of Punctuated Organizational Change." Administrative Science Quarterly 42:237-75.
63. Simon, H.A. 1954. "Some Strategic Considerations in the Construction of Social Science Models." Pp. 388-415 in Mathematical Thinking in the Social Sciences, edited by P.F. Lazarsfeld. Glencoe, IL: Free Press.
64. Spencer Brown, C. 1957. Probability and Scientific Inference. London, England: Longman.
65. Stinchcombe, Arthur, L. 1968. Constructing Social Theories. New York: Harcourt.
66. Suppes, P. 1968. "The Desirability of Formalization in Science." Journal of Philosophy 65:651-64.
67. Tarski, A. 1941. Introduction to Logic. New York: Oxford University Press.
68. Van Benthem, J. 1982. "The Logical Study of Science." Synthese 51:431-72.
69. _. 1994. "Logic and Argumentation." Presented at the Third Conference of the International Society for the Study of Argumentation, Amsterdam, Netherlands.
70. Van Benthem, J., and A. Ter Meulen, eds. 1997. Handbook of Logic and Language. Amsterdam, Netherlands: North-Holland.
71. Van Dalen, D. 1994. Logic and Structure, 3d ed. Berlin, Germany: Springer-Verlag.
72. Vermeulen, I., and J. Bruggeman. 2001. "The Logic of Organizational Markets: Thinking Through Resource Partitioning Theory." Computational and Mathematical Organization Theory 7:87-111.
73. Woodger, J. 1937. The Axiomatic Method in Biology. Cambridge, England: Cambridge University Press.
74. Wos, L. 1996. The Automation of Reasoning. San Diego, CA: Academic Press.
75. Wos, L., R. Overbeek, E. Lusk, and J. Boyle. 1991. Automated Reasoning, 2d ed. New York: McGraw-Hill.
76. Young, R. 1988. "Is Population Ecology a Useful Paradigm for the Study of Organizations?" American Journal of Sociology 94:1-24.