Logic and philosophy for linguistics door