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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Wyrażenia kwantyfikujące i negacja w hebrajszczyźnie biblijnej
    Quantifying expressions and negation in the Biblical Hebrew
    Autorzy:
    Termińska, Kamilla
    Powiązania:
    https://bibliotekanauki.pl/articles/468344.pdf
    Data publikacji:
    2015
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    kwantyfikator generalny
    kwantyfikator egzystencjalny
    negacja z kwantyfikatorem
    dziedzina interpretacji
    emfatyzacja
    idiomatyczność języka etnicznego
    general quantifier
    existential quantifier
    negation with a quantifier
    field of interpretation
    emphasis
    idiomaticity of the ethnic language
    Opis:
    The article discusses Biblical Hebrew realizations of classical quantifiers, general and existential ones, both in assertive sentences and in combination with negation. Particular attention is paid to various quantifying expressions concerning the man and time, whose interpretation depends on a given field of interpretation. The problem of formula emphasizing and category illogicality of the expression ‘everything apart from’ has been highlighted and the major differences between the realizations of quantifier formulas in classical Hebrew and contemporary Polish have been outlined.
    Źródło:
    Forum Lingwistyczne; 2015, 2; 7-29
    2449-9587
    2450-2758
    Pojawia się w:
    Forum Lingwistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rachunek nazw z listami
    The Calculus of Names with Lists
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012863.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    lista
    Operator listowy
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    list
    list Operator
    elementary ontology
    Leśniewski’s Systems
    Opis:
    In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
    Źródło:
    Roczniki Filozoficzne; 2011, 59, 1; 35-50
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
    A quantifier-less calculus of names with the rule of extensionality
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013180.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    reguła ekstensjonalności dla funktora inkluzji jednostkowej
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    extensionality rule for the functor of singular inclusion
    elementary ontology
    Leśniewski’s systems
    Opis:
    Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 417-429
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
    IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488172.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    identyczność
    zaimki funktorowe
    zaimki wskazujące
    bezkwantyfikatorowy rachunek nazw
    logika Ockhama
    logika średniowieczna
    deskrypcje określone
    identity
    functor pronouns
    demonstrative pronouns
    quantifier-less calculus of names
    Ockham’s logic
    medieval logic
    definite descriptions
    Opis:
    From the logical point of view, the most interesting among the pronouns are demonstrative pronouns (especially: this/that), indefinite pronouns (a/an), definite pronoun (the) and quantifying pronouns (every, all, some). Unlike personal pronouns (e.g. I/you/he) they are in fact functors (of the n/n category). The differentiation between personal pronouns (n) and functor pronouns (n/n) is vital here. This differentiation does not exist in traditional grammar. The study is limited to determining functor pronouns with the use of logical properties of quantifying expressions, which are functor pronouns themselves – all (n) and some (cr) – formally expressed in the quantifier-less calculus of names (BRN). The calculus is properly enriched with demonstrative pronouns (demonstrativa), in connection to certain studies by Toshiharu Waragai (LID). An attempt to employ this system (BRND) in the analysis of some fragments of Ockham’s Summa Logicae is shown here. The work is concluded with the analysis of a functor pronoun the only (t), being a special case of a definite pronoun, which is characterised here by means of rules. The work reveals the connection between this pronoun and the operator of definite descriptions (marked in the same way) in relation to a certain Ludwik Borkowski’s conception.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 3; 125-141
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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