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
Wyrównaj
Wyświetlanie 1-15 z 103
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ł:
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ł:
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ł:
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 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ł:
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ł:
Formal reconstruction of notions of belief, utterance and trust
Autorzy:
Piechowicz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/690754.pdf
Data publikacji:
2020
Wydawca:
Copernicus Center Press
Tematy:
logic
beliefs
utterances
trust
Opis:
Problem of epistemic activity and their relationship with language is very well known in philosophy. Undertaking this challenge in this article we shall present some logical constructions apparent in these issues. More precisely we want to describe some difficulties of formal reconstruction of the notion of belief and utterance and try to find broader perspective appointed by notion of trust. To realize this goals article shows how non-formal assumption about doxa affects on its formal construction. Then, logic of utterances-mainly based on Conversational Implicatures theory-and its relation to doxastic systems is discussed and, finally, article shows that more accurate description of these two notions needs broader perspective created by BIT system proposed by Ch-J. Liau.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2020, 68; 63-77
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
“Is logic a physical variable?” Introduction to the Special Issue
Autorzy:
Eckstein, Michał
Skowron, Bartłomiej
Powiązania:
https://bibliotekanauki.pl/articles/1047603.pdf
Data publikacji:
2020-12-30
Wydawca:
Copernicus Center Press
Tematy:
category theory
physics
logic
Opis:
“Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information Center in Sopot. It touches upon the intimate relationship between the foundations of physics, mathematics and philosophy. To address this question one needs a conceptual framework, which is on the one hand rigorous and, on the other hand capacious enough to grasp the diversity of modern theoretical physics. Category theory is here a natural choice. It is not only an independent, well-developed and very advanced mathematical theory, but also a holistic, process-oriented way of thinking.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2020, 69; 7-13
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pojęcie nazwy oraz funktora
The notions of name and functor
Autorzy:
Wawrzonkiewicz-Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/501345.pdf
Data publikacji:
2012
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
history of philosophy
history of logic
notion
name
functor
Opis:
Syntactic categories fulfil different roles in constructing compound expressions. Sentences and names, and also some functors are syntactic categories. Sentences are expressions which state that something is this way and not another. Therefore, in the logical sense, a sentence is a following statement: “The earth is a planet”. Sentences (expressions) are intensional when they do not deserve a feature of extensionality. There can be sentences saying about conditions of the mind, causal or time relationships etc. Therefore, they are intensional because their logical value (i.e. truth or falsity) depends not only on component elements (e.g. from truth / falsity of clauses of the compound sentence), but also on different factors. Between the modules of this expression (e.g. between the component sentences of the compound sentence) some more different relations occur. These sentences get in relationships between them, e.g. in the cause and effect relationship - as a logical implication relation. Therefore, the logical value of these sentences goes beyond simple logical deductions, and according to some theories goes beyond logic itself.
Źródło:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2012, 1(9); 135-139
1898-0171
Pojawia się w:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013349.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
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
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.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 129-157
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W sprawie pojęcia logiki klasycznej
On the Concept of Classical Logic
Autorzy:
Kwiatkowski, Tadeusz
Powiązania:
https://bibliotekanauki.pl/articles/2013423.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
semiotyka
dowód
stoicy
Arystoteles
logic
syllogistic logic
semiotics
proof
stoics
Aristotle
Opis:
The subject matter of our considerations here is the concept of classical logic. The author begins with a brief etymological reflection and a presentation of some views ancient philosophers had (from Heraclitus to Plato) and inspired Aristotle’s and stoic discussion of logic. They brought about the first systems of formal logic and rich outlines of other branches of logic in their broad understanding, such as the methodology of sciences and semiotics. Aristotle’s logical discoveries (mainly syllogistic logic of assertoric propositions, syllogistic logic of modal propositions, and theory of scientific proof), and stoics’ discoveries (logic of propositions and semiotics) are the first, highly advanced approaches to classical logic. The later history of logic consisted mainly in the reception of those ancient achievements, or in their semantic enrichment.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 87-118
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pogranicze logiki i prakseologii w pracach Ewy Żarneckiej-Biały
Borderline Between Logic and Praxiology in Ewa Żarnecka-Biały’s Works
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/468806.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Żarnecka-Biały Ewa
logic
praxiology
Opis:
Żarnecka-Biały presented her views on the nature of logic and praxiology, and the connections between them, in some of her papers. The aim of this article is to refer and discuss some main theses of Żarnecka-Biały’s concerning the logical aspect of praxiology.
Źródło:
Prakseologia; 2011, 151; 223-235
0079-4872
Pojawia się w:
Prakseologia
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 103

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