Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik, die durch die Mengenlehre von Cantor und Zermelo verdrängt wurde. Historische Ansätze und Kalküle dieser Logiker werden hier anhand der Quellen aufgearbeitet und in einen radikal vereinfachten, aber wesentlich leistungsfähigeren Universalkalkül eingebettet.
Die Verbale Logik baut die Universallogik in einer logischen Grammatik zur präzisen logischen Verbalsprache aus. Sie aktualisiert Ideen von Leibniz und Peano, der das Leibniz-Programm aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache, die gleichwertig zur Symbolsprache ist. Es ist keine mathematische Kunstsprache, sondern ein Kernstück der bekannten Umgangssprache. In grammatikalisch präzisierter Form, die eine eindeutige Formalisierung sicherstellt, ist es ein nützliches Werkzeug für alle, die sich exakt und verständlich ausdrücken wollen.****************Universallogik examines the most important systems of classical logic in history, places them in contemporary form of calculus using symbolic notation, and unifies them into a logic that spans the whole of history and optimises the older stages. As the title suggests, the work seeks to drive forward Leibniz’s programme of a universal language of logical calculus. He realised this using different levels of Aristotelian logic, and inspired Frege and Peano in the late 19th century to develop it in the direction of set theory, which was then significantly influenced by Cantor and Zermelo. Historical projections and calculations by these and other logicians are reprocessed based on their sources and embedded into a radically simplified and significantly more effective universal calculus.
The appended Verbale Logik uses a logical grammar to expand the Universal logic into a precise logical verbal language. It updates the ideas of Leibniz and of Peano, who took up Leibniz’s programme in the late 19th century and set the course for an effective verbal language which also functions as a symbolic language. It is not an artificial mathematical language but a core element of the familiar vernacular. With ist grammatically precise form, which ensures an unambiguous formulation, it is a useful took for anyone wanting to express themselves precisely and comprehensively.
Aktualisiert: 2023-06-30
> findR *
Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik, die durch die Mengenlehre von Cantor und Zermelo verdrängt wurde. Historische Ansätze und Kalküle dieser Logiker werden hier anhand der Quellen aufgearbeitet und in einen radikal vereinfachten, aber wesentlich leistungsfähigeren Universalkalkül eingebettet.
Die Verbale Logik baut die Universallogik in einer logischen Grammatik zur präzisen logischen Verbalsprache aus. Sie aktualisiert Ideen von Leibniz und Peano, der das Leibniz-Programm aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache, die gleichwertig zur Symbolsprache ist. Es ist keine mathematische Kunstsprache, sondern ein Kernstück der bekannten Umgangssprache. In grammatikalisch präzisierter Form, die eine eindeutige Formalisierung sicherstellt, ist es ein nützliches Werkzeug für alle, die sich exakt und verständlich ausdrücken wollen.****************Universallogik examines the most important systems of classical logic in history, places them in contemporary form of calculus using symbolic notation, and unifies them into a logic that spans the whole of history and optimises the older stages. As the title suggests, the work seeks to drive forward Leibniz’s programme of a universal language of logical calculus. He realised this using different levels of Aristotelian logic, and inspired Frege and Peano in the late 19th century to develop it in the direction of set theory, which was then significantly influenced by Cantor and Zermelo. Historical projections and calculations by these and other logicians are reprocessed based on their sources and embedded into a radically simplified and significantly more effective universal calculus.
The appended Verbale Logik uses a logical grammar to expand the Universal logic into a precise logical verbal language. It updates the ideas of Leibniz and of Peano, who took up Leibniz’s programme in the late 19th century and set the course for an effective verbal language which also functions as a symbolic language. It is not an artificial mathematical language but a core element of the familiar vernacular. With ist grammatically precise form, which ensures an unambiguous formulation, it is a useful took for anyone wanting to express themselves precisely and comprehensively.
Aktualisiert: 2023-06-30
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-30
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-30
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-30
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-30
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-29
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-29
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2023-06-29
> findR *
Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik, die durch die Mengenlehre von Cantor und Zermelo verdrängt wurde. Historische Ansätze und Kalküle dieser Logiker werden hier anhand der Quellen aufgearbeitet und in einen radikal vereinfachten, aber wesentlich leistungsfähigeren Universalkalkül eingebettet.
Die Verbale Logik baut die Universallogik in einer logischen Grammatik zur präzisen logischen Verbalsprache aus. Sie aktualisiert Ideen von Leibniz und Peano, der das Leibniz-Programm aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache, die gleichwertig zur Symbolsprache ist. Es ist keine mathematische Kunstsprache, sondern ein Kernstück der bekannten Umgangssprache. In grammatikalisch präzisierter Form, die eine eindeutige Formalisierung sicherstellt, ist es ein nützliches Werkzeug für alle, die sich exakt und verständlich ausdrücken wollen.****************Universallogik examines the most important systems of classical logic in history, places them in contemporary form of calculus using symbolic notation, and unifies them into a logic that spans the whole of history and optimises the older stages. As the title suggests, the work seeks to drive forward Leibniz’s programme of a universal language of logical calculus. He realised this using different levels of Aristotelian logic, and inspired Frege and Peano in the late 19th century to develop it in the direction of set theory, which was then significantly influenced by Cantor and Zermelo. Historical projections and calculations by these and other logicians are reprocessed based on their sources and embedded into a radically simplified and significantly more effective universal calculus.
The appended Verbale Logik uses a logical grammar to expand the Universal logic into a precise logical verbal language. It updates the ideas of Leibniz and of Peano, who took up Leibniz’s programme in the late 19th century and set the course for an effective verbal language which also functions as a symbolic language. It is not an artificial mathematical language but a core element of the familiar vernacular. With ist grammatically precise form, which ensures an unambiguous formulation, it is a useful took for anyone wanting to express themselves precisely and comprehensively.
Aktualisiert: 2023-06-29
> findR *
Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik, die durch die Mengenlehre von Cantor und Zermelo verdrängt wurde. Historische Ansätze und Kalküle dieser Logiker werden hier anhand der Quellen aufgearbeitet und in einen radikal vereinfachten, aber wesentlich leistungsfähigeren Universalkalkül eingebettet.
Die Verbale Logik baut die Universallogik in einer logischen Grammatik zur präzisen logischen Verbalsprache aus. Sie aktualisiert Ideen von Leibniz und Peano, der das Leibniz-Programm aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache, die gleichwertig zur Symbolsprache ist. Es ist keine mathematische Kunstsprache, sondern ein Kernstück der bekannten Umgangssprache. In grammatikalisch präzisierter Form, die eine eindeutige Formalisierung sicherstellt, ist es ein nützliches Werkzeug für alle, die sich exakt und verständlich ausdrücken wollen.****************Universallogik examines the most important systems of classical logic in history, places them in contemporary form of calculus using symbolic notation, and unifies them into a logic that spans the whole of history and optimises the older stages. As the title suggests, the work seeks to drive forward Leibniz’s programme of a universal language of logical calculus. He realised this using different levels of Aristotelian logic, and inspired Frege and Peano in the late 19th century to develop it in the direction of set theory, which was then significantly influenced by Cantor and Zermelo. Historical projections and calculations by these and other logicians are reprocessed based on their sources and embedded into a radically simplified and significantly more effective universal calculus.
The appended Verbale Logik uses a logical grammar to expand the Universal logic into a precise logical verbal language. It updates the ideas of Leibniz and of Peano, who took up Leibniz’s programme in the late 19th century and set the course for an effective verbal language which also functions as a symbolic language. It is not an artificial mathematical language but a core element of the familiar vernacular. With ist grammatically precise form, which ensures an unambiguous formulation, it is a useful took for anyone wanting to express themselves precisely and comprehensively.
Aktualisiert: 2023-06-29
> findR *
Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur Entwicklung der Prädikatenlogik und Peano zur Entwicklung der Klassenlogik, die durch die Mengenlehre von Cantor und Zermelo verdrängt wurde. Historische Ansätze und Kalküle dieser Logiker werden hier anhand der Quellen aufgearbeitet und in einen radikal vereinfachten, aber wesentlich leistungsfähigeren Universalkalkül eingebettet.
Die Verbale Logik baut die Universallogik in einer logischen Grammatik zur präzisen logischen Verbalsprache aus. Sie aktualisiert Ideen von Leibniz und Peano, der das Leibniz-Programm aufgriff und die Weichen stellte für eine leistungsfähige Verbalsprache, die gleichwertig zur Symbolsprache ist. Es ist keine mathematische Kunstsprache, sondern ein Kernstück der bekannten Umgangssprache. In grammatikalisch präzisierter Form, die eine eindeutige Formalisierung sicherstellt, ist es ein nützliches Werkzeug für alle, die sich exakt und verständlich ausdrücken wollen.****************Universallogik examines the most important systems of classical logic in history, places them in contemporary form of calculus using symbolic notation, and unifies them into a logic that spans the whole of history and optimises the older stages. As the title suggests, the work seeks to drive forward Leibniz’s programme of a universal language of logical calculus. He realised this using different levels of Aristotelian logic, and inspired Frege and Peano in the late 19th century to develop it in the direction of set theory, which was then significantly influenced by Cantor and Zermelo. Historical projections and calculations by these and other logicians are reprocessed based on their sources and embedded into a radically simplified and significantly more effective universal calculus.
The appended Verbale Logik uses a logical grammar to expand the Universal logic into a precise logical verbal language. It updates the ideas of Leibniz and of Peano, who took up Leibniz’s programme in the late 19th century and set the course for an effective verbal language which also functions as a symbolic language. It is not an artificial mathematical language but a core element of the familiar vernacular. With ist grammatically precise form, which ensures an unambiguous formulation, it is a useful took for anyone wanting to express themselves precisely and comprehensively.
Aktualisiert: 2020-09-09
> findR *
Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.
Aktualisiert: 2020-10-01
> findR *
Das Buch behandelt die aristotelische Logik aus einem historisch-philologischen und einem systematischen Blickwinkel: Es analysiert Aristoteles-Quellen und Kalküle der aristotelischen Tradition und entwickelt in einer dialektischen Synthese einen umfassenden Kalkül. Zunächst will es den wesentlichen Stoff der verschiedenen Logik-Ebenen bei Aristoteles erfassen und in einer straffen, präzisen und modernen algebraischen Darstellung neu vermitteln. Weil Aristoteles aber mehr als zweitausend Jahre lang die unangefochtene Autorität in der Logik war und diese bis ans Ende des 19. Jahrhunderts stark beeinflusste, wird seine Logik nicht nur als vergangenes historisches Phänomen betrachtet, sondern als bahnbrechende, historisch wirksame, die Entwicklung bis heute antreibende Idee. Deshalb werden auch Logiker behandelt, die eine Optimierung seiner Logik anstrebten und erreichten, vornehmlich Leibniz, Boole und Peano.
***
This book examines Aristotelian logic from historical, philological and systematic perspectives. It analyses Aristotelian sources and calculus in the Aristotelian tradition and develops an all-embracing calculus through dialectic synthesis. The initial aim is to gather the essential material from Aristotle’s different levels of logic and to convey them in a new way using a taut, precise and modern algebraic presentation. Because Aristotle was the undisputed authority in logic for over two thousand years and continued to exercise a strong influence until the end of the 19th century, his logic is not considered as a past historical phenomenon but as a ground-breaking, historically effective idea which continues to drive contemporary developments. For the same reason the author examines logicians who sought and achieved an optimisation of Aristotle’s logic, primarily Leibniz, Boole and Peano.
Aktualisiert: 2022-05-12
> findR *
MEHR ANZEIGEN
Bücher von Neumaier, Wilfried
Sie suchen ein Buch oder Publikation vonNeumaier, Wilfried ? Bei Buch findr finden Sie alle Bücher Neumaier, Wilfried.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Neumaier, Wilfried im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Neumaier, Wilfried .
Neumaier, Wilfried - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Neumaier, Wilfried die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Neumair, Achim
- Neumair, Achim; Frees
- Neumair, Bernhard
- Neumair, Made
- Neumair, Marina
- Neumair, Martina
- Neumair, Maximilian
- Neumair, Michael
- Neumair, Philip
- Neumair, Phillip Alexander
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Neumaier, Wilfried und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.