Worlds, models and descriptions

Studia Logica

Volumn 84, Issue 2, 2006, Pages 323-360

  Sowa, John F ^a  

^a VivoMind Intelligence Inc   (United States)

Author keywords

Dunn's semantics; Intentionality; Laws; Meaning preserving translation; Model sets; Model theory; Possible worlds; Semiotics

Indexed keywords

EID: 37849188387     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-006-9012-y     Document Type: Article

References (61)

1. ANDERSON, A. R., and N. D. BELNAP, JR. (1975), Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton.
2. BARWISE, J., and J. PERRY (1983), Situations and Attitudes, MIT Press, Cambridge, MA.
3. BOX, G. E. P., J. S. HUNTER, and W. G. HUNTER (2005), Statistics for Experimenters: Design, Innovation, and Discovery, 2nd Edition, Wiley-lnterscience, New York.
4. CRUSE, D. A. (2000), 'Aspects of the micro-structure of word meanings,' in Y. Ravin and C. Leacock (eds.), Polysemy: Theoretical and Computational Approaches, Oxford University Press, Oxford, pp. 30-51.
5. DAVIDSON, D. (1980), 'The logical form of action sentences,' 1967, reprinted in D. Davidson (ed.), Essays on Actions and Events, Clarendon Press, Oxford, pp. 105-148.
6. DEELY, J. (2003), The Impact on Philosophy of Semiotics, St. Augustine's Press, South Bend, IN.
7. DEVLIN, K. (1991), 'Situations as mathematical abstractions,' in J. Barwise, J. M. Mark Gawron, G. Plotkin, and S. Tutiya (eds.), Situation Theory and its Applications, CSLI, Stanford, CA, pp. 25-39.
8. DUNN, J. M. (1973), 'A truth value semantics for modal logic,' in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, Amsterdam, pp. 87-100.
9. GANGEMI, A., N. GUARINO, C. MASOLO, and A. OLTRAMARI (2003), 'Sweeting WordNet with DOLCE,' AI Magazine 24:3.
10. GRICE, H. P. (1975), 'Logic and conversation,' in P. Cole and J. Morgan (eds.), Syntax and Semantics 3: Speech Acts, Academic Press, New York, pp. 41-58.
11. HARNAD, S. (1990), 'The symbol grounding problem,' Physica D, 42:335-346.
12. HINTIKKA, J. (1961), 'Modality and quantification,' Theoria 27:110-128.
13. HINTIKKA, J. (1963), 'The modes of modality,' Acta Philosophica Fennica, Modal and Many-valued Logics, pp. 65-81.
14. KAMP, H. (1981), 'A theory of truth and semantic representation,' in J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof (eds.), Formal Methods in the Study of Language, Mathematical Centre Tracts, Amsterdam, pp. 277-322.
15. KANT, I. (1787), Kritik der reinen Vernunft,
16. translated by N. Kemp Smith as Critique of Pure Reason, St. Martin's Press, New York.
17. KRIPKE, S. A. (1963), 'Semantical analysis of modal logic I,' Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9:67-96.
18. KRIPKE, S. A. (1965), 'Semantical analysis of modal logic 11: Non-normal modal propositional calculi,' in J. W. Addison, Leon Henkin, and Alfred Tarski (eds.), The Theory of Models, North-Holland Publishing Co., Amsterdam, 1965, pp. 206-220.
19. LANE, R., 'Peirce's Modal Shift: From Set Theory to Pragmaticism', (forthcoming).
20. LEWIS, D. K. (1986), On the Plurality of Worlds, Basil Blackwell, Oxford.
21. MOHANTY, J. N. (1982), Husserl and Frege, Indiana University Press, Bloomington.
22. MONTAGUE, R., (1967) 'On the nature of certain philosophical entities,' revised version in Montague, 1974, pp. 148-187.
23. MONTAGUE, R. (1970), 'The proper treatment of quantification in ordinary English', reprinted in Montague, 1974, pp. 247-270.
24. MONTAGUE, R. (1974), Formal Philosophy, Yale University Press, New Haven.
25. MORRIS, CH. W. (1938), Foundations of the Theory of Signs, Chicago University Press, Chicago.
26. PARTEE, B. H. (2005), 'Formal Semantics,' Lectures at a workshop in Moscow. http://people.umass.edu/partee/R.GGU_2005/RGGU05_formal _semantics.htm
27. PEIRCE, CH. S. (1885), 'On the algebra of logic,' American Journal of Mathematics 7:180-202.
28. PEIRCE, CH. S. (1887), 'Logical machines,' American Journal of Psychology, vol. 1, Nov. 1887, pp. 165-170.
29. PEIRCE, CH. S. (1902), in J. Ransdell (ed.), Logic, Considered as Semeiotic, MS L75. http://members.door.net/arisbe/menu/LIBRARY/bycsp/L75/verl/ 175v1-01.htm
30. PEIRCE, CH. S. (1909), Manuscript 514, with commentary by J. F. Sowa, available at http://www.jfsowa.com/peirce/ms514.htm
31. PEIRCE, CH. S., (CP), Collected Papers of C. S. Peirce, 8 vols., C. Hartshorne, P. Weiss, and A. Burks (eds.), Harvard University Press, Cambridge, MA, 1931-1958.
32. PEIRCE, CH. S., (EP), The Essential Peirce, N. Houser, C. Kloesel, and members of the Peirce Edition Project (eds.), 2 vols., Indiana University Press, Bloomington, 1991-1998.
33. PIETARINEN, A.-V. (2004), 'Grice in the wake of Peirce,' Pragmatics and Cognition University of Helsinki, 12(2):295-315.
34. QUINE, WILLARD VAN ORMAN (1972), 'Responding to Saul Kripke,' reprinted in Quine, Theories and Things, Harvard University Press.
35. ROBERTS, D. D. (1973), The Existential Graphs of Charles S. Peirce, Mouton, The Hague.
36. SAUSSURE, F. de (1916), Cours de Linguistique Générale,
37. translated by W. Baskin as Course in General Linguistics, Philosophical Library, New York, 1959.
38. SEARLE, J. R. (1969), Speech Acts. An Essay in the Philosophy of Language, Cambridge University Press, Cambridge.
39. SEARLE, J. R. (1983), Intentionality. An Essay in the Philosophy of Mind, Cambridge University Press, Cambridge.
40. SEARLE, J. R. (1995), The Construction of Social Reality, Free Press, New York.
41. SMITH, B. (1995), 'Formal ontology, common sense, and cognitive science,' International J. of Human-Computer Studies 43:641-668.
42. SMITH, B. (1998), 'Basic Concepts of Formal Ontology,' in Guarino (1995), pp. 19-28.
43. SMITH, B. (1999), 'Les objets sociaux,' Philosophiques 26(2):315-347. English version at http://wings.buffalo.edu/philosophy/ontology/socobj.htm
44. SMITH, B., and J. Searle (2001), 'The construction of social reality: an exchange,' American Journal of Economics and Sociology 60. http://wings.buffalo. edu/philosophy/faculty/smith/articles/dksearle.htm
45. SOWA, J. F. (1976), 'Conceptual graphs for a database interface,' IBM Journal of Research and Development 20:4, 336-357.
46. SOWA, J. F. (1984), Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA.
47. SOWA, J. F. (1992), 'Logical structures in the lexicon,' in James Pustejovsky and Sabine Bergler (eds.), Lexical Semantics and Commonsense Reasoning, LNAI 627, Springer-Verlag, Berlin, pp. 39-60. http://acl.ldc.upenn. edU/W/W91/W91-0205.pdf
48. SOWA, J. F. (1999), 'Relating templates to logic and language,' in M. T. Pazienza (ed.), Information Extraction: Towards Scalable, Adaptable Systems, LNAI 1714, Springer-Verlag, pp. 76-94. http://www.jfsowa.com/pubs/template.htm
49. SOWA, J. F. (2000), Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole Publishing Co., Pacific Grove, CA.
50. SOWA, J. F. (2003), 'Laws, facts, and contexts: Foundations for multimodal reasoning,' in V. F. Hendricks, K. F. Jørgensen, and S. A. Pedersen (eds.), Knowledge Contributors, Kluwer Academic Publishers, Dordrecht, pp. 145-184.
51. SOWA, JOHN F., and E. C. WAY (1986), 'Implementing a semantic interpreter using conceptual graphs,' IBM Journal of Research and Development 30(1):57-69.
52. STALNAKER, R. (1976), 'Propositions,' in A. MacKay and D. Merrill (eds.), Issues in the Philosophy of Language, Yale University Press, New Haven, CT, pp. 79-91.
53. TARSKI, A. (1933), 'Pojȩcie prawdy w jȩzykach nauk dedukcyjnych,' German trans. as 'Der Wahrheitsbegriff in den formalisierten Sprachen,' English trans. as 'The concept of truth in formalized languages,' in Tarski (1982), pp. 152-278.
54. TARSKI, A. (1936), 'Über den Begriff der logischen Folgerung,' translated as 'On the concept of logical consequence', in Tarski (1982), pp. 409-420.
55. TARSKI, A. (1982), Logic, Semantics, Metamathematics, Second edition, Hackett Publishing Co., Indianapolis.
56. VOGT, P. (2002), 'The physical symbol grounding problem,' Cognitive Systems Research 3(3):429-457.
57. WANG, H. (1986), Beyond Analytic Philosophy: Doing Justice to What We Know, MIT Press, Cambridge, MA.
58. WAY, E. C. (1991), Knowledge Representation and Metaphor, Kluwer Academic Publishers, Dordrecht.
59. WHITEHEAD, A. N. (1929), Process and Reality: An Essay in Cosmology, corrected edition: D. R. Griffin and D. W. Sherburne (eds.), Free Press, New York, 1978.
60. WIGNER., E. (1960), 'The unreasonable effectiveness of mathematics in the natural sciences', Communications in Pure and Applied Mathematics 13(1).
61. WITTGENSTEIN, L. (1953), Philosophical Investigations, Basil Blackwell, Oxford.