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: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 56
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ł:
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ł:
Logika odkrycia naukowego a logika rozumowania
The Logic of Scientific Discovery and the Logic of Reasoning
Autorzy:
Bobryk, Jerzy
Powiązania:
https://bibliotekanauki.pl/articles/963674.pdf
Data publikacji:
2002-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 2002, 10, 2; 5-17
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ł:
Logika dla filozofów nauki (Alfred Tarski, „Wprowadzenie do logiki”)
The Logic for Philosophers of Science (Alfred Tarski, „Introduction to Logic”)
Autorzy:
Wójtowicz, Anna
Powiązania:
https://bibliotekanauki.pl/articles/966589.pdf
Data publikacji:
1996-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1996, 4, 1; 117-122
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metafizyka w logice
Metaphysics in Logic
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/965485.pdf
Data publikacji:
1999-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper contains a survey of existence problems in the folowing calculi of formal logic: calculi of classes, syllogistics, classic predicate calculus, Lesniewski's ontology, quantificational modal calculi, quantificational tense logics, sentential calculi. The particular attention is given to metaphysical (ontological) presuppositions and commitments of logical calculi especially to the problems of empty set, existential axiom (axiom of the non-emptiness of universe of discourse), existential operators (quantifiers and functors), possible worlds, temporal predicates and operators, objects of sentences.
Źródło:
Filozofia Nauki; 1999, 7, 1-2; 51-76
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Podstawy logiki
The Foundation of Logic
Autorzy:
Chwistek, Leon
Powiązania:
https://bibliotekanauki.pl/articles/968341.pdf
Data publikacji:
1997-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The text is based on the unpublished notes from the lectures given by Chwistek in 1931 in Lvov.
Źródło:
Filozofia Nauki; 1997, 5, 4; 131-156
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawda a logika
Truth and Logic
Autorzy:
Stuchliński, Józef
Powiązania:
https://bibliotekanauki.pl/articles/965551.pdf
Data publikacji:
2001-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 2001, 9, 3; 75-99
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika, ontologia, metafizyka
Logic, Ontology and Metaphysics
Autorzy:
Lejewski, Czesław
Powiązania:
https://bibliotekanauki.pl/articles/967602.pdf
Data publikacji:
1993-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
According to the author, no body of theories deserves to be called philosophy unless some of these theories and problems fall within the province of metphysics. No problems deserves the name of metaphysics unless some of them add up to constitute ontology. The author presents the reistic version of the science of being as the union of Protothetic, Ontology, Mereology and Chronology. The next possible step in the construction of the reistic ontology will be Stereology (a kind of reistic geometry).
Źródło:
Filozofia Nauki; 1993, 1, 1; 15-35
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika przekonań warunkowych
Logic of Conditional Beliefs
Autorzy:
Tworak, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/968681.pdf
Data publikacji:
2014-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In this paper I present a simple logic for conditional beliefs in a multi-agent doxastic context (CDL). Conditional beliefs Bi((/() encode beliefs in ( we would have if we were to learn new information (. The account of this notion is close to the classical theory of belief revision (AGM) and the standard conditional logic, as developed by Stalnaker and Lewis. I give both semantic and axiomatic characterization of conditional beliefs. They are interpreted in terms of plausibility or preference ordering on worlds. I also investigate the relation between notions of belief and knowledge. The logic may be used, for example, for epistemic analysis of some extensive form games.
Źródło:
Filozofia Nauki; 2014, 22, 2; 37-54
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Implicit Logic of Plato’s Parmenides
Autorzy:
Król, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/965218.pdf
Data publikacji:
2013-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
This paper is devoted to the reconstruction of the implicit logic of Plato’s Par-menides. The reconstructed logic, F, makes it possible to form a new semi-intuitionistic system of logic of predicates, FN. The axioms of Peano Arithmetic (PA) and an axiom of infinity follow from FN. Therefore, FN can be seen as a new attempt at the realization of Frege’s logicist program. Some very strong systems can be seen as other variants of FN, e.g. Leśniewski’s ontology. The hypothesis from Parmenides II contains proof of the existence of the two highest principles, i.e. the One and the Dyad, their mutual relationship, their relations to other things, and the reasoning regarding the mutual relationship follows some exact formal rules. Six types of Plato’s negation of a predicate are defined. The system is a first-order logic with non-classical negation of a predicate (local negation) that is non-definable by classical sentential negation. Therefore, the implicit logic of Plato’s Parmenides differs from classical syllogistics (formed in the Łukasiewicz’s style) as well as from the classical predicate calculus.
Źródło:
Filozofia Nauki; 2013, 21, 1; 121-135
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Niemonotoniczna logika niefregowska
The Non-monotonic NonFregean Logic
Autorzy:
Wójtowicz, Anna
Powiązania:
https://bibliotekanauki.pl/articles/966727.pdf
Data publikacji:
2011-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
NonFregean logic is the classical logic enriched by identity connective. In one of possible interpretations of this calculus, the identity connective joins two sentences into a true sentence when these sentences have the same meaning. But when (if any) do simple sentences (i.e. sentences not containing logical constants) have the same meaning? In the paper the non-monotonic version of nonFregean logic is presented. The starting point of every reasoning in this logic is that all simple sentences have the same meaning. This assumption may be retracted in order to maintain consistency with a new piece of information.
Źródło:
Filozofia Nauki; 2011, 19, 2; 105-114
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
LCG - logika zmian
The LCG Logic of Changes
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/968507.pdf
Data publikacji:
2007-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The subject of the presented work is the analysis of situations changeability in frame of constructed logic LCG. In the suggested interpretation, substantial change (substantial movement), which consists of the disappearing of a certain substance a1 and the coming into being of substance a2, for which a1 is an active potentia, is understood in the following manner - the elementary fact: essence a1 exists becomes fiction and a new fact arises: essence a2 exists, which is enabled by the previous one. In the language of our formalisation this "transition" from fact to fiction, which occurs in the case of the situation: essence a1 exists, described as C-change. The second component of substantial movement (or rather its situational equivalent) is the occurring of a new fact: essence a2 exists, which is possible under the condition of an earlier occurring of the fact: essence a1 exists. We describe this aspect of movement as G-change, which is an expansion of a set of formulas by a new elementary sentence and expressions in which this sentence occurs. Within the range of the LCG calculus operators C and G obtain an interpretation wider than the one which can be determined upon the basis of the Aristotelian theory of change expressed in terms of situational ontology. Semantical and syntactical characteristics of the LCG logic gives the possibility to compare it with such known calculi of changes like sentential systems of von Wright, Clifford and Wajszczyk.
Źródło:
Filozofia Nauki; 2007, 15, 1; 19-46
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika a czas i zmiana
Logic, Time and Change
Autorzy:
Omyła, Mieczysław
Powiązania:
https://bibliotekanauki.pl/articles/965054.pdf
Data publikacji:
1997-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1997, 5, 3; 131-134
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 56

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