Logical Investigations (1)