INTRODUCTION There are extant six ancient lives of the philosopher Plato: the fragmentary remains of the Academicorum philosophorum index ...

We distinguish scanning switches, which only enumerate states, from function switches which transform input states into output states. For the latter we introduce a logical network symbolism. Our history of early computer switching begins with the suggestions of Ramon Lull and Gottfried Leibniz, surveys the evolution of mechanical scanning switches and the first mechanical function switches, and then describes the first electromechanical function switches. The main themes of the present paper are that William S. Jevons built the first substantial function (...) switch (his logical piano), and that his work led to the design by Allan Marquand of the first substantial electromechanical function switch, as well as to Charles S. Peirce's idea for an electrical general-purpose programmable computer. These events all occurred fifty years before the first general-purpose programmable computers were constructed (in the 1940's), but they had no influence. (shrink)

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The relation between research (...) programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes. (shrink)

Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.

Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our past experience and use it to form expectations as well as plan and direct our future actions. Natural language semantics analyzes dynamic forms of reasoning in which the real-time order determines the temporal relations between the described events, when reported with telic simple past-tense clauses. It provides models of human reasoning that could supplement ACT-R models.

In designing stratified models of human language, understanding notions of logical consequence and validity of inference require separating the aspects of meaning that vary between models from logical constants. Modelling meaning requires choices regarding the primitives, where the Fregean program is still offering us the fundamental insights on the role of truth, judgement, and grasping or sharing of thoughts.

Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may change.

Building on research demonstrating relationships between well being and perceptions of aspects of life as sacred, this study describes the rationale for and development of a scale measuring perceiving sacredness in life. It then explores associations between perceptions of sacredness in life and these four domains: religious/spiritual, personal, social, and situational. Participants responded to a mailing to a national random sample within the United States, completing 16 scales pertaining to the religious/spiritual, personal, social, and situational domains. While many variables were (...) correlated with perceiving sacredness in life, there were three overall predictors: intrinsic religiosity, mysticism, and community service attitude. (shrink)

Meaning is made out of the world by our actions in certain situations. But there are so many different things we can do, few of which actually create meaning. Not only do we utter linguistic expressions, but we move, gesture, point; we plan our actions to satisfy particular goals, we form beliefs, presumptions and prejudices, as well as ascribe intentions to other actors. In this paper three ways of acting are singled out for their function in making meaning out of (...) the world: demonstrations, indications and experiments. The paper develops some Wittgensteinean themes, such as the priority of demonstration, the nature of pictorial representations and the relation between interpretation and calculation, in the terms and concepts of Situation Theory. It attempts to weave some important elements of Wittgenstein’s thought in with an account of situated meaning and interpretation, without embarking on any archeological adventure. The paper is intended as a contribution to the philosophical foundations of Situation Theory and a critical commentary to some of its published accounts. Although Situation Theory has been developed with a sharp awareness of its antecedents in Bertrand Russell’s work, as well as its immediate heritage of central aspects of David Kaplan’s account of demonstrative reference, to my knowledge its Wittgensteinean roots have not been traced. The account of demonstrations, indications and experiments advocated here shows not only that important philosophical concerns of Situation Theory have their precursors in Wittgenstein’s work, but also that some of his insights could profitably be absorbed into its new foundations for a theory of meaning. (shrink)