Logical machine (original) (raw)
Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen. Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen.
| Property | Value |
|---|---|
| dbo:abstract | Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen. Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen. (de) A logical machine is a tool containing a set of parts that uses energy to perform formal logic operations. Early logical machines were mechanical devices that performed basic operations in Boolean logic. Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic. In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management. (en) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20110716210445/http:/libweb5.princeton.edu/visual_materials/pulc/pulc_v_45_n_3.pdf https://books.google.com/books%3Fid=RdQLAAAAIAAJ&pg=PA165 https://books.google.com/books%3Fid=pwj3K__QWKkC&pg=PA303 https://archive.org/details/beginningthirdr00randgoog/page/n58 http://psychclassics.yorku.ca/Baldwin/Dictionary/defs/L4defs.htm%23Logical%20Machine http://projecteuclid.org/DPubS/Repository/1.0/Disseminate%3Fview=body&id=pdf_1&handle=euclid.rml/1204900343 http://history-computer.com/ModernComputer/thinkers/Peirce.html https://archive.org/details/bub_gb_V7oIAAAAQAAJ https://archive.org/details/logicmadeeasyhow00benn/page/163 https://books.google.com/books%3Fid=DnvLHp919_wC&q=Marquand |
| dbo:wikiPageID | 5989279 (xsd:integer) |
| dbo:wikiPageLength | 3817 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1021674162 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Proof_assistant dbr:William_Stanley_Jevons dbr:Logics_for_computability dbr:Allan_Marquand dbr:Charles_Sanders_Peirce_bibliography dbc:Mathematical_logic dbr:Tool dbr:Mathematical_knowledge_management dbr:Formal_logic dbr:Boolean_logic |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Portal dbt:Reflist dbt:Sfn dbt:Mathlogic-stub |
| dct:subject | dbc:Mathematical_logic |
| gold:hypernym | dbr:Term |
| rdf:type | yago:WikicatMechanicalCalculators yago:Calculator109887034 yago:CausalAgent100007347 yago:Expert109617867 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 |
| rdfs:comment | Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen. Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen. (de) A logical machine is a tool containing a set of parts that uses energy to perform formal logic operations. Early logical machines were mechanical devices that performed basic operations in Boolean logic. Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic. In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management. (en) |
| rdfs:label | Logische Maschine (de) Logical machine (en) |
| owl:sameAs | freebase:Logical machine yago-res:Logical machine wikidata:Logical machine dbpedia-de:Logical machine https://global.dbpedia.org/id/bd2j |
| prov:wasDerivedFrom | wikipedia-en:Logical_machine?oldid=1021674162&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Logical_machine |
| is dbo:wikiPageRedirects of | dbr:Logical_Machine |
| is dbo:wikiPageWikiLink of | dbr:Allan_Marquand dbr:Charles_Sanders_Peirce dbr:Logical_Machine dbr:The_Dream_of_Reality |
| is foaf:primaryTopic of | wikipedia-en:Logical_machine |