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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Systemy sylogistyki dowodowej
    Systems of Demonstrative Syllogistic
    Autorzy:
    Kulicki, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/2012933.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    sylogistyka
    dowód
    aksjomatyczne odrzucanie
    syllogistic
    proof
    rejected axiomatization
    Opis:
    Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical  model is also defined. 
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 1; 139-154
    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ł:
    Sylogistyka Venna i pewna konwencja notacyjna
    Venn’s Syllogistic and a Certain Notational Convention
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488299.pdf
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    sylogistyka
    sylogistyka Venna
    mocne rozumienie zdań szczegółowo-twierdzących
    pewna konwencja notacyjna
    syllogistic
    Venn’s syllogistic
    strong understanding of particular affirmative sentences
    a certain notational convention
    Opis:
    John Venn w Formal Logic (1881) zbudował pewien system sylogistyki, będący jedną z realizacji idei kwantyfikacji orzeczników. Interesującą rekonstrukcję tego systemu zaproponował V.I. Markin (2011). Markin posługuje się pięcioma funktorami pierwotnymi {aa,ai,ia,ii,e}. Wyrażenia elementarne SaaP,SaiP,SiaP,SiiP oraz SeP są czytane odpowiednio: wszelkie S są wszelkimi P, wszelkie S są pewnymi P, pewne S są wszelkimi P, pewne S są pewnymi P oraz żadne S nie są P. Markin podaje aksjomatykę dla tego systemu. Proponuje też reguły translacji jego formuł na język sylogistyki klasycznej, o aksjomatyce Łukasiewicza {SaS, SiS, MaP˄SaM ɛ SaP, MaP ˄ MiS ɛ SiP}oraz reguły translacji odwrotnej. To sformułowanie sylogistyki Venna można uprościć przez przyjęcie konwencji notacyjnej: SP / SPPS SPPS / SP dla ,{a,&}. Proponowana jest nowa aksjomatyka dla sylogistyki Venna z mocnym rozumieniem zdań szczegółowo-twierdzących (S3P). Badane są związki logiczne między sylogistyką Venna (SV) i systemem Łukasiewicza (SL). Zostaje sformułowany system (SI) z mocnym rozumieniem zdań szczegółowo-twierdzących. Podany jest dowód, że systemy SI i SL są równoważne.
    John Venn in his Formal Logic (1881) constructed a certain system of syllogistic, which is one of implementations of the idea of the quantification of predicates. An interesting reconstruction of this system was proposed by V.I. Markin (2011). Markin makes use of five primary functors {aa, ai, ia, ii, e}. The elementary expressions SaaP, SaiP, SiaP, SiiP and SeP are respectively read as: all S is all P, all S is some P, some S is all P, some S is some P and no S is any P. Markin gives the axiom system for the system. He also proposes the rules of translation of its formulas into the language of classical syllogistic of Łukasiewicz’s axiom system {SaS, SiS, MaPSaM SaP, MaPMiS SiP} and the rules of reverse translation. This formulation of Venn’s syllogistic can be simplified, including the strong understanding of particular-affirmative sentences (S P) and by adopting the following notational convention: SP / SPPS SPPS / SP for ,{a,&}. A new axiom system for Venn’s syllogistic is proposed here. The logical relations between Venn’s sylogistic (SV) and the Łukasiewicz’s system (SL) are examined. A system (SI) has been formulated with a strong understanding of particular affirmative sentences. The proof that systems SI and SL are equivalent is given.
    Źródło:
    Roczniki Filozoficzne; 2015, 63, 1; 117-138
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      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