Page:  of 246
 
IV. ON THE THEORY OF CLASSES
21. Classes and their elements 68
22. Classes and sentential functions with one free variable 69
23. Universal class and null class 72
24. Fundamental relations among classes 74
25. Operations on classes 77
26. Equinumerous classes, cardinal number of a class, finite and
infinite classes; arithmetic as a part of logic 		79
Exercises 82
V. ON THE THEORY OF RELATIONS
27. Relations, their domains and counter-domains; relations and
sentential functions with two free variables 		87
28. Calculus of relations 90
29. Some properties of relations 93
30. Relations which are reflexive, symmetrical and transitive 94
31. Ordering relations; examples of other relations 96
32. One-many relations or functions 98
33. One-one relations or biunique functions, and one-to-one corre-
spondences 		103
34. Many-termed relations; functions of several variables and
operations 		105
35. The importance of logic for other sciences 108
Exercises 109
VI. ON THE DEDUCTIVE METHOD
36. Fundamental constituents of a deductive theory--primitive and
defined terms, axioms and theorems 		117
37. Model and interpretation of a deductive theory 120
38. Law of deduction; formal character of deductive sciences 125
39. Selection of axioms and primitive terms; their independence 130
40. Formalization of definitions and proofs, formalized deductive
theories 		132
41. Consistency and completeness of a deductive theory; decision
problem 		134
42. The widened conception of the methodology of deductive
sciences 		138
Exercises 140
SECOND PART
APPLICATIONS OF LOGIC AND METHODOLOGY
IN CONSTRUCTING MATHEMATICAL THEORIES
VII. CONSTRUCTION OF A MATHEMATICAL THEORY:
LAWS OF ORDER FOR NUMBERS
43. Primitive terms of the theory under construction; axioms
concerning fundamental relations among numbers 		155

-viii-

Questia, a part of Gale, Cengage Learning. www.questia.com

Publication Information: Book Title: Introduction to Logic and to the Methodology of Deductive Sciences. Contributors: Alfred Tarski - author, Olaf Helmer-Hirschberg - transltr. Publisher: Oxford University Press. Place of Publication: New York. Publication Year: 1941. Page Number: viii.
    
This feature allows you to create and manage separate folders for your different research projects. To view markups for a different project, make that project your current project.
This feature allows you to save a link to the publication you are reading or view all the publications you have put on your bookshelf.
This feature allows you to save a link to the page you are reading, which you can later return to from Projects.
This feature allows you to highlight words or phrases on the publication page you are reading.
This feature allows you to save a note you write on the publication page you are reading.
This feature allows you to create a citation to the page you are reading that you can paste into your paper. Highlight a passage to include that passage as a quotation.
This feature allows you to save a reference to a publication you are reading for your bibliography or generate a bibliography you can paste into your paper.
This feature allows you to print the page you are reading, including your notes or highlights (IE users must have "print background colors and image" setting selected.)
This feature allows you to look up words in encyclopedia.
  About Questia Tools
Close Window  
Questia's powerful research tools allow you to highlight, take notes, bookmark and even create instant citations and bibliographies. To use these features and save hours of work, you must create a Questia account.
Need a Questia account?
Sign up for a FREE trial now. Save time, stress and hassle, and get better grades with trusted, online research.

» Click here for our free trial

Already have a Questia account? Login now!
Error
Working...
Printing Preferences
Format for black and white printer: On Off
Print highlights: On Off
Print notes: On Off
Choose one of the options for printing:
Print this page (No Charge)
Print pages to