Bolzano's logical system

Bolzano's logical system

by Casari, Ettore

Type Book
Rate 0.0 /5

This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work. Casari presents this within a formal system and adopts t…

Read More ↓

Title Statements

  • Full title :Bolzano's logical system / Ettore Casari.

Summary

This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work. Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).

Read More ↓

Edition Statements

  • Publication Date:2016.
  • Edition:First edition

Publication Statements

The Physical Object

  • Description:xv, 352 pages ; : 24 cm.

Edition Identifiers

  • ISBN:0198788290, 9780198788294
  • oclc:ocn948336054
  • LC Classification:B4805.B654
  • Dewey Decimal:160

Table of Contents

Introduction -- Elementary level (A) : ideas -- Elementary level (B) : propositions -- Symbolic level -- Inferences -- Higher level -- Ediology -- Theory of knowledge -- Semiotics.

Read More ↓

Subjects

Writers

More from this Series

  • Twenty-five years of constructive type theory

    1998.
    more →
  • Twenty-five years of constructive type theory

    1998.
    more →
  • Twenty-five years of constructive type theory

    1998
    more →
    Twenty-five years of constructive type theory
  • Twenty five years of constructive type theory

    1998.
    more →
    Twenty five years of constructive type theory
  • Twenty-five years of constructive type theory

    1998.
    more →

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Bolzano’s Logical System -- (.pdf)

    PDF · 1.9 MB · updated
  • Bolzano's Logical System -- (.pdf)

    PDF · 1.8 MB · updated