Editor's Introduction.- I. Logic as a Theory of Science.- II. Propositions and Sentences.- III. Ideas in Themselves.- IV. The Reduction of Sentences.- V. Judgment and Knowledge.- VI. Intuition and Concept.- VII. The Notion of Variation.- VIII. Analytic and Synthetic Propositions.- IX. Consistency and Derivability.- X. Degree of Validity and Probability.- XI. The Objective Hierarchy of Propositions.- XII. Set and Continuum.- XIII. Infinite Sets.- XIV. Natural Numbers.- XV. Conclusion.- A A Selection from the Wissenschaftslehre (Sulzbach 1837, Leipzig 1914-31) ['+A' ('-A') means including (excluding) the Anmerkung(en)]: Volume One.- x 1. What the Author Understands by Theory of Science.- x 2. Justification of this Concept and Its Designation.- x 15. Plan for Carrying out Logic According to the Author's Understanding.- One / Theory of Fundamental Truths.- One / On the Existence of Truths in Themselves.- x 19. What the Author Understands by a Proposition in Itself (+A).- x 21. That Others Have Already Made Use of this Concept.- x 24. Various Meanings of the Words: True und Truth (-A).- x 25. What the Author Understands by Truths in Themselves.- x 26. Differentiation of this Concept from Some that Are Related to It.- x 30. The Meaning of the Claim that there Are Truths in Themselves.- x 31. Proof that there Is At Least One Truth in Itself (+A).- x 32. Proof that there Are a Number of Truths, Indeed an Infinite Number (+A).- Two / On the Possibility of Knowing the Truth.- x 34. What the Author Understands by a Judgment (-A).- x 35. Examination of Other Definitions of this Concept (Subsection 5).- x 36. What Would the Author Understand by a Cognition?.- x 40. How It Can Be Proved that We Know At Least One Truth.- x 41. How It Can Be Proved that We Are Capable of Knowing an Indefinitely Large Number of Truths (+A).- Two / Theory of Elements x 46. Purpose, Content and Sections of this Part.- One / On Ideas in Themselves.- x 48. What the Author Understands by Ideas in Themselves and by Ideas Possessed.- x 49. Differentiation of the Concept of an Idea in Itself from Some Related Concepts.- x 50. Justification of this Concept.- x 51. That this Concept Is Already Encountered in Others (Subsection 1).- x 54. Ideas in Themselves Have No Existence.- x 55. Ideas in Themselves Are neither True nor False (-A).- 56. Parts and Content of an Idea in Itself (-A).- x 58. Closer Examination of the Most Notable Ways in which Ideas Are Compounded.- x 60. Concrete and Abstract Ideas (-A).- x 61. There Must also Be Simple Ideas.- x 63. Are the Parts of an Idea the Same as the Ideas of the Parts of Its Object?.- x 64. Are the Parts of an Idea the Same as the Ideas of Its Object's Properties? (-A).- x 66. The Concept of the Extension of an Idea (-A).- x 67. There Are also Objectless Ideas (+A).- x 68. There Are also Ideas that Have Only a Finite Set of Objects, and Singular Ideas as Well (-A).- x 70. Real and Imaginary Ideas (+A).- x 71. Two Consequences (+A).- x 72. What the Author Understands by Intuitions (-A).- x 73. What Is It that the Author Calls Concepts and Mixed Ideas?.- x 75. Some Remarks on the Difference between the Ways in which Intuitions and Concepts Are Designated.- x 78. Differences among Concepts with Respect to Content and Extension (+A 1-2, to p. 356,1. 12, of the German text).- x 80. Ideas of Qualities and Relations (-A).- x 84. Concepts of Sets and Sums (-A).- x 86. Concepts of Unity, Plurality and Universality.- x 87. Concepts of Quantity, Both Finite and Infinite (-A).- x 90. Symbolic Ideas (-A).- x 91. There Are No Two Completely Identical Ideas. Similar Ideas (+ A 1-2).- x 92. Relations among Ideas with Respect to Their Content (-A).- x 93. Relations among Ideas with Respect to Their Breadth (-A).- x 94. Relations among Ideas with Respect to Their Objects (-A).- x 95. Special Kinds of Compatibility: (a) Inclusion (+A).- x 96. (b) The Relationship of Mutual Inclusion, or Equivalence (-A).- x 97. (c) The Relationship of Subordination (-A).- x 98. (d) The Relationship of Intersection or Concatenation (-A).- x 102. No Finite Set of Standards Is Sufficient to Measure the Breadths of All Ideas.- x 103. Particular Kinds of Incompatibility among Ideas (-A).- x 108. How the Relationships Discussed in xx93ff Can Be Extended to Objectless Ideas as Well (+A).- x 120. On the Rule that Content and Extension Stand in an Inverse Relationship.- Volume Two.- Two / On Propositions in Themselves.- x 122. No Proposition in Itself Is an Existent.- x 123. Every Proposition Necessarily Contains Several Ideas. Its Content (-A).- x 124. Every Proposition Is Capable of Being Considered as a Component of Another Proposition, or Even of a Mere Idea.- x 125. Every Proposition Is either True Or False and True or False in All Times and at All Places.- x 126. Three Components that Are Undeniably Found in a Large Number of Propositions.- x 127. Which Components Does the Author Assume for All Propositions?.- x 130. The Extension of a Proposition Is Always the Same as the Extension of Its Base (-A).- x 133. Conceptual Propositions and Empirical Propositions (+A).- x 137. Various Propositions about Ideas: (a) Assertions of the Denotative Character of an Idea.- x 138. (b) Denials of the Denotative Character of an Idea (-A).- x 139. (c) Further Propositions that Define the Extension of an Idea More Closely.- x 146. Objectless and Denotative, Singular and General Propositions.- x 147. The Concept of the Validity of a Proposition.- x 148. Analytic and Synthetic Propositions (+A).- x 154. Compatible and Incompatible Propositions (-A).- x 155. Special Types of Compatibility: (a) The Relation of Derivability (+A).- x 156. (b) The Relation of Equivalence (+A).- x 157. (c) The Relationship of Subordination.- x 158. (d) The Relationship of Concatenation.- x 159. Special Types of Incompatibility (-A).- x 160. Relations among Propositions Resulting from Consideration of How Many True or False Propositions there Are in a Set (+A).- x 161. The Relationship of Comparative Validity or the Probability of a Proposition with Respect to Other Propositions (+A2 from p. 189, 1. 10, of the German text).- x 162. The Relation of Ground and Consequence.- x 167. Propositions which Assert a Relation of Probability.- x 168. Propositions which Assert a Relation of Ground and Consequence (Subsection 3).- x 174. Propositions of the Form: n A are B (+A).- x 179. Propositions with If and Then (+A).- x182. Propositions Containing the Concept of Necessity, Possibility or Contingency (-A).- Three / On True Propositions.- x 198. The Concept of a Ground-Consequence Relationship between Truths (-A).- x 199. Can the Inference Rule also Be Counted among the Partial Grounds of a Conclusion? (-A).- x 200. Is the Relation of Ground and Consequence Subordinate to that of Derivability?.- x 203. Only Truths Are Related as Ground and Consequence (Subsection 1).- x 204. Can Something Be Ground and Consequence of Itself? (-A).- x 205. Are Ground and Consequence in Each Case only a Single Truth or a Set of Several Truths?.- x 206. Can One Ground Have a Variety of Consequences or One Consequence a Variety of Grounds?.- x 207. Can One Regard the Consequence of a Part as the Consequence of the Whole?.- x 209. Can a Truth or a Whole Set of Truths Be both Ground and Consequence in One and the Same Relation? (-A).- x 210. Can a Set of Several Grounds Be Regarded as the Ground of a Set of Several Consequences?.- x211. Is there a Rank Order among the Parts of the Ground or of the Consequence?.- x 213. Can the Consequence of the Consequence Be Considered a Consequence of the Ground? (-A).- x 214. Can Every Truth Be Regarded not only as Ground but also as Consequence of Others? (-A).- x 215. Is there More than One Basic Truth? (+A).- x 216. Does the Process of Mounting up from Consequences to Its Grounds Have to Come to an End for Every Given Truth?.- x 217. What the Author Understands by Subsidiary Truths.- x 218. No Truth Can Be a Subsidiary Truth of Itself.- x 220. What Kind of Pictorial Representation Can Be Given for the Relationship that Prevails between Truths with Respect to Ground and Consequence?.- x 221. Some Criteria for Determining whether Certain Truths Have the Relationship of Dependence (+A).- Four / On Inferences.- x 223. Content and Purpose of this Chapter (+A).- x 224. Some Rules by which Conclusions to Given Premises Can Be Sought out.- x 243. Continuation [Assertions about Numbers].- Volume Three.- Three / Theory of Knowledge.- One / On Ideas.- x 270. Concept of an Idea in the Subjective Sense (-A).- x 271. There Is an Idea in Itself Attached to Every Subjective Idea (+A).- x 272. Every Subjective Idea Is Something Real, but only as an Attribute of a Substance.- x 285. Naming Our Ideas (Subsections 1-2).- Two / On Judgments.- x 290. The Concept of a Judgment.- x 291. Some Properties that Belong to All Judgments (-A).- x 292. What We Call a Single Judgment, and when We Say of Several Judgments that They Are Like or Unlike.- x 294. Classifications of Judgments that Arise from Classifications of Propositions with the Same Names.- x 298. Does Every Judgment Leave a Trace of Itself behind after It Has Passed away?.- x 300. Mediation of a Judgment by Other Judgments (-A).- x 303. How We Do Arrive at Our Most General Empirical Judgments and how We Can Arrive at Them (-A).- x 306. Survey of the Most Noteworthy Activities and States of Our Mind that Concern the Business of Making Judgments (-A).- Three / The Relationship of our Judgments to the Truth.- x 307. More Precise Definition of the Concepts: Knowledge, Ignorance and Error (-A).- x 309. What Is the Basis of the Possibility of Error and what Circumstances Promote Our Errors' Occurrence?.- x 314. Are there Definite Limits to Our Capacity for Knowledge? (+A).- Volume Four.- Five / Theory of Science Proper.- One / General Theory.- x 395. The Supreme Principle of All Theory of Science (-A).- x 401. A Proper Scholarly Treatise Must also Indicate the Objective Connection between Truths, as far as Possible.- Four / On the Propositions which should Occur in a Scholarly Treatise.- x 525. Explaining a Truth's Objective Ground (-A).- x 530. Proofs by Reduction to Absurdity (Subsection 1).- x 557. How to Prove a Statement Specifying the Composition of an Idea.- x 558. How the Proof that a Definition of a Given Proposition Is Correct Must Be Carried out (-A).- B Excerpts from Bolzano's Correspondence.- Letter to J. E. Seidel, 26 January 1833 (Manuscript in Krajske muzeum v Ceskych Bud?jovicich; transcription by Jan Berg).- Letter to M. J. Fesl, 8 February 1834 (Manuscript in Literarni ar chiv Pamatniku narodniho pisemnictvi v Praze; published in Wissenschaft und Religion im Vormarz. Der Briefwechsel Bernard Bolzanos mit Michael Josef Fesl (ed. by E. Winter and W. Zeil), Berlin 1965, p. 58,1. 4 - 1. 3 f.b.).- Letter to F. Exner, 22 November 1834 (Manuscript in Osterreichische Nationalbibliothek Wien; published in Der Briefwechsel B. Bolzano's mit F. Exner (ed. by E. Winter), Bernard Bolzano's Schriften, vol. 4, Prague 1935, p. 62,1. 32 - p. 67, 1. 38).- Letter to J. P. Romang, 1 May 1847 (Manuscript in the same archive as Letter to M. J. Fesl (above); published in Philosophisches Jahrbuch der Gorresgesellschaft, vol. 51, Fulda 1938, p. 50,1. 5f.b. - p. 53, 1. 16).- Letter to R. Zimmermann, 9 March 1848 (Manuscript in the same archive as Letter to M. J. Fesl (above); transcription by Jan Berg).- Letter to F. P?ihonsky, 10 March 1848 (Manuscript in the same archive as Letter to M. J. Fesl (above); published in E. Winter: Der Bohmische Vormarz in Brief en B. Bolzanos an F. P?ihonski, Berlin 1956, p. 285,1. 1 - 1. 16).- A. Works by Bolzano.- 1. Works on Logic, Epistemology and Methodology of Science.- 2. Works on Mathematics.- B. Works on Bolzano.- 1. General Works.- 2. Biographies.- 3. Logic.- 4. Mathematics.- 5. Metaphysics.- 6. Theology.- 7. Social Philosophy.- 8. Aesthetics.- Name Index.