Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Heyting" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Filozofia i logika intuicjonizmu
    Autorzy:
    Fila, Marlena
    Powiązania:
    https://bibliotekanauki.pl/articles/429258.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    intuitionism
    axioms
    matrices truth-
    Heyting system
    Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
    infinite sequence of matrices
    Opis:
    At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the main representative was Heyting. In this paper described will be attempt to construct a suitable logic for philosophical intuitionism theses. In second paragraph Heyting system will be present – its axioms and matrices truth-. Later Gödel theorem about the inadequacy of finite dimensional matrices for this system will be explained. At the end this paper an infinite sequence of matrices adequate for Heyting axioms proposed by Jaśkowski will be described.
    Źródło:
    Semina Scientiarum; 2015, 14
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kilka uwag o przedmiocie logiki intuicjonistycznej
    A few remarks on the subject of intuitionist logic
    Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
    Autorzy:
    Czernecka, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/2016143.pdf
    Data publikacji:
    2001
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    filozofia logiki
    filozofia matematyki
    intuicjonizm
    Heyting
    logic
    philosophy of logic
    philosophy of mathematics
    intuitionism
    Opis:
    Artykuł jest próbą odpowiedzi na pytanie, co jest przedmiotem logiki intuicjonistycznej. Rozważania opierają się na publikacjach twórców intuicjonizmu, zwłaszcza Heytinga. W tle poczyniono również komentarze na temat logiki klasycznej. Prawa klasycznej logiki zdań ustanawiają pewne obiektywne i jednocześnie najbardziej ogólne związki między faktami i zdarzeniami. Myśliciele zakładają istnienie takich powiązania, które charakteryzują stanowisko ontologiczne. Z drugiej strony prawa logiki intuicjonistycznej ustanawiają związki między konstrukcjami matematycznymi lub właściwościami tych konstrukcji na podstawie uprzednio utworzonych i zbadanych mentalnych konstrukcji matematycznych.
    The article is an attempt to answer the question what is the subject of intuitionist logic. The considerations are based on publications by the creators of intuitionism, especially Heyting. In the background, comments were also made on classical logic. The laws of classical propositional logic establish certain objective and also the most general relationships between facts and events. Those thinkers assume the existence of such connections that characterize the ontological position. On the other hand, the laws of intuitionist logic establish relationships between mathematical constructions or the properties of these constructions on the basis of previously created and researched mental mathematical constructions.
    In dem Artikel wird versucht, die Frage zu beantworten, was den Gegenstand des intuitionistischen Aussagenkalküls bildet. Die Erwägungen basieren auf den Veröffentlichungen von den Gründern des Intuitionismus, vor allem auf Heyting. Im Hintergrund werden auch Anmerkungen gemacht betreffend des Gegenstandes der klassischen Logik. Die Gesetze der klassischen Aussagenlogik stellen einige objektive und zugleich allgemeinste Zusammenhänge zwischen Sachverhalten, Tatsachen, Begebenheiten fest. Die Existenz, solchen Zusammenhänge nehmen die Denker an, welche die ontologische Stellungnahme kennzeichnet. Die Gesetze des intuitionistischen Aussagenkalküls dagegen stellen Zusammenhänge zwischen mathematischen Konstruktionen oder Eigenschaften dieser Konstruktionen auf Grund von den vorher gebildeten und untersuchten mentalen mathematischen Konstruktionen fest.
    Źródło:
    Roczniki Filozoficzne; 2001, 49, 1; 151-165
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies