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-15 z 18
Tytuł:
Cuantificador todo en tiempos del Covid
The Quantifier Todo in the Time of Covid-19
Użycie kwantyfikatora todo w czasie pandemii Covid-19
Autorzy:
Komorowska, Agata
Powiązania:
https://bibliotekanauki.pl/articles/1929051.pdf
Data publikacji:
2021-12-30
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
dyskurs polityczny
pragmatyka
wyrażenia kwantyfikujące
kwantyfikator uniwersalny
political discourse
pragmatics
quantifier expressions
universal quantifier
Opis:
El inesperado desarrollo de la pandemia del coronavirus exigió que las sociedades del mundo contemporáneo se adaptasen a normas nuevas, no en pocas ocasiones significativamente limitativas para las libertades cívicas. La obligación de informar y tomar decisiones respecto de tales restricciones corresponde a los gobernantes, si bien, por naturaleza, el hecho de imponer cualquier medida a sus potenciales votantes puede provocar en los mismos una actitud de rechazo hacia el político en cuestión, aún siendo tales drásticas soluciones, hasta cierto punto, comprensibles por razones de fuerza mayor. Desde el punto de vista de la pragmática del discurso político, es, por tanto, esencial seleccionar los pertinentes recursos lingüísticos con vistas a conseguir los objetivos comunicativos planteados, sin desanimar al receptor del mensaje. En las intervenciones oficiales del presidente del gobierno español del periodo comprendido entre enero y junio de 2020, esto es la época correspondiente al desarrollo más dramático de la pandemia, llama la atención una importante acumulación de expresiones cuantificativas, en particular, el cuantificador universal colectivo todo. Así, en el presente artículo se analizan los distintos usos de dicho elemento lingüístico, dimanantes de las estrategias discursivo-pragmáticas aplicadas por el emisor.
Niespodziewany rozwój pandemii koronawirusa wymógł na społeczeństwach współczesnego świata dostosowanie się do nowych zasad, nierzadko znacząco ograniczających swobody obywatelskie. Informowanie oraz podejmowanie decyzji w sprawie ograniczeń to obowiązek rządzących. Niemniej z natury rzeczy narzucanie potencjalnym wyborcom czegokolwiek może skutkować ich zniechęceniem do danego polityka, mimo że do pewnego stopnia drastyczne rozwiązania są zrozumiałe w obliczu działania siły wyższej. Zatem z punktu widzenia pragmatyki dyskursu politycznego istotne jest takie dobranie środków językowych, aby osiągać zamierzone cele komunikacyjne, nie zrażając przy tym odbiorcy przekazu. W oficjalnych wystąpieniach premiera hiszpańskiego rządu, obejmujących okres od stycznia do czerwca 2020 roku, czyli przypadających na czas najbardziej dramatycznego przebiegu pandemii, zwraca uwagę nagromadzenie wyrażeń kwantyfikujących, a w szczególności zbiorowego kwantyfikatora uniwersalnego todo. W artykule analizie poddane zostają różne użycia tego elementu językowego wynikające z zastosowanych przez nadawcę strategii dyskursywno-pragmatycznych.
The sudden onset of the Coronavirus pandemic created the need for contemporary societies to adjust quickly to new rules that frequently limit our civil rights. Governments are obliged to take decisions and inform society of such. On the other hand, imposing unpopular rules on potential voters can result in a loss in popularity that can be devastating for a politician. This is true even in the face of a force majeure. Therefore, from the point of view of the pragmatics of political discourse it is imperative to choose those linguistic devices that would allow communicative goals to be achieved while not compromising the speaker. In the official speeches of the Spanish Prime Minister that took place between January and June 2020 and which coincided with the most dramatic period of the pandemic, the frequency of the use of quantitative expressions, especially of the collective universal quantifier todo, is significant. In this paper we will analyse various uses of this linguistic expression that arise from the discursive pragmatic strategies employed by the speaker.
Źródło:
Roczniki Humanistyczne; 2021, 69, 6 Special Issue; 71-83
0035-7707
Pojawia się w:
Roczniki Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a universal axiomatization of the real closed fields
Autorzy:
Nowak, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1310894.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
real closed fields
real valuations
Nash functions
quantifier elimination
Opis:
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
Źródło:
Annales Polonici Mathematici; 1996-1997, 65, 1; 95-103
0066-2216
Pojawia się w:
Annales Polonici Mathematici
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ł:
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ł:
Conditions with aggregates evaluated using gradual numbers
Autorzy:
Lietard, L.
Rocacher, D.
Powiązania:
https://bibliotekanauki.pl/articles/970944.pdf
Data publikacji:
2009
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
fuzzy sets
fuzzy condition
linguistic quantifier
quantified statement
aggregate
Opis:
This paper is devoted to the evaluation of conditions involving aggregates in the context of flexible querying of relational databases. An example of such a condition is "the maximum salary of young employees is high", where the aggregate max applies to a fuzzy set of salaries. At first, we consider the evaluation of quantified statements where the aggregate count (the cardinality) is implicitly used. We extend this result to conditions involving the aggregates average, maximum or minimum. The contribution of this paper is to propose a new theoretical background for their evaluations based on an arithmetic on gradual numbers (Nƒ,Zƒ,Qƒ).
Źródło:
Control and Cybernetics; 2009, 38, 2; 395-417
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Is a quantifier mismatch a problem for L1 Japanese learners of English?
Autorzy:
Nehls, Paul N.
Aramaki, Kodai
Fujii, Tomohiro
Powiązania:
https://bibliotekanauki.pl/articles/40226622.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
quantifier
learning problem
L2 acquisition
semantic mismatch
truth value judgement task
Opis:
After identifying a linguistic difference between the English quantifier most and the Japanese quantifier hotondo ‘most’ we set out to find if the semantic difference between the two would constitute a learning problem for Japanese second language (L2) learners of English. The difference we hypothesized between the two is that English most is considered “more than half,” while hotondo is “nearly all.” As this semantic difference is not explicitly taught in a classroom environment, acquisition by learners would need to take place through experiencing most in contexts where they might receive contextual clues. An examination of a corpus indicated that contextual clues towards such a semantic difference would be unavailable or rarely available. Two sets of experiments (Experiments 1 and 2) were conducted using the Truth Value Judgment Task methodology. The results of Experiment 1 showed that L2 speakers treated most as meaning “nearly all” but that the level of learner proficiency has an effect. The upper intermediate L2 learner group (Experiment 1a) behaved more like the L1 English speaker group (Experiment 1b) than the lower proficiency L2 group (Experiment 1c). Experiment 2, testing Japanese L1 speakers on their interpretation of Japanese hotondo ‘most,’ revealed that while a majority of participants treated hotondo as “almost all,” there was, somewhat unexpectedly, a group of speakers who interpreted hotondo to mean “more than half.” Therefore, although the possibility cannot completely be eliminated that the result of Experiment 1a is due to L1 transfer, if some Japanese learners of English can unlearn the incorrect meaning, then some prior, if not innate, knowledge that makes the process possible must be available to them.
Źródło:
Linguistics Beyond and Within; 2023, 9; 133-146
2450-5188
Pojawia się w:
Linguistics Beyond and Within
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Une larme de cognac et un soupçon de lait – à propos de quelques quantifieurs nominaux marquant une petite quantité
Autorzy:
Izert, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/1041545.pdf
Data publikacji:
2019-12-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
collocation
quantification
quantifieur nominal
quantité
intensité
substantive quantifier
quantity
intensity
Opis:
Dans cet article nous analysons des collocations qui constituent la suite DET N1 de N2 et servent  à exprimer habituellement une (très) petite quantité ou une quantité minime de liquide. Les paraphrases de ce type de collocations données par les dictionnaires de langue comme ‘petite quantité de N’, ‘un peu de N’ ne renvoient qu’à une partie du sens apporté par ces quantifieurs nominaux dont le sens exact est beaucoup plus complexe et nuancé. Par exemple, une pointe de whisky indique non seulement une petite quantité d’alcool mais désigne aussi une intensité faible de son goût. De même, la combinatoire de ces collocatifs attestée par les dictionnaires de langue n’est pas aussi large que celle confirmée par l’usage écrit récent dans les textes provenant des données numérisées. Ces données permettent de distinguer quelques types de N2 d’après la nature des objets de référence qu’ils désignent (cf. toutes sortes de boissons (y compris les alcools) ou toutes sortes de produits liquides mais aussi les produits massifs alimentaires ou non alimentaires et les idées abstraites – sentiments, émotions, etc. et même, ce qui peut paraître surprenant, les styles musicaux).
In this paper, I wish to present the analysis of collocations DET N1`de1` N2 in French, which is usually used to denote small or minimal amounts of a liquid. Dictionary paraphrases of the collocation referring to a ‘small amount of N` (fr. `petite quantitè de N) ) or ‘some N`(fr. `un peu de N) do not always describe the meaning and value of these expressions accurately. For example, ‘une pointe de whisky’ indicates not only a very small amounts of alcohol, but also a delicate touch of taste and, thus, a low degree of its intensity. Also the connectivity of DET N 1`de` with N2 described in dictionaries differs from the one found in the actual contemporary text use. DET N1`de` connects not only with nouns that mean different types of drinks (including alcohol/alcoholic) or liquids, but also with nouns denoting non-countable solids or abstract concepts referring most often to feelings and emotions as well as, surprisingly, music.
Źródło:
Acta Universitatis Lodziensis. Folia Litteraria Romanica; 2019, 14; 121-130
1505-9065
2449-8831
Pojawia się w:
Acta Universitatis Lodziensis. Folia Litteraria Romanica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
D’une horde de barbares à une horde de pensées – à propos de quelques quantifieurs nominaux figuratifs d’origine militaire en français et en polonais
From ‘une horde de barbares’ to ‘une horde de pensées’ – about some nominal quantifiers of military origin in French and Polish
Autorzy:
Izert, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/2109541.pdf
Data publikacji:
2019-12-30
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
collocation
quantification
quantifieur nominal
quantité indéterminé
substantive quantifier
undetermined quantity
Opis:
Le but de cette étude est l’analyse des collocations quantitatives qui constituent en français la suite DÉT. N1 de N2 et en polonais N1 suivi de N2 au génitif. Le DÉT. N1 DE (N1 en polonais) est un quantifieur nominal d’origine militaire. L’inventaire des quantifieurs nominaux qui sont l’objet de cette étude comporte cinq noms français renvoyant, au sens propre, à une unité militaire tactique (une armée, un bataillon, une horde, une légion, un régiment) et au sens figuré à un (très) grand ensemble ou rassemblement de personnes, d’animaux ou d’objets concrets (par ex. une armée d’agents secrets, des bataillons de casseroles, une horde de chiens sauvages, une l´egion de fourmis, un régiment de domestiques, etc.) ou encore à une (très) grande quantité indéterminée d’objets abstraits (par ex. une armée de pensées, une horde de sentiments, etc.) et leurs correspondants polonais (par ex. armia pielęgniarek, batalion butelek, legiony owadów, hordy myśli, etc.). Nous analyserons les propriétés syntaxiques et sémantiques de ce type de quantifieurs nominaux ainsi que leur combinatoire.
This article presents the analysis of collocations that act as indicators of large undefined quantity. They have a structure in French DÉT. N1 de N2 and in Polish N1 N2 (where N2 is used in genetivus). D´ET. N1 DE (N1 in Polish) is nominal quantifier of military origin. The set of nominal quantifiers which are the subject of this analysis consists of 5 French nouns denoting in a literal sense a military unit (e.g. une armée, un bataillon, une horde, une l´egion, un régiment) and in a figurative sense large group of persons or cluster of people, animals, concrete objects (e.g. une armée d’agents secrets, des bataillons de casseroles, une horde de chiens sauvages, une l´egion de fourmis, un régiment de domestiques, etc.) or very large undefined quantity of abstract objects (e.g. une armée de pensées, une horde de sentiments, etc.) and the corresponding Polish collocations (e.g. armia pielęgniarek, batalion butelek, legiony owadów, hordy myśli, etc.). We also present the analyse of syntactic and semantic features of quantifiers and nouns that most often connect with them.
Źródło:
Białostockie Archiwum Językowe; 2019, 19; 125-139
1641-6961
Pojawia się w:
Białostockie Archiwum Językowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The set of PrAl+valid in a finite structure is undecidable
Zbiór formuł logiki PrAl+ prawdziwych w skończonej strukturze jest nierozstrzygalny
Autorzy:
Borowska, A.
Powiązania:
https://bibliotekanauki.pl/articles/88418.pdf
Data publikacji:
2013
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
egzystencjalny kwantyfikator iteracji
Opis:
We consider a probabilistic logic of programs. In it is proved that the set of formulas of the logic PrAL, valid in a finite structure, is decidable with respect to the diagram of the structure. We add to the language LP of PrAL a sign S and a functor lg. Next we justify that the set of formulas of extended logic, valid in a finite at least 2-element structure (for LP+) is undecidable.
Rozważamy probabilistyczną logikę algorytmiczną. W pracy znajduje się uzasadnienie, że zbiór formuł logiki PrAL, prawdziwych w skończonej strukturze, jest rozstrzygalny ze względu na diagram struktury. Dodajemy do języka LP logiki PrAL znak S i funktor lg. Następnie uzasadniamy, ze zbiór formuł rozszerzonej logiki, prawdziwych w skończonej co najmniej 2-elementowej strukturze (dla L P+), nie jest już rozstrzygalny.
Źródło:
Advances in Computer Science Research; 2013, 10; 5-18
2300-715X
Pojawia się w:
Advances in Computer Science Research
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ł:
About meanings as a rule not included in dictionaries
Autorzy:
Koseska-Toszewa, Violetta
Duszkin, Maksim
Powiązania:
https://bibliotekanauki.pl/articles/677324.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
Quantification
quantifier
existentiality
universality
uniqueness
strong and weak quantificational meaning
verbal group
semantic structure of the sentence
state
event
Opis:
About meanings as a rule not included in dictionariesThe article discusses the problem of ambiguity of the exponents of logical existential quantification occurring in the verbal group of Bulgarian, Polish and Russian sentences: Bulg. отвреме навреме, понякога, Pol. od czasu do czasu, czasem, czasami, Rus. время от времени, иногда. This ambiguity can be explained by strong and weak existential quantification. Lexical semantics did not distinguish between these two types of existentiality. Here we present a description of selected exponents of logical existential quantification in Bulgarian, Polish and Russian.
Źródło:
Cognitive Studies; 2012, 12
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval-valued linguistic summaries of databases
Autorzy:
Niewiadomski, A.
Ochelska, J.
Szczepaniak, P. S.
Powiązania:
https://bibliotekanauki.pl/articles/969963.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
interval-valued fuzzy set
interval-valued linguistic variable
interval-valued linguistic quantifier
linguistic summary of database
interval-valued linguistic summary of database
Opis:
The so-called linguistic summaries of databases are the semi-natural language sentences that enable distilling the most relevant information from large numbers of tuples, and present it in the human consistent forms. Recently, the methods of constructing and evaluating linguistic summaries have been based on Zadeh's fuzzy sets, which represent uncertain data. The main aim of the paper is to enhance and generalize the Yager's approach to linguistic summarization of data. This enhancement is based on interval-valued fuzzy sets. The newly presented methods enable handling fuzzy concepts, whose membership degrees are not given by real values explicitly, but are approximated by intervals in [0,1]. From now on, the Yager's approach can be viewed as a special case of the method presented in this paper. Finally, illustrative examples are presented.
Źródło:
Control and Cybernetics; 2006, 35, 2; 415-443
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
Autorzy:
Łyczak, Marcin
Pietruszczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749926.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
elementary ontology
quantifier-free fragment of ontology
ontology-like theories
copula ‘is’
calculus of names
Leśniewski's ontology
subtheories of Leśniewski’s ontology
Opis:
We formulate a certain subtheory of Ishimoto’s [1] quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is complete with respect to a suitable set-theoretic interpretation. Furthermore, we introduce the name constant 1 (which corresponds to the universal name ‘object’) and we prove its adequacy with respect to the set-theoretic interpretation (again using an epimorphism theorem). Ishimoto’s theory enriched by the constant 1 is also reconstructed in our formalism with into which 1 has been introduced. Finally we examine for both our theories their quantifier extensions and their connections with Leśniewski’s classical quantified ontology.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
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ł
Wyświetlanie 1-15 z 18

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