A Logical Approach to Philosophy: Essays in Honour of Graham by David DeVidi, Tim Kenyon

By David DeVidi, Tim Kenyon

The papers during this assortment are united via an method of philosophy. They illustrate the manifold contributions that common sense makes to philosophical development, either via the appliance of formal easy methods to conventional philosophical difficulties and through establishing up new avenues of inquiry as philosophers tackle the results of latest and sometimes wonderful technical effects. Contributions contain new technical effects wealthy with philosophical value for modern metaphysics, makes an attempt to diagnose the philosophical value of a few contemporary technical effects, philosophically inspired proposals for brand new ways to negation, investigations within the historical past and philosophy of common sense, and contributions to epistemology and philosophy of technological know-how that make crucial use of logical innovations and effects. the place the paintings is formal, the causes are patently philosophical, no longer only mathematical. the place the paintings is much less formal, it's deeply educated by means of the suitable formal fabric. the amount contains contributions from one of the most attention-grabbing philosophers now operating in philosophical good judgment, philosophy of common sense, epistemology and metaphysics.

Show description

Read Online or Download A Logical Approach to Philosophy: Essays in Honour of Graham Solomon PDF

Similar logic & language books

Truth, Knowledge, Or Just Plain Bull: How To Tell The Difference : A Handbook of Practical Logic and Clear Thinking

This e-book isn't poorly written. it truly is annoyingly written. The author's inflated ego oozes out of each web page and makes the e-book untenable. it isn't unreadable, it's easily no longer stress-free. If it were not required examining for a path i'm taking, i wouldn't have got throughout the advent. different reports praising this publication are from different academia doing that mutual compliment factor.

Relevant Logic: A Philosophical Interpretation

The defining function of appropriate common sense is that it forces the premises of a controversy to be relatively used and hence develop into "relevant" in deriving its end. This e-book introduces the reader to correct good judgment and gives it with a philosophical interpretation. The good judgment is analyzed within the context of attainable international semantics and state of affairs semantics, that are then utilized to supply an realizing of some of the logical debris (especially implication and negation) and typical language conditionals.

Critical thinking unleashed

"From alcohol and drug habit to rage on nationwide highways and in airports, many humans have saved themselves in perpetual turmoil and depression. From encroachment on person rights and liberties to wars of attrition and mass genocide, human historical past has always repeated itself as a result of a failure to work out the sunshine.

Additional resources for A Logical Approach to Philosophy: Essays in Honour of Graham Solomon

Sample text

Whether as a teacher, a mentor, a friend, or merely an advisor on literary matters, he was always someone with whom it was good to spend time. He is missed, and those who didn’t get to meet him won’t know what they missed. 1 Introduction What I hope to do in this paper is to show that two seemingly quite separate but (I hope) independently interesting develop- Assertion, Proof, and Choice 47 ments in philosophy are importantly related, and in particular that the second has important implications for evaluating the first.

Then from (†) we get [(εx α = 0 ∧ β) ∨ ([(εx α = 1 ∧ ¬β)] ∨ ∀x¬[(x = 0 ∧ β) ∨ (x = 1 ∧ ¬β)], which implies [β ∨ ¬β] ∨ [∀x¬(x = 0 ∧ β) ∧ ∀x¬(x = 1 ∧ ¬β)], 44 John L. Bell whence [β ∨ ¬β] ∨ [¬β ∧ ¬¬β], winding up with β ∨ ¬β. The third method is to allow ε to act on pairs of formulas, each with a single free variable. Here, for each pair of formulas α(x), β(x) we introduce the “relativized” ε-term εx α/β and the “relativized” ε-axioms (1) ∃xβ(x) → β(εx α/β) (2) ∃x[α(x) ∧ β(x)] → α(εx α/β). That is, εx α/β may be thought of as an individual that satisfies β if anything does, and which in addition satisfies α if anything satisfies both α and β.

The widely (but not universally) held thesis that mathematics is a priori suggests that if Φ is a knowable mathematical proposition, then Φ can become known on the basis of reasoning alone. In mathematics, the epistemic standard is proof. Of Externalism, Anti-Realism, and the KK-Thesis 25 course, if logicism fails, then we cannot prove everything, but the traditional view is that the axioms of basic mathematical theories are known a priori. Most, if not all, of the rest is deduction from those axioms.

Download PDF sample

Rated 4.11 of 5 – based on 33 votes