The Logic of Number

The Logic of Number



https://FreeCourseWeb.com

English | ISBN: 0192846671 | 2022 | 384 pages | PDF | 8 MB

In The Logic of Number, Neil Tennant defines and develops his Natural Logicist account of the foundations of the natural, rational, and real numbers. Based on the logical system free Core Logic, the central method is to formulate rules of natural deduction governing variable-binding
number-abstraction operators and other logico-mathematical expressions such as zero and successor. These enable 'single-barreled' abstraction, in contrast with the 'double-barreled' abstraction effected by principles such as Frege's Basic Law V, or Hume's Principle.

Natural Logicism imposes upon its account of the numbers four conditions of adequacy: First, one must show how it is that the various kinds of number are applicable in our wider thought and talk about the world. This is achieved by deriving all instances of three respective schemas: Schema N for the
naturals, Schema Q for the rationals, and Schema R for the reals. These provide truth-conditions for statements deploying terms referring to numbers of the kind in question. Second, one must show how it is that the naturals sit among the rationals as themselves again, and the rationals likewise
among the reals. Third, one should reveal enough of the metaphysical nature of the numbers to be able to derive the mathematician's basic laws governing them. Fourth, one should be able to nstrate that there are uncountably many reals.

udp://tracker.torrent.eu.org:451/announce

udp://tracker.tiny-vps.com:6969/announce

http://tracker.foreverpirates.co:80/announce

udp://tracker.cyberia.is:6969/announce

udp://exodus.desync.com:6969/announce

udp://explodie.org:6969/announce

udp://tracker.opentrackr.org:1337/announce

udp://9.rarbg.to:2780/announce

udp://tracker.internetwarriors.net:1337/announce

udp://ipv4.tracker.harry.lu:80/announce

udp://open.stealth.si:80/announce

udp://9.rarbg.to:2900/announce

udp://9.rarbg.me:2720/announce

udp://opentor.org:2710/announce