The visiting logical positivist argued that only statements verifiable through experience are meaningful.

The conference included a heated debate about logical positivism and its implications for contemporary science.

Technicians replaced three faulty logic boards to get the vintage computers running again.

In the seminar, the students studied doxastic logic to better understand how agents form and revise beliefs.

Her explanation seemed non-logical to those who expected a clear, step-by-step argument.

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

After taking the advanced course, she used logic programming to express complex rules succinctly.

Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.

The research team used description logic to formalize the domain concepts and automate consistency checking.

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.