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ę "Logic" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-50 z 1060
Tytuł:
On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:
Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Powiązania:
https://bibliotekanauki.pl/articles/43183714.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic
Opis:
Jaśkowski's discussive (discursive) logic \( \mathbf{D_2} \) is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic \( \mathbf{ S5 } \) via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic \( \mathbf{ D_2^p } \).
Źródło:
Bulletin of the Section of Logic; 2024, 53, 1; 29-61
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Siła i słabość logik modalnych
The Strengths and Weaknesses of Modal Logics
Autorzy:
Czakon, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/909495.pdf
Data publikacji:
2020-03-31
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
modal logic
temporal logic
epistemic logic
Opis:
This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, epistemic logic, and temporal logic. The book comprises four chapter, each of which deals with selected formal-logical and philosophical problems associated with modal logic.
Źródło:
Filozofia Nauki; 2020, 28, 1; 125-132
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Polyadic algebras over nonclassical logics
Autorzy:
Pigozzi, Don
Salibra, Antonino
Powiązania:
https://bibliotekanauki.pl/articles/1361079.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic
Opis:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Źródło:
Banach Center Publications; 1993, 28, 1; 51-66
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:
Stopa, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/690940.pdf
Data publikacji:
2018
Wydawca:
Copernicus Center Press
Tematy:
category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic
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.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2018, 64; 7-58
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Monadic Fragments of Intuitionistic Control Logic
Autorzy:
Glenszczyk, Anna
Powiązania:
https://bibliotekanauki.pl/articles/749902.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators
Opis:
We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Abstract logical structuralism
Autorzy:
Marquis, Jean-Pierre
Powiązania:
https://bibliotekanauki.pl/articles/1047597.pdf
Data publikacji:
2020-12-29
Wydawca:
Copernicus Center Press
Tematy:
philosophy
logic
structuralism
categorical logic
Opis:
Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2020, 69; 67-110
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/691284.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of logic
formalism
logic
classical logic
Susan Haack
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.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 50; 140-151
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Useful Four-Valued Extension of the Temporal Logic KtT4
Autorzy:
Degauquier, Vincent
Powiązania:
https://bibliotekanauki.pl/articles/749896.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
temporal logic
many-valued logic
bi-intuitionistic logic
paraconsistent logic
sequent calculus
duality
cut-redundancy
Opis:
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Leibniz congruences
Autorzy:
Font, Josep
Powiązania:
https://bibliotekanauki.pl/articles/1361077.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic
Opis:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
Źródło:
Banach Center Publications; 1993, 28, 1; 17-36
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Undecidability of Non-monotonic Logic
Autorzy:
Suchenek, M. A.
Powiązania:
https://bibliotekanauki.pl/articles/92958.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
default logic
autoepistemic logic
asymptotic decidability
Opis:
The degree of undecidability of nonmonotonic logic is investigated. A proof is provided that arithmetical but not recursively enumerable sets of sentences definable by nonmonotonic default logic are elements of ∆n+1 but not Σ n nor Π n for some n ≥1 in Kleene- Mostowski hierarchy of arithmetical sets.
Źródło:
Studia Informatica : systems and information technology; 2006, 1(7); 127-132
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linear Abelian Modal Logic
Autorzy:
Mohammadi, Hamzeh
Powiązania:
https://bibliotekanauki.pl/articles/43184005.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination
Opis:
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.
Źródło:
Bulletin of the Section of Logic; 2024, 53, 1; 1-28
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only
Autorzy:
Baranov, S.
Karatkevich, A.
Powiązania:
https://bibliotekanauki.pl/articles/963932.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic synthesis
logic devices
VLSI
minimization
Opis:
In the paper we consider fast transformation of a multilevel and multioutput circuit with AND, OR and NOT gates into a functionally equivalent circuit with NAND and NOR gates. The task can be solved by replacing AND and OR gates by NAND or NOR gates, which requires in some cases introducing the additional inverters or splitting the gates. In the paper the quick approximation algorithms of the circuit transformation are proposed, minimizing number of the inverters. The presented algorithms allow transformation of any multilevel circuit into a circuit being a combination of NOR gates, NAND gates or both types of universal gates.
Źródło:
International Journal of Electronics and Telecommunications; 2018, 64, 3; 373-378
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
High-Performance Ternary (4:2) Compressor Based on Capacitive Threshold Logic
Autorzy:
Mirzaee, R. F.
Reza, A.
Powiązania:
https://bibliotekanauki.pl/articles/225977.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
4:2 compressor
ternary logic
multiple-valued logic
CNFET
threshold logic
Opis:
This paper presents a ternary (4:2) compressor, which is an important component in multiplication. However, the structure differs from the binary counterpart since the ternary model does not require carry signals. The method of capacitive threshold logic (CTL) is used to achieve the output signals directly. Unlike the previously presented similar structure, the entire capacitor network is divided into two parts. This segregation results in higher reliability and robustness against unwanted process, voltage, and temperature (PVT) variations. Simulations are performed by HSPICE and 32nm CNFET technology. Simulation results demonstrate about 94% higher performance in terms of power-delay product (PDP) for the new design over the previous one.
Źródło:
International Journal of Electronics and Telecommunications; 2017, 63, 4; 355-361
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Equality Logic
Autorzy:
Ghorbani, Shokoofeh
Powiązania:
https://bibliotekanauki.pl/articles/1023179.pdf
Data publikacji:
2020-11-04
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logic
equality logic
completness
prelinear equality∆-algebra
prelinear equality∆ logic
Opis:
In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 3; 291-324
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
From Intuitionism to Brouwers Modal Logic
Autorzy:
Kostrzycka, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/1023286.pdf
Data publikacji:
2020-12-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic logic
Kripke frames
Brouwer's modal logic
Opis:
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 4; 343-358
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Autorzy:
Cornejo, Juan Manuel
Sankappanavar, Hanamantagouda P.
Powiązania:
https://bibliotekanauki.pl/articles/43189647.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
semi-intuitionistic logic
dually hemimorphic semi-Heyting logic
dually quasi-De Morgan semi-Heyting logic
De Morgan semi-Heyting logic
dually pseudocomplemented semi-Heyting logic
regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1
implicative logic
equivalent algebraic semantics
algebraizable logic
De Morgan Gödel logic
dually pseudocomplemented Gödel logic
Moisil's logic
3-valued Łukasiewicz logic
Opis:
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 4; 555-645
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język jako system znaków
Autorzy:
Wawrzonkiewicz-Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2158560.pdf
Data publikacji:
2011
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
language
history of logic
sign
Opis:
We have to deal with numerous signs in everyday life, given us both by the nature – as, for example, clouds being a sign of upcoming rain, and also traditional, conventional signs and created by ourselves for better communication. A sign is a perceptible arrangement of things or a phenomenon caused by someone else for the reason that some set expression or formed customary rules govern combining a definite type of thoughts with this arrangement of things or the phenomenon.
Źródło:
Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 1(1); 37-45
1730-0266
Pojawia się w:
Prosopon. Europejskie Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental Comparison of Synthesis Tools Altera Quartus II and Synthagate
Autorzy:
Węgrzyn, M.
Karatkevich, A.
Powiązania:
https://bibliotekanauki.pl/articles/226665.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic design
state machines
logic devices
FPGA
VHDL
Opis:
The paper presents comparison between efficiency of an industrial FPGA design software tool Altera Quartus II and similar design software tool Synthagate by Syntezza company of an academic origin. The experiments were performed using a series of examples describing the Mealy finite state machines; onehot state encoding was used in all cases. Area (number of used logical blocks) was the main parameter used for the comparison. Influence of the way of FSM description (in VHDL language) on the quality of synthesis was studied. The obtained results show that Synthagate in almost all cases performs synthesis more efficiently and essentially quicker than Altera Quartus. Section I presents motivation of the research. Section II reminds the notion of FSM. Section III describes problems which had to be solved to provide correctness of experimental comparison. Section IV presents some details about state encoding way used in the experiments. In Section V, the experimental results are presented. Section VI describes the problems related to the comparison which still have to be solved. Section VII presents the conclusions from the experiments. Section VIII suggests possible reasons of the detected situation.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 357-362
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on Ciuciura’s mbC1
Autorzy:
Omori, Hitoshi
Powiązania:
https://bibliotekanauki.pl/articles/749998.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
paraconsistent logic
non-deterministic semantics contra-classical logic
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.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 161-171
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
Autorzy:
Bażyk, Albert Przemysław
Powiązania:
https://bibliotekanauki.pl/articles/429119.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic
Opis:
An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
Źródło:
Semina Scientiarum; 2012, 11
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza układów kombinacyjnych na jednym uniwersalnym układzie PAL z wykorzystaniem montażowego łączenia wyjść
Synthesis of combinatorial logic on single PAL device using wired-or method of PAL outputs joining
Autorzy:
Solov'ev, V.
Klimowicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/341115.pdf
Data publikacji:
2002
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
synteza logiczna
układy kombinacyjne
logic synthesis
combinatorial logic
Opis:
W artykule został opisany algorytm syntezy układów kombinacyjnych z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.
This article contains a description of an algorithm of synthesis of combinatorial logic schemes, which uses wired-OR method of joining outputs, limited to use only one universal PAL device and some modifications, which allow to use this algorithm to synthesis on single "classic" PAL device and one functional block of complex programmable device. This algorithm uses features of modern universal PAL devices, such as different number of terms connected to single macrocell and possibility of selection of output signal polarity. Conditions allowing to realize boolean function system using this algorithm are described. Work results are compared
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 219-233
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Autorzy:
Gao, Feng
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749884.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic
Opis:
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules.
Źródło:
Bulletin of the Section of Logic; 2015, 44, 3-4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logic and its Pragmatic Aspects
Autorzy:
Marsonet, Michele
Powiązania:
https://bibliotekanauki.pl/articles/1037570.pdf
Data publikacji:
2018
Wydawca:
Academicus. International Scientific Journal publishing house
Tematy:
logic
formal logic
logical pluralism
pragmatism
analytic philosophy
praxis
Opis:
A pragmatist conception of logic rejects any kind of logical constructionism, based on the appeal to privileged ontological and epistemological items and to a perfect language supposedly provided by mathematical logic. Even in logic, “pluralism” must be the key-word if one does not want to be locked in the cage of conceptions that become rapidly outdated. Dealing with the dichotomy Absolutism/Relativism in logic, it may be observed that the enterprise of logic can be considered in several - and substantially different - perspectives, among which we find (1) the psychologistic, (2) the Platonistic, and (3) the instrumentalistic viewpoints. According to (1) logic is viewed as fundamentally descriptive, and its task is taken to be that of outlining a “theory of reasoning,” i.e. a systematic account of how we humans proceed when reasoning successufully. According to (3), instead, logic’s task is that of constructing rigorous systems codifying not only actual, but also possible instrumentalities for conducting valid inferences, and these would be available (should someone want to avail himself to them) for adoption as an organon of reasoning, but no empirical claims are made that anyone has (or will) avail himself of this opportunity. The logician devises a tool or instrument for correct reasoning, but does not concern himself about the uses of this instrument. Philosophy and logic cannot be linked so closely, and today the idea that the analytic style of philosophizing is just one style among many others, and not the only possible one, is gaining increasing acceptance.
Źródło:
Academicus International Scientific Journal; 2018, 17; 46-53
2079-3715
2309-1088
Pojawia się w:
Academicus International Scientific Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Co to jest prawda?
Autorzy:
Wawrzonkiewicz–Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2158605.pdf
Data publikacji:
2011
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
history of philosophy
history of logic
truth
Opis:
This question has entered to history of the European culture not only in the version of Socrates, Plato and Aristotle, but also as Pilate’s question. However, is this question every time about the same? Or is its intellectual version, which we deal with in philosophy, equivalent with the religious formula? Ancient philosophers, such as Descartes or Aristotle have already studied the question of truth. Truth is not an issue completely clear for man. Despite so many clear definitions, it does not give us full form of the notion of truth. All these centuries various inquires did not give us any answers. Every of definitions of truth shows us how to act, and according to which rules. We can agree on the classic definition of truth or reject it.
Źródło:
Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 2(2); 29-37
1730-0266
Pojawia się w:
Prosopon. Europejskie Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W trosce o kulturę logiczną w badaniach filozoficznych i teologicznych
For the sake of logical culture in philosophical and theological research
Autorzy:
Śleziński, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/690856.pdf
Data publikacji:
2019
Wydawca:
Copernicus Center Press
Tematy:
christian philosophy
logic
Opis:
Book review: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza [Polish Christian Philosophy: Stanisław Kamiński and Kazimierz Marek Wolsza] (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.
Recenzja monografii wieloautorskiej: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2019, 66; 326-330
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013148.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics
Opis:
Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization problems in the synthesis of multiple-valued logic networks
Autorzy:
Deniziak, S.
Wiśniewski, M.
Kurczyna, K.
Powiązania:
https://bibliotekanauki.pl/articles/114046.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
multiple-valued logic network
symbolic decomposition
FPGA
logic synthesis
Opis:
The paper discusses some aspects of FPGA-oriented synthesis of multiple-valued logic (MVL) network, i.e. a network of modules connected by multiple-valued signals. MVL networks are built during high-level synthesis, as a source specification of logical systems or during re-synthesis of gate-level circuits. FPGA-oriented synthesis of MVL is based on decomposing modules into smaller ones, each fitting in one logic cell. In this paper, we show that the order, according to which the modules are decomposed, has a great influence on the efficiency of the synthesis. This paper presents the case study which demonstrates the above problem as well as some experimental results and conclusions.
Źródło:
Measurement Automation Monitoring; 2016, 62, 5; 166-168
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on the Intuitionistic Logic of False Belief
Autorzy:
Witczak, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/2142756.pdf
Data publikacji:
2021-09-01
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Intuitionistic modal logic
non-normal modal logic
neighborhood semantics
Opis:
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world, but we still believe in it (or we think that it should be accepted). Another interpretations are also possible: e.g. that we do not accept $\varphi$ but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is expressed by an adequate form of modal operator $\mathsf{W}$ which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. Finally, we mention the fact that it is possible to investigate intuitionistic logics of unknown truths.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 1; 57-71
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Autorzy:
Ciuciura, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/750004.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
deontic logic
K1
Kalinowski’s logic
paradoxes
tableaux
Opis:
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2013362.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic
Opis:
The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 23-46
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice predykatów. Analiza logiczno-filozoficzna
On predicate logic. Logical-philosophical analysis
Autorzy:
Gut, Arkadiusz
Powiązania:
https://bibliotekanauki.pl/articles/2015981.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
sąd
logika predykatów
logic
syllogistic
proposition
predicate logic
Opis:
This paper presents the central part of the contemporary logic: the predicate logic. By determining the types of primitive elements that make up the parts of the judgement the author tries to describe the structure (logical form) of atomic judgement that we meet in predicate logic. The main task is to find out the logical and philosophical fundaments of the asymmetry of the subject and predicate in the logic of quantification. This main aim was motivated by the assumption that if the current logic (predicate logic) has the significance, which we are inclined to attach to it, then it must reflect fundamental features of our thought about the world. Therefore the author of the paper analyses the logical and philosophical reasons that can be put forward for preferring the modern predicate logic to the traditional theory of general inferences which occur in syllogistic. To show the difference between the logical form of the basic proposition established in traditional logic and the logical form of atomic proposition in post-fregean logic some specific points were taken into consideration: the problem of reference; negation; existential import and others. At the end it was explicated that the crucial move – which was revealed in predicate logic – lay in extending the idea of function−argument analysis from mathematics to logic.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 121-163
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawda i fałsz wypowiedzi literackiej
Truth and Falsity of Literary Statements
Autorzy:
Magryś, Roman
Powiązania:
https://bibliotekanauki.pl/articles/1206730.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
formal logic
fiction
truth
intention
falsehood
literature
intensional logic
phenomenology
Opis:
The article Truth and Falsity of Literary Statements investigates the issue of logical values, and consequently communication related status of sentences in indicative mood occurring in works of literature. The problem is discussed with reference to theoretical assumptions of classical logic, intuitionistic logic, and other possible intensional logics as well as phenomenological concepts proposed by Roman Ingarden. In this context it is suggested that intensional systems, mainly intuitionistic logic be adequately applied to identify logical value of literary sentences. As a result, it is assumed that the logical value of literary sentences depends on the specific logical system selected; according to the standards of intuitionistic logic, literary statements are true, likely or false. In this context it seems necessary to revise Roman Ingarden’s phenomenological assumption that sentences in indicative mood in a work of fiction do not have objective point of reference. It is suggested that such sentences be recognised as false, and therefore indicative of the group of their intentional meanings as a specific model of reality which can be deemed true or false.
Źródło:
Dydaktyka Polonistyczna; 2020, 6 (15); 72-91
2451-0939
Pojawia się w:
Dydaktyka Polonistyczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
Autorzy:
Parol, Aleksander
Pietrowicz, Krzysztof
Szalacha-Jarmużek, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/1812204.pdf
Data publikacji:
2021-06-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logic for social sciences
positional logic
realisation operator
social phenomena
Opis:
In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 2; 205-227
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza odwracalnych układów logicznych oparta na sieciach Closa
Clos switching network based reversible circuit synthesis
Autorzy:
Szyprowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154679.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
odwracalne układy logiczne
synteza logiczna
reversible logic circuits
logic synthesis
Opis:
W pracy zaprezentowany jest efektywny obliczeniowo algorytm syntezy układów odwracalnych oparty na komutacji połączeń w sieci przełączającej Closa. Zaproponowano heurystyki, które zmniejszają koszt generowanych układów. Dla układów o 3 wejściach i wyjściach podstawowa wersja algorytmu generuje układy o średnim koszcie równym 131,1% kosztu układu optymalnego, zaś pokazane heurystyki zmniejszają go do 113,7%.
Synthesis of reversible Boolean functions (i.e. bijective mappings) is an emerging research area, mainly motivated by advances in quantum computing, nanotechnologies and low power design. The paper describes a computationally efficient reversible circuit synthesis algorithm. The presented synthesis algorithm decomposes the permutation realized by a reversible function into simpler permutations, which can be then directly mapped to reversible gates. The decomposition is based on the combinatorial theorems used by the Clos switching networks. In the paper analysis of the algorithm computational complexity is performed as well as some new heuristic modifications are proposed. These heuristics decrease the cost of generated circuits and reduce the required computation time. For all 3-input, 3-output reversible functions, the basic algorithm generates circuits that are 131.1% larger than the optimal one, while the introduced heuristics reduce it to 113.7%.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 735-738
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obowiązek oparty na preferencji
Obligation Based on Preference
Autorzy:
Drofiszyn, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/38429569.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
Henryk Elzenberg
moral obligation
value
deontic logic
logic of preference
Opis:
The paper presents a formalization of Henryk Elzenberg’s system of axiology, which features the notions of value, ought, and obligation. The formalization I propose is constructed in the language of sentential modal logic. However, as Elzenberg was well aware, his system of axiology had several difficulties. To avoid them, I propose a modification of the system’s foundations and show that it preserves the formal properties of ought and obligation postulated by Elzenberg. To show this, I express in the proposed formal language a certain theory of the logic of preference that I describe from the syntactical as well as the semantical point of view.
Źródło:
Filozofia Nauki; 2022, 30, 3; 101-130
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
MIĘDZY ONTOLOGIĄ A LOGIKĄ. ROLA LOGIKI W PROCESIE POZNANIA PRAWDY
BETWEEN ONTOLOGY AND LOGIC. THE ROLE OF LOGIC IN THE PROCESS OF KNOWING THE TRUTH
Autorzy:
Wojtyła, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/512488.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Diecezjalne Adalbertinum
Tematy:
logic
ontology
truth
Opis:
The purpose of the article was to try to answer the question, what truth and logic is discovered? The answer came by comparing the claims made by Des-cartes and the main representatives of the Lviv-Warsaw School. The author of the article contrasting the views of the French thinker with the views of Polish logicians, with Kazimierz Ajdukiewicz at the head, turns to the proposal of the latter. According to Ajdukiewicz, discovered by law logic, as well as the laws discovered by representatives of empirical sciences, there are some objective relations that take place on the side of reality. Knowing these important and universal properties and laws, man increas-ingly and better understands the world. The conclusion of the article is the the-sis that there is close correspondence between ontology and logic, as expressed by the first principles of the law of being, which are also the first principles of the laws of thought. Responding to the question of the role of logic in the pro-cess of learning the truth, the author confesses to those authors who argue that logic is a science that works on the material provided by the ontology, looking for relationships between objects of the real world.
Źródło:
Studia Ełckie; 2017, 19, 3; 283 - 294
1896-6896
2353-1274
Pojawia się w:
Studia Ełckie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice uprawdziwiaczy
About Logic of Truthmakers
Autorzy:
Paśniczek, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/909875.pdf
Data publikacji:
2005-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
truthmakers
truthmakers' logic
Opis:
The paper discusses main issues concerning truthmakers: (1) what is the ontological status of truthmakers (are they ordinary objects, situations, tropes etc?), (2) what are deduvtive properties of truthmakers. A simple logic of truthmakers is developed. The logic consists of an axiomatic system and a possible world semantics.
Źródło:
Filozofia Nauki; 2005, 13, 2; 103-111
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Value of Reality to Logic and the Value of Logic to Reality: A Comparison of Łukasiewicz’s and Leśniewski’s Views
Autorzy:
Rybaříková, Zuzana
Powiązania:
https://bibliotekanauki.pl/articles/38424725.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
Stanisław Leśniewski
Jan Łukasiewicz
philosophy of logic
metaphysics of logic
Opis:
Since Kazimierz Twardowski introduced the notions of “symbolomania” and “pragmatophobia,” the relationship between logic and reality was the focus of the philosophers from the Lvov-Warsaw School — inter alia two prominent logicians of the group, Stanisław Leśniewski and Jan Łukasiewicz. Bolesław Sobociński has pointed out, however, that there was a contrast between their approach to logic and reality. Despite being members of the same philosophical group and even colleagues from the same department, their philosophical views on the position of logic in reality differed considerably. Yet they both agreed that reality has a certain importance for logic and that logic could be valuable for reality. The aim of this paper is to introduce their divergent positions and describe in more detail how Leśniewski and Łukasiewicz understood the relationship between logic and the real world.
Źródło:
Filozofia Nauki; 2022, 30, 1; 83-94
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:
The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nilpotent Minimum Logic NM and Pretabularity
Autorzy:
Yang, Eunsuk
Powiązania:
https://bibliotekanauki.pl/articles/750006.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
pretabularity
nilpotent minimum logic
algebraic semantics
fuzzy logic
finite model property
Opis:
This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp and the another known extended system NM-. Next, we show that NMnfp and NM½ are pretabular, whereas NM is not. We also discuss their algebraic completeness.  
Źródło:
Bulletin of the Section of Logic; 2020, 49, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Variant of Material Connexive Logic
Autorzy:
Belikov, Alexander
Zaitsev, Dmitry
Powiązania:
https://bibliotekanauki.pl/articles/2142753.pdf
Data publikacji:
2021-11-09
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logics
connexive logic
four-valued logic MC
informal reasoning
Opis:
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
From quantum logic to quantum computational logic
Autorzy:
Caponigro, M.
Mancini, S.
Powiązania:
https://bibliotekanauki.pl/articles/1955359.pdf
Data publikacji:
2006
Wydawca:
Politechnika Gdańska
Tematy:
quantum logic
quantum computation
Opis:
We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2006, 10, 1; 5-19
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Applications of Algebra in Logic and Computer Science – the Past and the Future
Autorzy:
Grygiel, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/749898.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
conference
algebra
logic
applications
Opis:
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Autorzy:
Ilić, Mirjana
Powiązania:
https://bibliotekanauki.pl/articles/749978.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
natural deduction
intuitionistic logic
Opis:
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Maurycy Straszewski – filozofia dziejów filozofii w poszukiwaniu praw i zasad rozwoju filozofii
Autorzy:
Tyl, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/637615.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
W dniu 7 V 1900 roku, na posiedzeniu działającego w Wiedniu Towarzystwa  Filozoficznego,  Maurycy  Straszewski  (1848-1921)  wygłosił wykład pt. Ideen zur Philosphie der Geschichte der Philosophie, którego tekst wydał później w języku polskim, jednak już pod zmienionym tytułem: Pomysł do ujęcia dziejów filozofii w całości. W pierwszych  partiach  swego  wystąpienia,  dokonując  wstępnej  ekspozycji tematu, odwołał się Straszewski do osobliwego wydarzenia, na które raczej nie zwracano w tym czasie uwagi. Chodziło o prawdopodobną rocznicę publicznego ogłoszenia przez Talesa poglądów na temat genezy i natury rzeczywistości, co miało – jego zdaniem – dokonać się około 600 roku p.n.e. i stanowić zarazem początek filozofii. W pełnych patosu słowach mówił dalej o niezerwanej już nigdy później nici tradycji filozoficznego myślenia, o duchowym szlachectwie wszystkich filozofujących, które nie tylko przysparza im i ich dyscyplinie dostojeństwa, lecz które nade wszystko pociąga za sobą określone obowiązki.
Źródło:
Principia; 2010, 53
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ingardenowska teoria imion własnych w świetle sporu o ich semantykę
Autorzy:
Cyzman, Marzenna
Powiązania:
https://bibliotekanauki.pl/articles/637621.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
Pomysł zaprezentowania i krytycznej analizy koncepcji nazw własnych sformułowanej Romana Ingardena wynika z konieczności uzupełnienia swoistej luki w pracach na temat jego ontologii, estetyki czy teorii dzieła literackiego. Refleksja o nazwach własnych pojawia się w nich bowiem nader rzadko, najczęściej w kontekście rozważań głównych, dla których stanowi jedynie przyczynek, uzupełnienie czy dygresję.
Źródło:
Principia; 2010, 53
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Konflikt pana i niewolnika w filozofii Hegla
Autorzy:
Żelazny, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/637627.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
Jednym z największych zaniedbań filozofii Zachodu było zagubienie pojęcia karmy.Karma jest tylko magazynem niezużytej energii, niespełnionych pragnień i niezrozumiałych obaw. Magazyn zapełnia się wciąż nowymi pragnieniami i lękami. Ale nie musi tak być zawsze. Niech pan spróbuje zrozumieć istotną przyczynę pańskich obaw (wyobcowania z samego siebie) i pragnień (tęsknota za jaźnią), a pańska karma zniknie jak sen.Wydaje mi się, że w czasach nowożytnych najbliższy zrozumienia tej pradawnej prawdy był Johann Gottlieb Fichte. Zgodnie z jego koncepcją pierwsza faza ludzkiego życia, wczesne dzieciństwo, charakteryzowało się identycznością Ja z samym sobą
Źródło:
Principia; 2009, 51
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Heglowska teoria uniwersaliów
Autorzy:
Royce, Josiah
Powiązania:
https://bibliotekanauki.pl/articles/637643.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
Trzeba  jeszcze  wspomnieć  o  jednej  zasadniczej  kwestii  związanej z Nauką logiki. Logika starego typu sama siebie określała jako „formalną”. Rozpatrywała kategorie i metody myślenia, lecz nie podejmowała się konstrukcji konkretnych prawd. Formy myślenia nigdy nie były dla niej czymś rzeczywistym. Kategorie Hegla są oczywiście czymś więcej. Prawa myślenia nie są tylko abstrakcjami, lecz są duszą rzeczy. Nauka logiki konstruuje samą istotę jaźni świata
Źródło:
Principia; 2009, 51
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Derrida i doświadczenie figuratywne: ku semantyce transgresywnej
Autorzy:
Synak-Pskit, Xymena
Powiązania:
https://bibliotekanauki.pl/articles/637653.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
Podejmując  próbę  określenia  koncepcji  semantycznej  zarysowanej w filozofii Derridy narażam się być może na głosy sprzeciwu wobec możliwości  mówienia  o  jakiejkolwiek  systematyczności  dyskursu proponowanego przez myśl dekonstrukcyjną. Myślę jednak, że obecny stan refleksji filozoficznej spłaszcza poniekąd filozofię derridiańską, redukując ją do anty-systemu, interpretacyjnego chaosu czy też filozoficznego kuglarstwa, podczas gdy stanowi ona pole dla szerokiej interpretacji, wcale nie o charakterze „wszystkoizmu”.
Źródło:
Principia; 2010, 53
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problem refleksji zewnętrznej w Nauce logiki
Autorzy:
Szymański, Sławomir
Powiązania:
https://bibliotekanauki.pl/articles/637655.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
philosophy, logic, theoretical sociology
Opis:
W często przytaczanym fragmencie Wykładów z historii filozofii Hegel  opisuje  pewien  charakterystyczny  punkt  widzenia  na  filozofię; wyraża się on w pełnym wyższości zobojętnieniu na zgłaszane przez filozofię roszczenie do poznania prawdy, a kumuluje w przekonaniu, że historia filozofii to po prostu zbiór przekonań, poglądów, mniemań czy opinii. Na korzyść tego stanowiska działa jeszcze fakt istnienia wielu  rozmaitych  filozofii,  często  wzajemnie  sprzecznych
Źródło:
Principia; 2009, 51
2084-3887
Pojawia się w:
Principia
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-50 z 1060

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