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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
    Autorzy:
    Kürbis, Nils
    Powiązania:
    https://bibliotekanauki.pl/articles/749954.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    definite descriptions
    negative intuitionist free logic
    natural deduction
    normalization
    Opis:
    This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩x[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 2; 81-97
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Incomplete Descriptions and the Underdetermination Problem
    Autorzy:
    Moldovan, Andrei
    Powiązania:
    https://bibliotekanauki.pl/articles/620890.pdf
    Data publikacji:
    2015-12-01
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    incomplete definite descriptions
    quantifier domain restriction
    referential uses
    underdetermination
    Opis:
    The purpose of this paper is to discuss two phenomena related to the semantics of definite descriptions: that of incomplete uses of descriptions, and that of the underdetermination of referential uses of descriptions. The Russellian theorist has a way of accounting for incomplete uses of descriptions by appealing to an account of quantifier domain restriction, such as the one proposed in Stanley and Szabó (2000a). But, I argue, the Russellian is not the only one in a position to appeal to such an account of incomplete uses of descriptions. Proponents of other theories, such as the Fregean, which does not treat descriptions as quantifiers, might benefit from this account of domain restriction. In the second part of the paper I discuss referential uses of incomplete definite descriptions. Relative to such uses, Wettstein (1981) and others have argued that the Russellian theory faces a problem of underdetermination of semantic content. Neale (2004) has replied to this objection showing why it does not pose a threat to the Russellian theory. Again, I argue that not only the Russellian, but also the Fregean can subscribe to Neale’s (2004) suggestion.
    Źródło:
    Research in Language; 2015, 13, 4; 352-367
    1731-7533
    Pojawia się w:
    Research in Language
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Speaker’s Referent and Semantic Referent in Interpretive Interaction
    Autorzy:
    Leth, Palle
    Powiązania:
    https://bibliotekanauki.pl/articles/1797155.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    definite descriptions
    speaker’s referent
    semantic referent
    conversational interaction
    interpretation
    semantics/pragmatics
    Opis:
    In this paper I argue that the notions of speaker’s reference and semantic reference—used by Kripke in order to counter the contentious consequences of Donnellan’s distinction between the referential use and the attributive use of definite descriptions—do not have any application in the interpretive interaction between speaker and hearer. Hearers are always concerned with speaker’s reference. Either, in cases of cooperation, as presented as such by the speaker or, in cases of conflict, as perceived as such by the hearer. Any claim as to semantic reference is irrelevant for the purposes of communication and conversation. To the extent that the purpose of semantic theory is to account for linguistic communication, there is no reason to take definite descriptions to have semantic reference.
    Źródło:
    Studia Semiotyczne; 2020, 34, 2; 65-80
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
    Autorzy:
    Kürbis, Nils
    Powiązania:
    https://bibliotekanauki.pl/articles/750050.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    definite descriptions
    binary quantifier
    term forming operator
    Lambert's Law
    intuitionist negative free logic
    natural deduction
    Opis:
    Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4], INF℩ is first compared to a system of Tennant's and an axiomatic treatment of a term forming ℩ operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INF℩ in which the G of ℩x[F;G] is restricted to identity. INF℩ is then compared to an intuitionist version of a system of Lambert's which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kategorie onimiczne średniowiecznej polszczyzny w Kronice Janka z Czarnkowa
    Onimic categories in the medieval polish language in Janko of Czarnkow Chronicle
    Autorzy:
    Iglewska, Sylwia
    Powiązania:
    https://bibliotekanauki.pl/articles/2118425.pdf
    Data publikacji:
    2013-12-30
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    onomastyka
    antroponimia
    formacje jednoimienne
    deskrypcje określone
    formacje analityczne
    formacje syntetyczne
    apelatywa antroponimiczne
    protonazwiska obcego pochodzenia
    onomastics
    anthroponymy
    monomial formations
    definite descriptions
    analytical formations
    synthetic formations
    anthroponomical appelativa
    proto names of foreign origin
    Opis:
    Janko of Czarnków Chronicle has been subject to the onomastic analysis. In consequence, 324 naming formations have been excerpted. The first onimic category distinguished in Chronicle are monomial formations. In the oldest source materials we may observe that apart from a single proper noun, there appear different kinds of notions allowing more precise characteristic. Z. Kowalik-Kaleta named them individual terms. There was a tendency to group them directly after a single proper noun. This is how definite descriptions originated. Elaborated definite descriptions were avoided and abbreviated forms were preferable. Locative prepositional phrases originated from locative descriptions. Patronymic descriptions transformed into synthetic forms with nominal suffixes: -ic, -icz, -owic, -owicz, -ek, -ka, -ko, -ik, -yk, -czyk, -ec, -ak, -czak, -ę, -ęta. Analytical locative prepositional phrases transformed into synthetic adjectival forms into -ski, -sky. Moreover, in Janko of Czarnków Chronicle we may distinguish such onimic categories as anthroponomical appelativa and proto names of foreign origin. On the basis of the analyzed linguistic material it should be concluded that medieval Polish language used different onimic categories.
    Źródło:
    Białostockie Archiwum Językowe; 2013, 13; 83-95
    1641-6961
    Pojawia się w:
    Białostockie Archiwum Językowe
    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-6 z 6

      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