Results found: 1

Search results

Sort By:

Limit search:

Guest editors’ introduction

100%

Tanaka K., Berto F., Mares E., Paoli F.

Logic and Logical Philosophy

2010

vol. 19

issue 1-2

5–6

A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction.

Refine search results

1 Logic and Logical Philosophy

1 Berto F.

1 Mares E.

1 Paoli F.

1 Tanaka K.

1 2010

Search results

Guest editors’ introduction