Skip to content

Download A modern formal logic primer: predicate theory by Teller P. PDF

By Teller P.

Show description

Read Online or Download A modern formal logic primer: predicate theory PDF

Best modern books

Performance of modern Eddy-Viscosity turbulence models

During this paintings, the topology of pace fields serves as a foundation to often classify separated flows. it really is speculated no matter if the computation of a unmarried constitution. ..

Loyalty and Identity: Jacobites at Home and Abroad (Studies in Modern History)

This choice of essays offers a chain of clean techniques to a desirable topic: Jacobitism. The individuals specialize in problems with id and reminiscence between Jacobites in Scotland, eire, England and Europe. They research Jacobitism as an crucial point of tradition and society within the British Isles and past in the course of the century after 1688.

The Partonic Structure of the Photon: Photoproduction at the Lepton-Proton Collider HERA

The information of the interactions of photons with hadrons has significantly more suitable with the research of high-energy lepton-proton collisions at HERA. the consequences at the partonic interactions of photons are summarized compared to photon-nucleon, two-photon, and proton-antiproton experiments.

Extra info for A modern formal logic primer: predicate theory

Sample text

An apparent counter-example is to be found in the very sort of question with which I have argued that Russell is principally concerned, the question whether entities of different kinds exist. He clearly attaches meaning to the proposition that there are concrete particulars, which he thinks true, and to the proposition that there are classes, which he thinks false, so that it would seem that the expression 'there are' can after all be significantly conjoined with designations of objects of different types.

For instance, if we speak of Mr Smith's only son, and the fact is either that Mr Smith has more than one son, or that he has no son at all, what our words denote, according to Frege, is the class of Mr Smith's sons, which, in the case where he has no son, will be the null-class. Russell observes, I think reasonably, that 'This procedure, though it may not lead to actual logical errors, is plainly artificial, and does not give an exact analysis of the matter. ' 1 A fact which is not often remarked is that if we do take expressions like 'the present King of France' as denoting the null-class, the proposition 'The present King of France is bald' and 'The present King of France is not bald' both tum out to be true, since the nullclass is included in all classes.

Then 'Some man has walked on the moon' becomes 'There is an x such that x is human and has walked on the moon', and 'The author of Waverley was Scott' becomes 'There is an x such that x wrote Waverley, such that for all y, if y wrote Waverley, y is identical with x, and such that xis identical with Scott'. The use of quantifiers not only simplifies the translation, but also avoids the undesirable implication of Russell's earlier formulae that whenever we use a descriptive phrase we are speaking in metalinguistic fashion about propositional functions and, the extent to which they are satisfied.

Download PDF sample

Rated 4.86 of 5 – based on 26 votes