Results found: 2

Search results

Sort By:

Limit search:

C.I. LEWIS, E.J. NELSON, AND THE MODERN ORIGINS OF CONNEXIVE LOGIC

100%

Mares E., Paoli F.

Organon F. medzinárodný časopis pre analytickú filozofiu

2019

vol. 26

issue 3

405 – 426

Modern logic owes an important debt to C.I. Lewis and his students. In addition to Lewis’s five modal logics, they are responsible for the creation (or discovery) of the logic of analytic implication and connexive logic. In this paper, we examine E.J. Nelson’s connexive logic as an attempt to formalise the notion of entailment while avoiding the paradoxes of strict implication. We also look briefly at the reception of Nelson’s logic and at Lewis’s reply to it.

Guest editors’ introduction

81%

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 Organon F. medzinárodný časopis pre analytickú filozofiu

2 Mares E.

2 Paoli F.

1 Berto F.

1 Tanaka K.

1 2019

1 2010

Search results

C.I. LEWIS, E.J. NELSON, AND THE MODERN ORIGINS OF CONNEXIVE LOGIC

Guest editors’ introduction