Informacja

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

Wyszukujesz frazę "classical logic" wg kryterium: Temat


Tytuł:
Kryteria „logiczności” logiki w ujęciu Susan Haack
The Criterion of the 'Logicality' of Logic According to Susan Haack
Autorzy:
Czernecka-Rej, Bożena
Tematy:
philosophy of logic
formalism
logic
classical logic
Susan Haack
Pokaż więcej
Wydawca:
Copernicus Center Press
Powiązania:
https://bibliotekanauki.pl/articles/691284.pdf  Link otwiera się w nowym oknie
Opis:
In the philosophy of logic the following questions are discussed: What is logic? Which formal systems are systems of logic? What does make them systems of logic? The paper presents and analyses the answers to these questions given by Susan Haack. She adopted the strategy, called the “hospitable policy”, giving the criterion in which formalism is a logical one. In the article I discuss whether the validity of her solutions is correct.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Autorzy:
Orlandelli, Eugenio
Tesi, Matteo
Tematy:
proof theory
classical logic
decidability
Herbrand theorem
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/43188312.pdf  Link otwiera się w nowym oknie
Opis:
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a syntactic proof of decidability of monadic first-order logic in innex normal form which exploits G3-style sequent calculi. In particular, we introduce a cut- and contraction-free calculus having a (complexity-optimal) terminating proof-search procedure. We also show that this logic can be faithfully embedded in the modal logic T.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on Ciuciura’s mbC1
Autorzy:
Omori, Hitoshi
Tematy:
paraconsistent logic
non-deterministic semantics contra-classical logic
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/749998.pdf  Link otwiera się w nowym oknie
Opis:
This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structural Rules in Natural Deduction with Alternatives
Autorzy:
Restall, Greg
Tematy:
proof
natural deduction
classical logic
bilateralism
substructural logics
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/43181436.pdf  Link otwiera się w nowym oknie
Opis:
Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
Tematy:
logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic
Pokaż więcej
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:
https://bibliotekanauki.pl/articles/2013349.pdf  Link otwiera się w nowym oknie
Opis:
Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Category theoryand some of its logical aspects
Teoria kategorii i niektóre jej logiczne aspekty
Autorzy:
Stopa, Mariusz
Opis:
This article is intended for philosophers as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Artykuł
Tytuł:
Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:
Stopa, Mariusz
Tematy:
category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic
Pokaż więcej
Wydawca:
Copernicus Center Press
Powiązania:
https://bibliotekanauki.pl/articles/690940.pdf  Link otwiera się w nowym oknie
Opis:
This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)
Autorzy:
Kałuski, J.
Tematy:
logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making
Pokaż więcej
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Powiązania:
https://bibliotekanauki.pl/articles/326030.pdf  Link otwiera się w nowym oknie
Opis:
W pracy obszernie omówiono stosowanie logiki kwantowej do podejmowania decyzji na tle logiki klasycznej w szerokim zakresie teoretycznym i praktycznym. Wychodząc od samych początków teorii kwantowej, a więc od eksperymentu myślowego EPR, prac Heisenberga, Bohra, Borna, Schroedingera, von Neumanna, Paulli’ego i innych znakomitych teoretyków fizyki kwantowej lat 20 i 30 ubiegłego stulecia, aż do słynnego twierdzenia J. Bella (1964) i jego nierówności i kończąc eksperymentami A. Aspecta i A. Zeillingera, pokazano skomplikowaną drogę rozwoju logiki kwantowej w podejmowaniu decyzji w naukach kognitywnych, ekonomii i technice. Równolegle analizowano pojęcia logiki klasycznej i kwantowej w aspekcie filozoficznym, począwszy od I. Kanta i jego logiki formalnej, poprzez logikę Łukasiewicza – Tarskiego, kosmologię Jacyny – Onyszkiewicza, aż po filozofię buddyzmu oraz różnych, współczesnych nurtów myślenia „kwantowego”. Do podejmowania decyzji w konkretnych sytuacjach służą modele na bazie kwantowej teorii informacji, kwantowego prawdopodobieństwa a przede wszystkim kwantowej teorii gier. Na przykładach szczegółowych obliczeń prawdopodobieństw kwantowych i budowy strategii kwantowych na użytek gier zobrazowano proces postępowania, który zasadniczo różni się od modelu klasycznego.
In the work some problems of quantum decision making with comparing to the classical logic are presented. Based to Bell’s theorem (1964) and many works of famous physicians as Einstein, Bohr, Heisenberg, Born, Schroedinger, von Neumann and others which hold fast to the concept of new logic, the hard way of development of quantum logic in decision making is discussed. Simultaneously in the paper the I. Kant’s formal logic, Łukasiewicz-Tarski’s truth theory and logic across the Jacyna-Onyszkiewicz’s cosmological theory and Buddism’s philosophy are presented. To decision making in the concrete situations some models of quantum information theory, quantum probability and first of all quantum game are used. On the number of examples according to detailed computing of the quantum probability and construction of the quantum strategies in the games, the methods of calculating are showed. In all mentioned discussion shows that these methods are different from classical methods.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jak uniesprzecznić sprzeczność umysłu?
Towards the consistency of an inconsistent mind
Autorzy:
Grygiel, Wojciech
Tematy:
philosophy of mind
Roger Penrose
rationality
classical logic
inconsistency
incompleteness theorem
Pokaż więcej
Wydawca:
Copernicus Center Press
Powiązania:
https://bibliotekanauki.pl/articles/690914.pdf  Link otwiera się w nowym oknie
Opis:
The common sense conviction that rationality is based on the classical logic requires major revision since the essential assumption of many standpoints in the cognitive science, concerning the non-contradictory character of mind, seems to be no longer tenable. Firstly, the non-algorithmic models of mind proposed by John Lucas and Roger Penrose are presented. In the context of these models, the importance of the Gödel incompleteness theorems for the philosophy of mind and artificial intelligence is debated. Secondly, several specific difficulties in applying the ‘Gödelian arguments’ in the modeling of mind are pointed out. As the main thesis of the article, it is stipulated that mind operates according to a wrong algorithm that is functionally equivalent to a contradictory formal system. The examples of the contradictory contents of mental states, evidenced in the phenomenon of self-deception and the mediaeval double truth theory in science, are discussed. Some consequences of the model of an inconsistent mind, based on the revision of the classical logic, are surveyed.
Dostawca treści:
Biblioteka Nauki
Artykuł

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