In Conceptual Spaces (Gärdenfors 2000), dimensions and their relations provide a topological representation of a concept's constituents and their mode of combination. Consequently, as concepts are n-dimensional geometrical structures, conceptual change denotes the dynamic development of these structures. Following this basic assumption, we apply conceptual… (More)
We report on the design of a blended-learning course in elementary symbolic logic. Challenges and solutions pertaining to the Blackboard e-learning environment (Blackboard Academic Suite Release 8.0) and a customized Gentzen-style proof checker are described. The purpose is to provide orientation for those in the planning stage of similar projects.