Zur Deutung der intuitionistischen Logik
type: Item
instance of: scholarly article
title: Zur Deutung der intuitionistischen Logik
zbMATH Open document ID: 0004.00201
DOI: 10.1007/BF01186549
published in: Mathematische Zeitschrift
publication date: 1932-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/168345
review text: Der Verf. zeigt, daß die formale intuitionistische Logik sich unabhängig von den intuitionistischen Voraussetzungen als Aufgabenrechnung interpretieren läßt. Bei dieser Auffassung stehen die Veränderlichen für Aufgaben; ,,beweisbare'' Formeln sind solche, aus denen bei Ersetzung der Veränderlichen durch beliebige Aufgaben gelöste Aufgaben hervorgehen. Diese Interpretation trägt auch zur Klärung der Frage nach der Negationsmöglichkeit einer allgemeinen Aussage bei: diese Negation ist als Aussage betrachtet sinnlos, als Aufgabe aber hat sie einen einfachen Sinn. Diese Ausführungen geben wohl am klarsten dasjenige wieder, was mit der intuitionistischen Logik ursprünglich gemeint war; ob die letztere als wirkliche Aussagenlogik möglich ist, erscheint noch als fraglich.
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 3004092
zbMATH Keywords: logic
MaRDI profile type: Publication
OpenAlex ID: W2051685387
author: A. N. Kolmogorov
description: scientific article; zbMATH DE number 3004092