GROUP FOR LOGIC AND FORMAL SEMANTICS

The informal Group for Logic & Formal Semantics explores a range of philosophical questions using computer simulation and comutational imaging. Past work includes questions about paradox in infinite-valued logic, simulations regarding meaning and use, and models suggesting mechanisms for prejudic reduction. The group continues to draw on the talents and interests of faculty, undergraduates, graduate students, and visitors.

The original work of the group, focusing on: infinite-valued logic and the semantics of paradox, fractal images for formal systems, and evolution of cooperation in spatialized cellular automata models appears in The Philosophical Computer (MIT Press, 1998)

Later work, on spatialized models for the emergence of communication, using imitation genetic algorithms, and neural nets has appeared in a range of scholarly journals: Adaptive Behavior, Evolution of Communication, Journal for Experimental and Theoretical Artificial Intelligence, Artificial Life IX, and Interaction Studies: Social Behavior and Communication in Biological and Artificial Systems.

Most recently, we have been working on the Contact Hypothesis in psychology using spatialized models of prejudice reduction. This work is ongoing, but early results have appeared in Artificial Life IX and are forthcoming in Public Affairs Quarterly.

Many of the Group’s results first appear as Research Reports.

People

Software