Matches in SemOpenAlex for { <https://semopenalex.org/work/W191600906> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- W191600906 endingPage "50" @default.
- W191600906 startingPage "31" @default.
- W191600906 abstract "Eine klassische Aufgabe deduktiver Verfahren ist es, logische Beweise zu kalkulisieren. Wir werden im Verlaufe dieses Buches vielen Formen der Inferenz begegnen. Manche sind von “streng logischer Art”, andere haben einen ganz anderen Charakter. Dieser Paragraph dient zur Analyse der logischen Beweise und der Methoden zu ihrer Mechanisierung. Logische Beweise garantieren die Richtigkeit ihrer Resultate und sind insofern auch als Erklarungen zu verstehen. Trotzdem wird man sie meist nicht als befriedigende Erklarungen ansehen, weil sie gewohnlich keinerlei kognitive Aspekte berucksichtigen; vgl. dazu §18." @default.
- W191600906 created "2016-06-24" @default.
- W191600906 creator A5066698936 @default.
- W191600906 date "1992-01-01" @default.
- W191600906 modified "2023-09-24" @default.
- W191600906 title "Allgemeine deduktive Methoden" @default.
- W191600906 doi "https://doi.org/10.1007/978-3-322-84870-3_3" @default.
- W191600906 hasPublicationYear "1992" @default.
- W191600906 type Work @default.
- W191600906 sameAs 191600906 @default.
- W191600906 citedByCount "0" @default.
- W191600906 crossrefType "book-chapter" @default.
- W191600906 hasAuthorship W191600906A5066698936 @default.
- W191600906 hasConcept C138885662 @default.
- W191600906 hasConcept C15708023 @default.
- W191600906 hasConceptScore W191600906C138885662 @default.
- W191600906 hasConceptScore W191600906C15708023 @default.
- W191600906 hasLocation W1916009061 @default.
- W191600906 hasOpenAccess W191600906 @default.
- W191600906 hasPrimaryLocation W1916009061 @default.
- W191600906 isParatext "false" @default.
- W191600906 isRetracted "false" @default.
- W191600906 magId "191600906" @default.
- W191600906 workType "book-chapter" @default.