Logical Investigations