Investigations into logical deduction