Infinitary Logic

Edit Page

Report

Scan day: 07 February 2014 UTC

-299

Virus safety - good

http://plato.stanford.edu/entries/logic-infinitary/

Description: Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell.

Subcat: https://morefunz.com/society/philosophy/reference/?page=8

Infinitary Logic (Stanford Encyclopedia of Philosophy) First published Sun Jan 23, 2000; substantive revision Wed Feb 22, 2012 Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which areâ€”at least in principleâ€”capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via â€œGÃ¶del numberingâ€) and hence with finite

Size: 457 chars

Contact Information

Email:Send Message

Phone&Fax: —

Address: —

Extended: —

WEBSITE Info

Page title:	Infinitary Logic (Stanford Encyclopedia of Philosophy)
Keywords:
Description:
IP-address:	171.67.193.20