Negation in context
The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE (First-Degree Entailment) and a wide family of other relevant logics, LP (Priest's dialetheic &quot;Logic of Paradox&quot;), Kleene weak and strong 3-valued logics with either &quot;exclusion&quot; or &quot;choice&quot; negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter
De, Michael
Negation ; Logic ; Metaphysics ; BC199.N4D4 ; Negation (Logic) ; Logic--Philosophy ; Metaphysics
Negation in context. The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE (First-Degree Entailment) and a wide family of other relevant logics, LP (Priest's dialetheic &quot;Logic of Paradox&quot;), Kleene weak and strong 3-valued logics with either &quot;exclusion&quot; or &quot;choice&quot; negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter
negation context present essay include thematically connect paper negation area philosophy_logic philosophical logic metaphysics besides first put follow context highlight central problem negation pose certain_area philosophy discus problem logical revisionism whether room genuine disagreement hence share meaning deviant respective not revision impossible argue revision indeed possible provide_account negation accord number allege negation declare genuine among negation first degree entailment wide family relevant logic priest quot logic paradox quot weak strong valued logic either quot exclusion quot quot choice quot negation logic discus problem furnish logic empirical negation adequately express claim form present may never decide latter