types, theory

0.01 sec.

types, theory of

In logic, a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–13) to deal with logical paradoxes arising from the unrestricted use of propositional functions as variables. The type of a propositional function is determined by the number and type of its arguments (the distinct variables it contains). By not allowing propositional functions to be applied to arguments of equal or higher type, contradictions within the system are avoided.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			95 Paperback Britain's living history TG325 While civil engineers may enjoy a browse through this heavily illustrated little book it is the lay reader that will learn a good deal about bridge types, theory, construction, history together with a bit of economics. Bridges explained; viaducts, aqueducts by SciTech Book News			Type Size Type, Literary type-a leader type-ahead type-ahead search type-bar printer type-DWV tubing type-in traffic type-M carcinotron type-O carcinotron type-S fuse type-ß leader type-X gypsum lath type-X gypsum wallboard typeahead typeahead buffer Typecasting typed lambda-calculus TypedProlog typeface typeface family typematic typeover mode types of hardware types of software types, theory Types, Theory of Typesetting typesetting language Typesetting Machines Typewriter typewriter terminal Typha Typhaceae Typhales Typhlitis Typhlopidae Typhloscolecidae typhlosole Typhoeus typhoid Typhoid Fever Typhoid Mary typhoid vaccine typhon Typhoon typhoon wind Typhula Blight Typhus typhus fever Typhus, Epidemic			Types Of Loans Types Of Loans Types Of Loans Types Of Loans Types of massage Types of massage Types of massage Types of massages Types of massages Types of massages types of memory Types of Mergers Types of Mergers Types of Museum Types of Museum Types of Nebulae Types of Nebulae Types of Nebulae Types of Predictive Dialers Types of rape Types of restaurants types of software Types of tourism Types of tourism Types of Vegetarians Types of Vegetarians Types of Vegetarians types of Web sites types of Web sites Types of Writing types, theory Types, Theory of typescript typescript typescript typescript typescript typescripts typeset typeset typesets typesetter typesetter typesetter's case typesetters typesetting typesetting typesetting Typesetting equipment Typesetting equipment typesetting language typesetting machine typesetting machine Typesetting Machines Typesetting Runoff Typesite typestyle typewrite typewrite typewriter typewriter

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.