Matches in SemOpenAlex for { <https://semopenalex.org/work/W55141018> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W55141018 abstract "Es erhebt sich die Frage, ob man die aussagenlogischen Tautologien, und allgemeiner, die logischen Konsequenzen einer vorgegebenen Menge X mittels gewisser Regeln schrittweise herleiten kann. Damit hatte man einen Kalkul, d.h. eine mechanisierbare Verfahrensvorschrift zur Herleitung logischer Folgerungen. Dies ist nun in der Tat auf vielfaltige Weise moglich und man kennt eine Vielzahl sogenannter Logik-Kalkule. Die Bedeutsamkeit der Darstellung logischer Schlusweisen durch Kalkule sieht man z. B. an folgenden Konsequenzen: Wenn das Folgern durch ein deduktives System mit endlich vielen Schlusregeln zu charakterisieren ist, so heist dies, das die Vielfalt der Moglichkeit, logische Schlusse auszufuhren, in Wirklichkeit nur eine scheinbare ist; jeder logische Schlus last sich in Einzelschritte zerlegen, die aus einer endlichen Menge von Grundschlussen stammen. Folgern kann demnach als ein mechanisierbarer Prozes verstanden werden. Man kann es als eine ars inveniendi im Sinne von LEIBNIZ darstellen: Ein Kalkul erzeugt oder axiomatisiert die aus einer Menge X folgenden logischen Konsequenzen." @default.
- W55141018 created "2016-06-24" @default.
- W55141018 creator A5043004961 @default.
- W55141018 date "1979-01-01" @default.
- W55141018 modified "2023-09-27" @default.
- W55141018 title "Aussagenlogische Kalküle und Einführung in die Theorie der deduktiven Systeme" @default.
- W55141018 doi "https://doi.org/10.1007/978-3-322-85796-5_3" @default.
- W55141018 hasPublicationYear "1979" @default.
- W55141018 type Work @default.
- W55141018 sameAs 55141018 @default.
- W55141018 citedByCount "0" @default.
- W55141018 crossrefType "book-chapter" @default.
- W55141018 hasAuthorship W55141018A5043004961 @default.
- W55141018 hasConcept C138885662 @default.
- W55141018 hasConcept C15708023 @default.
- W55141018 hasConceptScore W55141018C138885662 @default.
- W55141018 hasConceptScore W55141018C15708023 @default.
- W55141018 hasLocation W551410181 @default.
- W55141018 hasOpenAccess W55141018 @default.
- W55141018 hasPrimaryLocation W551410181 @default.
- W55141018 isParatext "false" @default.
- W55141018 isRetracted "false" @default.
- W55141018 magId "55141018" @default.
- W55141018 workType "book-chapter" @default.