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ę "formal theory" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-38 z 38
    Tytuł:
    Formal Theory and Value Judgments
    Autorzy:
    Kamiński, Marek
    Lissowski, Grzegorz
    Świstak, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/1930068.pdf
    Data publikacji:
    2014-01-07
    Wydawca:
    Polskie Towarzystwo Socjologiczne
    Tematy:
    formal theory
    experiments
    value judgments
    rationality
    Opis:
    When we assume that a survey reveals respondents’ true attitudes we tacitly assume that the subjects understood what we are asking them about and that they had no incentive to be untruthful. In typical studies none of the two assumptions holds. Subjects are asked questions that use undefined terms and they are asked about issues they have no incentive to answer truthfully. Here we argue that a way to solve the two problems lies in constructing a formal theory of an attitude in such a way that an attitude can be derived from the answers yet when answering the questions subjects cannot possibly know that their responses reveal anything about their attitude and, hence, they have no incentive to answer insincerely.We briefly discuss a study that has the desirable properties necessary for the proper design.
    Źródło:
    Polish Sociological Review; 2014, 184, 4; 409-430
    1231-1413
    2657-4276
    Pojawia się w:
    Polish Sociological Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalna teoria wartości
    The Formal Theory of Value
    Autorzy:
    Jonkisz, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/965109.pdf
    Data publikacji:
    1998-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    In this article a formalization of the notion of „value” is presented. The main inspiration is the approach of T. Czeżowski, which is discussed and modified. Basic notions and facts concerning the formal definition of value are given. A philosophical discussion of this procedure is also given.
    Źródło:
    Filozofia Nauki; 1998, 6, 3-4; 121-132
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling a subregular bias in phonological learning with Recurrent Neural Networks
    Autorzy:
    Prickett, Brandon
    Powiązania:
    https://bibliotekanauki.pl/articles/2061408.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    neural networks
    learning bias
    formal language theory
    phonology
    Opis:
    A number of experiments have demonstrated what seems to be a bias in human phonological learning for patterns that are simpler according to Formal Language Theory (Finley and Badecker 2008; Lai 2015; Avcu 2018). This paper demonstrates that a sequence-to-sequence neural network (Sutskever et al. 2014), which has no such restriction explicitly built into its architecture, can successfully capture this bias. These results suggest that a bias for patterns that are simpler according to Formal Language Theory may not need to be explicitly incorporated into models of phonological learning.
    Źródło:
    Journal of Language Modelling; 2021, 9, 1; 67--96
    2299-856X
    2299-8470
    Pojawia się w:
    Journal of Language Modelling
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Med medkulturnostjo v prevodni praksi in »medkulturnostjo« v prevodoslovju
    Międzykulturowość w praktyce przekładowej a „międzykulturowość” w translatologii
    Between interculturality in translation practice and “interculturality” in translatology
    Autorzy:
    Vevar, Štefan
    Muszyńska-Vizintin, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/1373677.pdf
    Data publikacji:
    2016
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    formalna teorija vs. substančna teorija
    medkulturnost
    koncept trihotomije
    normativna paradigma
    prevodna ekvivalenca
    formal theory vs. substantial theory
    interculturality
    concept of trichotomy
    complex normative paradigm
    translation equivalence
    Opis:
    V prispevku sem skušal pokazati, da je upoštevanje fenomena medkulturnosti v prevajanju eden od temeljev solidnega prevoda. Če medkulturnost izostane, ciljna kultura prevaja iz izho‑ diščne na potujitveni način, to pa onemogoča ali slabi razumevanje besedila pri ciljnem bralstvu. A ne le to: besedilu tudi jemlje avtentično literarno dikcijo in ga depoetizira. Primeri kažejo, da bi morala formalna teorija dokončno opraviti z zgolj semantičnim pojmovanjem prevodne ekvivalence. S kompleksnim ovrednotenjem problema prevodne enakovrednosti bi se tudi rešila shizofrenega razmerja do medkulturnosti, ko jo načeloma in v abstraktnem pogledu tematizira kot relevanten fenomen, pri svoji praktični evalvaciji pa jo ima zgolj za upoštevanja vreden korektiv.
    The article has tried to demonstrate that the implementation of the interculturality phenom‑ enon in the translation process should be considered as one of the conditions of a distinguished translation. If the translator does not integrate the so ‑called ‘cultural equivalents’ in his/her trans‑ lation, it occurs on the text level only, undermining and weakening its understanding with the target readership. Such a translation moreover lacks the authentic diction and turns to be prosaic and non ‑poetic. The formal theory of translation should therefore finally give up its mere semantic comprehension of translation equivalence. Having evaluated this problem in a complex way, one would find the way out of its schizoid position between widely shedding light on the phenomenon of interculturality in theory, yet facing it with embarrassment and discomfort when evaluating translation practice.
    Źródło:
    Przekłady Literatur Słowiańskich; 2016, 7, 1; 34-48
    1899-9417
    2353-9763
    Pojawia się w:
    Przekłady Literatur Słowiańskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Typology emerges from simplicity in representations and learning
    Autorzy:
    Lambert, Dakotah
    Rawski, Jonathan
    Heinz, Jeffrey
    Powiązania:
    https://bibliotekanauki.pl/articles/2061410.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    model theory
    subregularity
    grammatical inference
    formal language theory
    phonology
    learning
    complexity
    Opis:
    We derive well-understood and well-studied subregular classes of formal languages purely from the computational perspective of algorithmic learning problems. We parameterise the learning problem along dimensions of representation and inference strategy. Of special interest are those classes of languages whose learning algorithms are necessarily not prohibitively expensive in space and time, since learners are often exposed to adverse conditions and sparse data. Learned natural language patterns are expected to be most like the patterns in these classes, an expectation supported by previous typological and linguistic research in phonology. A second result is that the learning algorithms presented here are completely agnostic to choice of linguistic representation. In the case of the subregular classes, the results fall out from traditional model-theoretic treatments of words and strings. The same learning algorithms, however, can be applied to model-theoretic treatments of other linguistic representations such as syntactic trees or autosegmental graphs, which opens a useful direction for future research.
    Źródło:
    Journal of Language Modelling; 2021, 9, 1; 151--194
    2299-856X
    2299-8470
    Pojawia się w:
    Journal of Language Modelling
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automated Science
    Nauka Zautomatyzowana
    Autorzy:
    Kawalec, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/577447.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    automated science
    reliability
    formal learning theory
    Bayesianism
    nauka zautomatyzowana
    niezawodność
    formalna teoria uczenia się
    bayesianizm
    Opis:
    Any serious attempt to give an account of the cognitive aspect of science – as contrasted with e.g. its economic, social or cultural aspects – cannot ignore the automation revolution. In the conception presented in this paper the results of computer science are taken seriously and integrated with earlier ideas concerning what constitutes scientific inquiry. The central idea is that of reliable inquiry. On the reliabilist criteria presented here, if a method is logically warranted to get to the right answer – given data and background knowledge available – and to stick to it afterwards, then it is reliable. This is a normative theory, but the standard of reliability is adjusted to the domain of the inquiry at hand. This paper presents the central tenets of the reliabilist conception of science and briefly outlines the main results underlying it. The philosophical task to deliver an adequate understanding of science is taken to be continuous with scientific research itself (naturalism), a major part of which is concerned with delivering causal explanations (causality) and can only be carried out with limited resources (computability). An outline of open problems and directions for future research concludes the paper.
    Współczesne wyjaśnienie poznawczego aspektu nauki – w odróżnieniu np. od ekonomicznego, społecznego czy kulturowego – nie może pominąć rewolucji, jaka dokonała się w automatyzowaniu procedur naukowych. Teoretyczne zaplecze tych nowych idei jest prezentowane na tle dokonań historycznych. Kluczowym pojęciem w prezentowanym artykule jest niezawodność metody rozumiana jako przysługująca metodzie naukowej, która gwarantuje uzyskanie poprawnej odpowiedzi – przy dostępności danych i wiedzy założonej – oraz trwanie przy niej, mimo dopływających nowych danych. Niniejszy artykuł prezentuje główne własności niezawodnościowej (reliabilistycznej) koncepcji nauki i krótko omawia najważniejsze, leżące u jej podstaw wyniki. Filozoficzne zadanie zaproponowania właściwego rozumienia nauki jest tutaj traktowane jako ciągłe z badaniem naukowym (naturalizm), wymagające przede wszystkim określania zależności przyczynowych (kauzalizm) i możliwe przy ograniczonych zasobach (obliczalność). W końcowej części artykułu zaprezentowano otwarte problemy i kierunki badań.
    Źródło:
    Zagadnienia Naukoznawstwa; 2012, 48, 2 (192); 111-139
    0044-1619
    Pojawia się w:
    Zagadnienia Naukoznawstwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Vygotsky’s Meta-theory of Development: Formal Description
    Autorzy:
    Karandashev, Yuri N.
    Powiązania:
    https://bibliotekanauki.pl/articles/29520330.pdf
    Data publikacji:
    2006-12-31
    Wydawca:
    Wydawnictwo Adam Marszałek
    Tematy:
    Vygotsky
    development
    meta-theory
    meta-theory of development
    formal description of development
    Opis:
    Vygotsky’s text “The Structure and Dynamics of Age” contains a description of his meta-theory of development. However, psychologists have not understood this text because of its traditional philosophical character. The author of the article proposes a constructive reading of Vygotsky’s original text supplemented by his own formal description. This perusal of Vygotsky is based on the formula \(S_{i + 1} = (S_i + I) * f_{i + 1}\), where \(i\) is the serial number of current age period, \(S_i\) is the structure of the \(i-th\) age period, \(S_{i + 1}\) is the structure of the \((i + 1)-th\) age period and \(f_{i + 1}\) is the social situation of development for the \((i + 1)-th\) age period.
    Źródło:
    The New Educational Review; 2006, 10; 145-164
    1732-6729
    Pojawia się w:
    The New Educational Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards leibnizian possibility. Formal frame of modal theory of individual concepts
    Autorzy:
    Świętorzecka, Kordula
    Powiązania:
    https://bibliotekanauki.pl/articles/430896.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    formal ontology
    Leibniz Gottfried Wilhelm
    theory of concepts
    possible worlds semantics
    modal free logic
    ontologia formalna
    Leibniz Godfryd Wilhelm
    teoria pojęć
    semantyka światów możliwych
    modalna logika wolna
    Opis:
    In the presented analyses we propose a formal complement to a certain version of the semantics of possible worlds inspired by Leibniz’s ideas and provide an adequate logic of it. As the starting point we take the approach of Benson Mates (Leibniz on possible worlds). Mates refers to Leibniz’ philosophy, but also uses tools of contemporary semantics of possible worlds and elaborates on an original conception of predication due to which possible worlds can be identified with collections of certain concepts, and not individuals. We complete a fragmentary description given by Mates in order to analyze if his conception allows for the establishment of this specific idea of a possible world. Our first step is to define a notion of the individual concept and describe possible world semantics in which possible worlds consist of individual concepts of compossible individuals (s-worlds). Our second step is to choose some version of modal free logic with the identity (S5MFLID), which is complete in our reformulation of Mates’ semantics. The connections between standard interpretation of S5MFLID and semantics inspired by Mates show that our logic does not distinguish s-worlds from i-worlds – counterparts of s-worlds that are collections of individuals.
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 3; 71-84
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Binary and ternary structures of the evolutions in the universe (2 × 3 × 2 × · · · -world) III. The Galois theory of language and the anthropic problem in physics
    Struktury binarne i ternarne w ewolucji wszechświata (świat 2 × 3 × 2 × · · · wymiarowy) III. Teoria Galois języków i problem antropiczny w fizyce
    Autorzy:
    Ławrynowicz, Julian
    Nowak-Kępczyk, Małgorzata
    Suzuki, Osamu
    Othman, Mohd Fauzi
    Powiązania:
    https://bibliotekanauki.pl/articles/1837652.pdf
    Data publikacji:
    2021-08-12
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    the universal language
    formal language theory
    Turing machine
    the evolution of the universe
    non-commutative Galois theory
    Fibonacci sequence
    Tribonacci sequence
    binarna struktura fizyczna
    ternarna struktura fizyczna
    kwaternarna struktura fizyczna
    kwinarna struktura fizyczna
    sennarna struktura fizyczna
    stop
    pentacen
    polimer
    białko
    paptyd
    aminokwas
    rozszerzenie Galois
    powierzchnia Riemanna.
    Opis:
    (1) The non-commutative Galois theory of languages is presented and the universal language of natural languages is constructed. (2) The Galois theory for natural languages is given. (3) The Galois theory for the formal language theory is given. (4) Finally, we find intimate connections between language and physics and discuss the anthropological problem in physics from the point of view of our language theory. (5) In Appendix we give a virtual language defined by Fibonacci and Tribonacci sequences
    (1) Przedstawiamy nieprzemienną teorię języków Galois i skonstruowano uniwersalny język języków naturalnych. (2) Przedstawiamy teorię Galois dotyczącą języków naturalnych. (3) Przedstawiamy teorię Galois dla formalnej teorii języka. (4) Wreszcie znajdujemy bliskie powiązania między językiem a fizyką i omawiamy problem antropologiczny w fizyce z punktu widzenia naszej teorii języka. (5) W Dodatku podajemy wirtualny język zdefiniowany przez sekwencje Fibonacciego i Tribonacciego
    Źródło:
    Bulletin de la Société des Sciences et des Lettres de Łódź, Série: Recherches sur les déformations; 2020, 70, 1; 11-41
    1895-7838
    2450-9329
    Pojawia się w:
    Bulletin de la Société des Sciences et des Lettres de Łódź, Série: Recherches sur les déformations
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Teoria zbiorów rozmytych – od nauk formalnych po nauki prawne. Wprowadzenie do problematyki w świetle osiągnięć polskiej lingwistyki prawa
    Fuzzy Set Theory – From Formal Sciences to Legal Sciences: An Introduction in the Light of the Achievements of Polish Legal Linguistics
    Autorzy:
    Falana-Jafra, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/44919910.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    kategoryzacja
    lingwistyka
    nauki formalne
    nauki prawne
    teoria zbiorów rozmytych
    categorisation
    linguistics
    formal sciences
    legal sciences
    fuzzy set theory
    Opis:
    An example of the correlation of thought between the formal sciences, which are a foundation of the natural sciences, and the humanities is the fuzzy set theory. It is the source of a new research paradigm in relation to the surrounding reality, as well as in relation to man himself and his perception of the world. Nowadays, the fuzzy set theory is very widespread in cognitive linguistics. The aim of the article is to show the historical and substantive relations between the formal sciences and linguistics existing thanks to the theory of fuzzy sets, as well as to pose the question about the usefulness of this theory for Polish social sciences, which include legal sciences. The justification of the research question stems from the recognition of the fact that the constituted law manifests itself through language, which is its exclusive carrier.
    Przykładem korelacji myślowej zachodzącej pomiędzy naukami formalnymi, stanowiącymi podwalinę nauk przyrodniczych, a naukami humanistycznymi jest teoria zbiorów rozmytych. Stanowi ona źródło nowego paradygmatu badawczego względem otaczającej człowieka rzeczywistości, a także względem jego samego i jego postrzegania świata. Obecnie teoria zbiorów rozmytych jest bardzo rozpowszechniona na gruncie językoznawstwa kognitywnego. Celem artykułu jest ukazanie historycznych i merytorycznych związków pomiędzy naukami formalnymi a językoznawstwem, istniejących dzięki teorii rozmytości, a także  postawienie pytania o przydatność tej teorii dla polskich nauk społecznych, do których zaliczają się nauki prawne. Uzasadnienie pytania badawczego wynika z dostrzeżenia faktu, iż prawo stanowione przejawia się poprzez język, który jest jego wyłącznym nośnikiem.
    Źródło:
    Adeptus; 2021, 17
    2300-0783
    Pojawia się w:
    Adeptus
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards a Formal Ontology of Information. Selected Ideas of K. Turek
    Autorzy:
    Krzanowski, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/690802.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    information
    formal ontology of information
    set theory
    form-matter complex
    substance
    structures
    relations
    Opis:
    There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 61; 23-52
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    "Czysta widzialność" w estetyce formalnej Konrada Fiedlera
    „Pure Visibility” in Konrad Fiedler’s Formal Aesthetics
    Autorzy:
    Kaźmierczak, Magda
    Powiązania:
    https://bibliotekanauki.pl/articles/945727.pdf
    Data publikacji:
    2017-12
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Konrad Fiedler
    Immanuel Kant
    formal aesthetics
    pure visibility
    theory of vision
    theory of art
    estetyka formalna
    czysta widzialność
    teoria widzenia
    teoria sztuki
    Opis:
    Nowadays still not well known, Konrad Fiedler was an extremely original philosopher of art and an inspiring follower of Kant. He created a theory of art’s autonomy and his pioneering thought contributed not only to the formalist theory of art but also and foremost to creating an epistemology that later became a foundation of theories of art stressing the uniqueness of seeing and raising the status of visual representations. The artistic way of seeing, according to him, undiscloses the principles of how the world emerges from nothingness of chaotic sensations – it is the way of seeing that presents „pure visibility”. According to Fiedler, this way of seeing is the basis of each true artistic creative act.
    Źródło:
    Internetowy Magazyn Filozoficzny Hybris; 2017, 39 (4)
    1689-4286
    Pojawia się w:
    Internetowy Magazyn Filozoficzny Hybris
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Sculpture as a Code – Rhetorical Devices Used by the Sculptor
    Autorzy:
    Władyka-Łuczak, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/649621.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    visual communication
    composition
    formal image structure
    formal narration
    theory of vision and rhetoric
    verbal communication
    visual
    Opis:
    The aim of the paper is to compare the formal organization of a visual message with the rhetorical devices used in a verbal message. This analysis is carried out based on the example of the sculpture Dual by Zbigniew Władyka. The creativity found in the rhetorical devices used in the sculpture Dual to trigger and amplify feelings proves that they can be employed even in this form of artistic expression. Creativity in the analysed sculpture is represented by German reunification, reflected in the form of the transformation of two characters into one. The sculpture is meant to inspire, to be an object (res) directing the viewer toward personal reflection, and invoking projections of fear and doubt, but also of confidence and courage. Confidence and courage are represented by a strong figure with a head, firmly standing on its feet. Fear and doubt are represented by a weak figure, carried by the first one. The centripetal composition used in the sculpture suggests merger rather than destruction. The sensory perception of the viewer is controlled by directional tensions, which lead the viewer’s sight along designated linear directions. As described earlier by Witkiewicz, directional tensions and motionless substance correspond to a rhetorical enlarging and diminishing. By interacting with the sculpture, you can experience these devices. Not only visualization is at work here, as in verbal communication, but also physical experience. The presented analysis shows that a sculptural work of art can be analysed in a similar way to verbal communication. Of course, not all verbal devices have their counterparts in visual communication, but the basic content and emotions can be expressed regardless of the code.
    Źródło:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica; 2016, 35, 5
    1505-9057
    2353-1908
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the form-function dichotomy in linguistic theory
    Autorzy:
    Willim, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/634400.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    form-function mismatches, formal and functional grounding of grammar, linguistic argumentation
    Opis:
    This paper focuses on an important divide in theoretical linguistics between two broad perspectives on the structural properties of human languages, generative and functionalist. In the former, linguistic structure is explained in terms of discrete categories and highly abstract principles, which may be language-independent or language-specific and purely formal or functional in nature. In the latter, explanation for why languages have the structure that they do is found ‘outside’ language, in the general principles of human cognition and the communicative functions of language. The aim of this paper is to highlight the need for abstractness, explicitness, simplicity and theoretical economy in linguistic description and explanation. The question is not whether principles of grammar are formal or functional. The question is whether the principles that are postulated to explain linguistic structure express true generalizations.
    Źródło:
    Studia Linguistica Universitatis Iagellonicae Cracoviensis; 2010, 127
    2083-4624
    Pojawia się w:
    Studia Linguistica Universitatis Iagellonicae Cracoviensis
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ChR: Dynamic Functional Constraints Checking in R
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108643.pdf
    Data publikacji:
    2017
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    R
    Opis:
    Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR - a library that offers functionality of run-time type-related checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.
    Źródło:
    Journal of Applied Computer Science Methods; 2017, 9 No. 1; 65-78
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rzeźba jako kod – chwyty retoryczne stosowane przez rzeźbiarza
    Sculpture as a Code – Rhetorical Devices Used by the Sculptor
    Autorzy:
    Władyka-Łuczak, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/967729.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    visual communication
    composition
    formal image structure
    formal narration
    theory of vision and rhetoric
    verbal communication
    visual message
    Opis:
    The aim of the paper is to compare the formal organization of a visual message with the rhetorical devices used in verbal expression. This analysis is carried out based on the example of the sculpture Dual by Zbigniew Władyka. Creativity found in the rhetorical devices used in the sculpture Dual to trigger and amplify feelings proves that they can be used even in this form of artistic expression. Creativity in the analysed sculpture is represented by the unification of Germany, reflected in the form of the transformation of two characters into one. The sculpture is meant to inspire, to be an object (res) directing the viewer toward personal reflection, and invoking projections of fear and doubt, but also of confidence and courage. Confidence and courage are represented by a strong figure with a head, firmly standing on her feet. Fear and doubt are represented by a weak figure, carried by the first one. The centripetal composition used in the sculpture suggests merger rather than destruction. The sensory perception of the viewer is controlled by directional tensions, which lead the viewer’s sight along designated linear directions. As described earlier by S. Witkiewicz, directional tensions and motionless substance correspond to a rhetorical enlarging and diminishing. By interacting with the sculpture, you can experience these devices. Not only visualization is at work here, as in verbal communication, but also physical experience. The presented analysis shows that a sculptural work of art can be analysed in a similar way to verbal communication. Of course, not all verbal devices have their counterparts in visual communication, but the basic content and emotions can be expressed regardless of the code.
    Źródło:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica; 2015, 28, 2
    1505-9057
    2353-1908
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Low-Cost Dynamic Constraint Checking for the JVM
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108744.pdf
    Data publikacji:
    2016
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    Clojure
    Opis:
    Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.
    Źródło:
    Journal of Applied Computer Science Methods; 2016, 8 No. 2; 115-136
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Representing syntax by means of properties : a formal framework for descriptive approaches
    Autorzy:
    Blache, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/103875.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    syntax
    constraints
    linguistic theory
    usage-based theories
    constructions
    Property Grammars
    Opis:
    Linguistic description and language modelling need to be formalny sound and complete while still being supported by data. We present a linguistic framework that bridges such formal and descriptive requirements, based on the representation of syntactic information by means of local properties. This approach, called Property Grammars, provides a formal basis for the description of specific characteristics as well as entire constructions. In contrast with other formalisms, all information is represented at the same level (no property playing a more important role than another) and independently (any property being evaluable separately). As a consequence, a syntactic description, instead of a complete hierarchical structure (typically a tree), is a set of multiple relations between words. This characteristic is crucial when describing unrestricted data, including spoken language. We show in this paper how local properties can implement any kind of syntactic information and constitute a formal framework for the representation of constructions (seen as a set of interacting properties). The Property Grammars approach thus offers the possibility to integrate the description of local phenomena into a general formal framework.
    Źródło:
    Journal of Language Modelling; 2016, 4, 2; 183-224
    2299-856X
    2299-8470
    Pojawia się w:
    Journal of Language Modelling
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Artistic Inspiration: Initiation of an Artistic Communication
    Inicjacja przekazu artystycznego
    Autorzy:
    Władyka-Łuczak, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/649435.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    twórczość
    komunikacja wizualna
    kompozycja
    struktura formalna obrazu
    narracja formalna
    teoria widzenia
    komunikat werbalny
    komunikat wizualny
    output
    visual communication
    composition
    painting’s formal structure
    formal narration
    theory of vision
    verbal communication
    visual message
    Opis:
    Przedstawiony artykuł to próba odpowiedzi na pytanie: Kiedy i z jakiego powodu pojawia się inicjacja przekazu artystycznego?Analiza kierująca do końcowego wniosku została przeprowadzona na podstawie autoetnograficznej analizy z procesu tworzenia Pomnika Początków Miasta Łodzi. Głównym jej wątkiem było poszukiwanie granicy pomiędzy stanem przedtwórczym a twórczym w trakcie pracy artysty nad dziełem.Z przeprowadzonej analizy wynika, że: „Niezależnie od tego, czy pracuję nad rzeźbą, która została zlecona, czy rzeźbię tylko dla siebie, proces inicjacji stanów przedtwórczych i twórczych wygląda podobnie. Zawsze rozpoczynam pracę od zgromadzenia materiałów. Postępuję tak, jak chcą tego konstruktywiści, przeprowadzam rozpoznanie elementów odnoszących się do różnorakich systemów dyferencyjnych. […] Mam świadomość, że oczekiwany stan przejścia ze stanu przedtwórczego do twórczego może nastąpić w każdej chwili. Dzisiaj, po wielu latach, już wiem, że nie warto oceniać wartości zebranych materiałów, inicjacja stanu twórczego i tak przyjdzie sama”. Istotą zainicjowania postawy twórczej jest wykształcenie umiejętności obserwacji otaczającej artystę rzeczywistości, a co istotniejsze – wykształcenie umiejętności wydobywania z niej tego, co już w całym tym skomplikowanym procesie jest tym, co zwykliśmy nazywać inspiracją. Granica stanu przedtwórczego a twórczego powstaje w chwili, w której artysta podejmuje decyzję o przeniesieniu zauważonego fragmentu rzeczywistości do tworzonego właśnie dzieła. Ocena wartości dzieła sztuki to osobne zagadnienie, które w artykule zostało pominięte.
    The article is an attempt to answer the question: When and why is artistic communication initiated?The analysis which leads to the final conclusion was conducted on the basis of an autoethnographic analysis of the process of creating Pomnik Początków Miasta Łodzi (Monument to the Beginnings of Łódź). Its main element was the search for the border between the pre-creative and the creative states during an artist’s work. The analysis indicated that: “Regardless of whether I am working on a sculpture which was commissioned or a sculpture for myself, the processes of triggering precreative and creative states are similar. I always begin work by collecting the material. I work as constructivists would like me to: I study the elements which refer to various differentiation systems. [...] I am aware of the fact that the expected transition from the pre-creative to the creative state can happen at any moment. Today, after many years, I already know that it is not worth evaluating the gathered material – the triggering of the creative state is going to happen either way.” The core of triggering the creative attitude is the development of the skills for observing the reality which surrounds an artist, and even more importantly: the development of the skills of extracting from it that which we are used to calling inspiration in the whole complex process. The line between the pre-creative and creative states emerges in the moment when an artist decides to transfer a fragment of the reality they noticed to the work of art they are creating. The evaluation of a work of art is a completely different issue, which was omitted in this article.
    Źródło:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica; 2019, 54, 3; 223-236
    1505-9057
    2353-1908
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Litteraria Polonica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Skuteczność formalna i materialna performatywu
    Formal and material effectiveness of the performative
    Autorzy:
    Łukowski, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/964979.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    performative
    effectiveness of performative
    theory of speech acts
    performatyw
    skuteczność performatywu
    teoria aktów mowy
    Opis:
    Skuteczność performatywu jest zazwyczaj rozumiana jako spełnienie wszystkich warunków gwarantujących jego poprawną prezentację. Takie podejście jest uzasadnione na gruncie logiczno-filozoficznym. Na gruncie prawoznawstwa wydaje się jednak równie ważne rozważenie innego rodzaju skuteczności performatywu, przyznawanej ze względu na to, czy performatyw faktycznie prowadzi do orzekanej przez siebie zmiany rzeczywistości. Wyróżniona przez Searle’a skuteczność pierwszego rodzaju nazwana jest w pracy formalną, drugiego zaś – materialną. Kombinatoryczne połączenie osiągnięcia bądź nie tych dwóch skuteczności daje cztery przypadki. W warunkach państwa demokratycznego pożądane są przypadki spełnienia materialnego performatywów, które są również spełnione formalnie oraz niespełnienia materialnego performatywów, które nie są także spełnione formalnie. Pozostałe konfiguracje spełnienia performatywów są niepożądane. Jak pokazuje analiza konkretnych przypadków performatywów na gruncie prawa (norm prawnych), prawidłowość ta nie zachodzi w sytuacji, gdy funkcjonowanie demokracji doznaje uszczerbku. Fakt ten stwarza możliwość „performatywnego” zdefiniowania systemu demokratycznego rozumianego jako państwo prawa.
    Effectiveness of the performative is usually understood as fulfillment of all the conditions ensuring its proper presentation. This approach is justified on the logical and philosophical basis. On the basis of jurisprudence it seems to be equally important to consider another kind of performative effectiveness which is granted irrespectively of the fact that the performative actually leads to predicate its reality changes. The first type of the effectiveness distinguished by Searle is called in this work formal effectiveness while the second type – material. Combinatorial connection of achieving or not these two kinds of effectiveness gives four cases. In a democratic state there are cases that meet the desired material performatives, which are also met formally, and non-compliance of the material performatives, which are also not formally met. Other configurations to meet performatives are undesirable. As the analysis of specific cases of performatives in the matter of law (legal norms) shows, this regularity does not occur when the functioning of democracy suffers. This fact implies a possibility of „performative” definition of a democratic system, understood as the rule of law.
    Źródło:
    Acta Universitatis Lodziensis. Folia Iuridica; 2015, 75
    0208-6069
    2450-2782
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Iuridica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Asymetria informacji jako źródło dysfunkcjonalnych instytucji formalnych
    Asymmetry of information as a source of dysfunctional formal institutions
    Autorzy:
    Jagodziński, Waldemar
    Powiązania:
    https://bibliotekanauki.pl/articles/1826107.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Gdańska
    Tematy:
    agency theory
    anti-abusive clause
    asymmetry of information
    dysfunctional institutions
    transactional cost theory
    asymetria informacji
    instytucje dysfunkcjonalne
    teoria agencji
    teoria kosztów transakcyjnych
    klauzula antyabuzywna
    Opis:
    Institutions, that following own functionality contribute to the efficient market operation, or when dysfunctional limit market forces, play an important role in the economic process. Since there is no universal and proved method of establishing high-quality formal institutions, each country should control the influence of institutions on business units operating on the market, on current basis. The purpose of this study is identification of origins for dysfunctionality (with means of tools offered by new institutional economy) in formal institutions, that are implemented into the Polish legal system under the Act on supporting new investments. The research concept was carried out on the basis of literature research method, as well as theoretical and legal method.
    W procesie gospodarowania istotną rolę odgrywają instytucje, które ze względu na swoją funkcjonalność przyczyniają się do sprawnego funkcjonowania rynku lub, gdy są dysfunkcjonalne, ograniczają mechanizmy rynkowe. Ponieważ nie istnieje uniwersalny, sprawdzony sposób kreowania instytucji formalnych o wysokiej jakości, każde państwo powinno na bieżąco kontrolować wpływ instytucji na funkcjonowanie podmiotów gospodarczych na rynku. Celem niniejszego opracowania jest podjęcie próby (za pomocą narzędzi oferowanych przez nową ekonomię instytucjonalną) identyfikacji źródeł dysfunkcjonalności instytucji formalnych wprowadzonych do polskiego systemu prawnego na mocy ustawy o wspieraniu nowych inwestycji. Koncepcja badawcza została przeprowadzona na podstawie metody studiów literatury oraz metody teoretyczno-prawnej.
    Źródło:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka; 2019, 1, 28; 43-55
    2084-6495
    Pojawia się w:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika. Panorama tematyki
    Logic. Panorama of the Domain
    Autorzy:
    Kublikowski, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/483397.pdf
    Data publikacji:
    2018-12-31
    Wydawca:
    Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
    Tematy:
    logika
    logika formalna
    semiotyka
    metodologia nauk
    teoria poznania
    epistemologia
    logic
    formal logic
    semiotics
    methodology of science
    theory of cognition
    epistemology
    Opis:
    Summary Logic. Panorama of the Domain In European culture logic – understood as a scientifc discipline and skill – has been developed and taught at least since Aristotle’s time, namely since the 4th century B.C. The aim of this text is to answer the question: what is logic? It shows an analytic panorama of logic. Logic – understood in a broad sense – can be divided into formal logic, semiotics, methodology of science and epistemology (Chapter 1). An additional goal of the text is to give a historical note concerning those lecturers who taught logic in the Major Seminary of Siedlce Diocese (Chapter 2). Logic has been developed to analyse, to describe, to make precise and put in order various linguistic and cognitive activities. Logic explicates intersentential and inner-sentential relations, relations between contents and extensions of terms – relations established by various functors. Logic plays all its roles assuming that precision is better than a lack thereof.
    Źródło:
    Teologiczne Studia Siedleckie; 2018, XV/15; 314-341
    1733-7496
    Pojawia się w:
    Teologiczne Studia Siedleckie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Hopeless Cases or Just Hard Nuts to Crack? Stories of “Difficult” Foreign Language Learners
    Autorzy:
    Nosidlak, Katarzyna
    Powiązania:
    https://bibliotekanauki.pl/articles/22446728.pdf
    Data publikacji:
    2023
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    difficult/problematic student
    foreign language learner
    formal labelling
    informal labelling
    labelling theory
    teacher training
    Opis:
    In accordance with the assumptions of the sociologically grounded labelling theory, an individual’s self-perception and, consequently, their actions, might be influenced by words used to describe them. Also, in the context of education, including the field of foreign language learning, such a process of defining learners in a simplified way, has been proven to have profound consequences of psychological nature. The main purpose of the article is to outline the results of a study in which 37 teachers of English shared the stories of their most “difficult” students. The qualitative analysis of the gathered descriptions allowed the identification of some common features characteristic of, so-called, hopeless cases, among which motivation-related problems are the most often enumerated ones. Additionally, many teachers wrote about their struggles while teaching students with special educational needs. The views expressed by the participants of the study might help understand the way in which opinions about students are formulated as well as point to the need for significant changes to be made in the area of foreign language teacher education and training.
    Źródło:
    Theory and Practice of Second Language Acquisition; 2023, 9, 2; 1-24
    2450-5455
    2451-2125
    Pojawia się w:
    Theory and Practice of Second Language Acquisition
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pojęcie dyplomacji dla nauki
    The concept of diplomacy for science
    Autorzy:
    Szkarłat, Monika
    Powiązania:
    https://bibliotekanauki.pl/articles/1871698.pdf
    Data publikacji:
    2020-03-31
    Wydawca:
    Wydawnictwo Adam Marszałek
    Tematy:
    dyplomacja naukowa
    dyplomacja dla nauki
    teoria poznania
    logika formalna
    science diplomacy
    diplomacy for science
    theory of cognition
    formal logic
    Opis:
    Celem artykułu jest próba stworzenia autorskiej propozycji pojęcia dyplomacji dla nauki i dostosowania siatki pojęciowej do zmieniającej się rzeczywistości międzynarodowej. Odwołując się do wytycznych teorii poznania i logiki formalnej w ujęciu T. Kotarbińskiego, zidentyfikowane będą komponenty treści i przedmiot pojęcia, takie jak podmioty inicjujące, adresaci, cel i instrumenty działań w ramach dyplomacji dla nauki.
    The aim of the article is an attempt to create an author’s proposal of the notion of diplomacy for science and to adapt the notional network to the changing international reality. Referring to the guidelines of the theory of cognition and formal logic in T. Kotarbiński’s view, the following will be identified: content components and the subject of the concept, such as initiators, addressees, purpose and instruments of action within the framework of diplomacy for science.
    Źródło:
    Athenaeum. Polskie Studia Politologiczne; 2020, 65; 138-155
    1505-2192
    Pojawia się w:
    Athenaeum. Polskie Studia Politologiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    What Does Philosophical Translation Need? Mapping the Translational Trajectory of Equivalence in Terminology
    Autorzy:
    Bednárová-Gibová, Klaudia
    Powiązania:
    https://bibliotekanauki.pl/articles/462642.pdf
    Data publikacji:
    2017
    Wydawca:
    Państwowa Wyższa Szkoła Zawodowa w Chełmie
    Tematy:
    philosophy
    terminology
    philosophical translation
    equivalence theory
    formal equivalence
    filozofia
    terminologia
    tłumaczenie filozoficzne
    teoria ekwiwalencji
    ekwiwalencja formalna
    Opis:
    The paper zooms in on the problem of equivalence with regard to translating philosophical texts which have so far been marginalized in translation theory. Drawing on Nida’s equivalence theory, the author of this paper prioritizes formal equivalence over dynamic one, basing this approach on the specific nature of philosophical discourse. To this end, pertinent extracts from David Hume’s A Treatise of Human Nature with a special focus on philosophical terminology have been compared with their published Slovak, Czech and German translations. The paper provides an account of how and why the form is bound up with the meaning in the ambit of philosophy. The comparative analysis suggests that the form and function of philosophical discourse is connected to such a degree that the form even constitutes a part of the text’s function.
    Artykuł skupia się na problemie ekwiwalencji w odniesieniu do tłumaczenia tekstów filozoficznych, co, jak do tej pory, było marginalizowane przez teorię translacji. W zgodzie z teorią ekwiwalencji Nidy, autorka niniejszego artykułu wskazuje na pierwszeństwo formalnej ekwiwalencji w porównaniu z dynamiczną, opierając to podejście na specyficznej istocie dyskursu filozoficznego. W tym względzie, stosowne urywki tekstu dzieła Davida Hume’a A Treatise of Human Nature, ze szczególnym uwzględnieniem terminologii filozoficznej, zostały porównane z ich tłumaczeniami w języku słowackim, czeskim i niemieckim. Artykuł dostarcza dowodu na to jak i dlaczego forma jest powiązana z treścią w sferze filozofii. Przeprowadzona analiza porównawcza sugeruje, że w zakresie dyskursu filozoficznego forma i funkcja są powiązane w takim stopniu, że forma komponuje część funkcji tekstu.
    Źródło:
    Language. Culture. Politics. International Journal; 2017, 1; 91-103
    2450-3576
    2719-3217
    Pojawia się w:
    Language. Culture. Politics. International Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ZAŁOŻENIA FORMALNE MODELI WERYFIKOWANYCH ZA POMOCĄ UKŁADÓW RÓWNAŃ STRUKTURALNYCH
    FORMAL ASSUMPTIONS OF THE STRUCTURAL EQUATION MODELS
    Autorzy:
    Szymańska, Agnieszka
    Powiązania:
    https://bibliotekanauki.pl/articles/564776.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    model
    struktura
    teoria
    elementy teoretyczne
    pojęcia teoretyczne
    układ równań
    structure
    theory
    theoretical elements
    theoretical notions
    structural equations
    Opis:
    Celem artykułu jest opisanie założeń formalnych dotyczących wykorzystywania metody równań strukturalnych (Structural Equation Model – SEM). Układy równań strukturalnych służą do weryfikowania teorii i jej założeń. W artykule zostało opisanych pięć założeń budowy każdego modelu pomiarowego, którego stworzenie poprzedza weryfikację założeń teoretycznych za pomocą układu równań strukturalnych. Głównym celem budowy modelu pomiarowego jest sprawdzenie budowy zmiennych latentnych, w tym: a) sprawdzenie rzetelności zmiennych latentnych, b) obliczenie wariacji zmiennych latentnych, c) sprawdzenie trafności różnicowej zmiennych latentnych, d) sprawdzenie wysokości ładunków czynnikowych (lambd λ) oraz e) sprawdzenie statystyk dopasowania modelu. Kolejno omówione zostały założenia modelu weryfikowanego za pomocą jednopoziomowego układu równań strukturalnych SEM: a) sposoby wyłączania ścieżek w modelu, b) sprawdzenie dopasowania modelu teoretycznego do danych empirycznych. W celu przybliżenia omawianych treści zostały przedstawione grafy prezentujące model pomiarowy, a także model SEM.
    The purpose of this article is to describe the formal assumptions regarding the use of Structural Equation Models (SEM). Structural Equation Models are used to verify the theory and its assumptions. Five assumptions concerning construction of the measurement model, which precedes the verification of the theoretical assumptions with the aid of the structural equation model, were described. These are: a) checking the reliability of the latent variables, b) calculation of the variance of latent variable, c) checking the discriminant validity of the latent variables, d) checking the amount of factor loadings (lambd λ) and e) model fit statistics. In the next step, the one-level SEM model assumptions were discussed: a) turning off the paths of the model, b) checking the fit of the theoretical model to empirical data. For imaging of the content, graphs showing the measurement model and model SEM were presented.
    Źródło:
    Studia Psychologica; 2016, 16, 2; 93-116
    1642-2473
    Pojawia się w:
    Studia Psychologica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy logika formalna jest rodzajem ontologii?
    Is Formal Logic a Kind of Ontology?
    Autorzy:
    Maciołek, Ryszard
    Powiązania:
    https://bibliotekanauki.pl/articles/2013203.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    kategorie ontologiczne
    interpretacja ontologiczna
    ontologia filozoficzna
    ontologia teoriomnogościowa
    zobowiązania ontologiczne
    ontological categories
    ontological commitments
    ontological interpretation
    philosophical ontology
    set theory ontology
    Opis:
    This paper addresses the question of the relationship between the object of formal logic and the object of ontology. The history of logic and philosophy shows a kinship and overlapping between the two sciences. The analyses were conducted on the basis of three approaches to formal logic, i.e. Aristotle’s logic Russell’s and Whitehead’s logic, and Leśniewski’s logic. At the same time, it sought to grasp its material and formal object. Now with regard to ontology mainly Aristotelian and Leibnizean understanding of ontology was taken into account as an instance of philosophical ontology and set theory ontology as an example of ontology constructed with a view to play the role of a semantic background for the formulas of logical calculi. The considerations under study allow us to state that even if material objects in the two sciences overlap, especially in the case when the formulas of logic are interpreted by way of ontology, their formal objects seem to be different. Logic does not focus on the question of the categorisation of reality; the essences belonging to respective ontological categories are only “truth-making” factors for the statements formulated by formal logic.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 191-220
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
    Autorzy:
    Chatzikyriakidis, S.
    Lafourcade, M.
    Ramadier, L.
    Zarrouk, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/103833.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    lexical networks
    JeuxDeMots
    type theory
    type ontologies
    formal semantics
    natural language inference
    Opis:
    In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.
    Źródło:
    Journal of Language Modelling; 2017, 5, 2; 229-272
    2299-856X
    2299-8470
    Pojawia się w:
    Journal of Language Modelling
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The balance between formal and informal managerial practices : managing ambidexterity in creative industries
    Równoważność pomiędzy formalnymi i nieformalnymi praktykami zarządzania : wszechstronne zarządzanie w branżach kreatywnych
    Autorzy:
    Radomska, J.
    Silva, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/406019.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Częstochowska
    Tematy:
    ambidexterity
    paradox theory
    strategy
    relations
    CI
    wszechstronny
    teoria paradoksu
    strategia
    relacje
    Opis:
    The main aim of the paper is to understand how managers of creative industries (CI) decide on the use of ambidextrous solutions. Managerial actions of business managers of CI enable to connect the volatility and variability of the environment with the high level of creativeness that this requires. As such, it is interesting to study how these managerial actions are decided is of utmost importance, especially in a volatile and subjective environmental context as it seems to be the one of CI (Banks et al., 2000). We aim at investigating the managerial practices that enable to find the balance between the simultaneous pressure on innovativeness and the effectiveness of the actions taken. We wanted to know the way managers deal with the paradoxes that can result. We interviewed managers of 10 companies located in a second tier group of countries, where for governments, CI are apparently strategic, but where the value they add and the jobs they can create can still be improved. Results show that there are two main paradoxes in terms of managerial actions - the priority in relations (external or internal) and the approach to strategy (flexibility or planned actions). Results also show that in what concerns strategy formality and external priority in relations there are consistencies in the degree of strategy formalization. However, in what concerns the practices used in shaping the internal relations, there is no consistency identified in our sample. Our overall conclusions are that companies are more and more moving away from the traditional option of informal approach, focused inward to a more hybrid approach in which formal focus outward is also considered. This confirms the thesis that ambidexterity is becoming a characteristic of the companies in the CI sector.
    Głównym celem artykułu jest zrozumienie, w jaki sposób menedżerowie branż kreatywnych (CI) decydują o zastosowaniu wszechstronnych rozwiązań. Działania menedżerskie menedżerów biznesowych CI umożliwiają połączenie ulotności i zmienności środowiska z wysokim poziomem kreatywności, który tego wymaga. W związku z tym interesujące jest zbadanie, w jaki sposób podejmowane są decyzje dotyczące zarządzania. Ma to ogromne znaczenie, zwłaszcza w niestabilnym i subiektywnym kontekście środowiskowym, co jest jednym z wyróżników CI (Banks i wsp. 2000). Naszym celem jest zbadanie praktyk menedżerskich, które pozwolą znaleźć równowagę między jednoczesną presją na innowacyjność a efektywnością podejmowanych działań. Chciano poznać sposób, w jaki menedżerowie radzą sobie z paradoksami, które mogą wyniknąć. Przeprowadzono wywiady z menadżerami 10 firm zlokalizowanych w drugiej grupie krajów, gdzie dla rządów branże CI są strategiczne, ale tam, gdzie wartość dodaną i miejsca pracy, które mogą stworzyć, można jeszcze poprawić. Wyniki pokazują, że istnieją dwa główne paradoksy pod względem działań zarządczych - priorytet w relacjach (zewnętrznych lub wewnętrznych) i podejście do strategii (elastyczność lub planowane działania). Wyniki pokazują również, że w zakresie formalności strategicznych i zewnętrznego priorytetu w relacjach występują konsekwencje w stopniu formalizacji strategii. Jednak w odniesieniu do praktyk stosowanych w kształtowaniu stosunków wewnętrznych, w naszej próbie nie ma spójności. Nasze ogólne wnioski są takie, że firmy coraz bardziej odchodzą od tradycyjnej opcji nieformalnego podejścia, skupiając się na bardziej hybrydowym podejściu, w którym również bierze się pod uwagę formalne ukierunkowanie na zewnątrz. Potwierdza to tezę , że wszechstronność staje się cechą charakterystyczną firm w sektorze CI.
    Źródło:
    Polish Journal of Management Studies; 2018, 18, 2; 259-271
    2081-7452
    Pojawia się w:
    Polish Journal of Management Studies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Die kommunikativ-pragmatische Orientierung im Fremdsprachenunterricht und ihre theoretische Grundlegung – Kritik und Perspektiven aus glottodidiaktischer Sicht
    Theoretical Background of Communicative-Pragmatic Approaches to Foreign Language Teaching – criticism and perspectives from a glottodidactic point of view
    Autorzy:
    Sadownik, Barbara
    Powiązania:
    https://bibliotekanauki.pl/articles/1179280.pdf
    Data publikacji:
    2020-11-24
    Wydawca:
    Ateneum - Akademia Nauk Stosowanych w Gdańsku
    Tematy:
    communicative-pragmatic approach
    glottodidactics
    generative grammar
    speech acts
    theory
    communicative-pragmatic competence vs. formal-grammatical knowledge
    foreign
    language teaching
    kommunikativ-pragmatischer ansatz
    glottodidaktik
    generative grammatik
    sprechakttheorie
    kommunikativ-pragmatische kompetenz vs. formal-grammatisches wissen
    fremdsprachenunterricht
    Opis:
    The aim of the paper is to discuss theoretical assumptions as well as point out strengths and weaknesses of the communicative-pragmatic approach to foreign language teaching. The author underlines the fact that pragmatics and the theory of speech acts by J. Austin and J. Searle, which emerged under the influence of the pragmatic approach in American philosophy, sociology and semiotics, as well as the theory of language games by L. Wittgenstein, the notion of communicative competence by D. Hymes and the theory of communicative action by J. Habermas all influenced the proponents of the pragmatic-communicative approach either directly or indirectly. The implementation of these theories, however, has not always been cautious and critical enough, which is exemplified by, for instance, overemphasizing fluency and communicative efficiency over morphosyntactic accuracy of speech. In other words, changing the role of communicative competence and downgrading the significance of linguistic competence in the foreign language teaching process. The author concludes that the essence of natural languages lies in their immanent structure rather than the communicative purposes they serve.
    Der vorliegende Beitrag setzt sich zum Ziel, die theoretische Fundierung sowie Vorteile und Schwächen des pragmatisch-kommunikativen Ansatzes im Fremdsprachenunterricht aus glottodidaktiktischer Sicht darzustellen. Die Autorin betont, dass sowohl die Pragmalinguistik und die Sprechakttheorie von J. Austin und J. Searle, die auf theoretischen Erkenntnissen in Bezug auf die Rolle der Handlung und ihrer Wirkung in der pragmatischen Philosophie, Soziologie und Semiotik des 20. Jahrhunderts basieren als auch das Wittgensteinsche Konzept der Sprachspiele, das Konzept der kommunikativen Kompetenz von D. Hymes und die Theorie der kommunikativen Kompetenz von J. Habermas die pragmatisch-kommunikative Wende in entscheidender Weise inspiriert und weitgehend mitgeprägt haben. Die Einführung der kommunikativen Kompetenz in die theoretische Diskussion und in die schulische Praxis zeigte aber nicht immer zufriedenstellende Ergebnisse. Als Schwäche des pragmatischkommunikativen Ansatzes ist eine Überbetonung des kommunikativen Umgangs mit Äußerungen und eine Überbewertung der Rolle der sprachlichen Diskursund Handlungskompetenz bei gleichzeitiger Unterbewertung der morphosyntaktischen Kompetenz zu nennen. Die Autorin konstatiert, dass der immanente Strukturbereich von Sprache und nicht der Kommunikationsbereich ihre Natur ausmacht.
    Źródło:
    Forum Filologiczne Ateneum; 2020, 8, 1; 27-57
    2353-2912
    2719-8537
    Pojawia się w:
    Forum Filologiczne Ateneum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    W poszukiwaniu etyki środowiskowej dla teorii wychowania ekologicznego
    In Search of Environmental Ethics for the Theory of Ecological Education
    Autorzy:
    Gola, Beata
    Powiązania:
    https://bibliotekanauki.pl/articles/470488.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    etyka środowiskowa
    filozoficzne podstawy wychowania
    wychowanie ekologiczne
    edukacja formalna
    edukacja nieformalna
    environmental ethics
    philosophical foundations of education
    ecological upbringing
    formal education
    informal education
    Opis:
    Undoubtedly, the contemporary problems of ecological philosophy and eco- pedagogy deal with questions about the real presence of the philosophical bases for the ecological upbringing of children and youth. Therefore, can different conceptions of environmental ethics (e.g., anthropocentric ethics, bio-centric ethics, holistic ethics) be found in the contemporary theory of ecological upbringing? A partial answer to the question can be provided by educational programs implemented in the process of formal education (e.g. content analysis of school textbooks in specific subjects), as well as educational activities undertaken by the selected centers in the system of non-formal education (content analysis of teaching materials). The directory of ecological values distinguished from the tested materials can also be used in the search for answers to this question. This directory describes the man/ natural environment relationship, while these ecological values are strongly articulated in certain eco-ethics positions.
    Źródło:
    Studia Ecologiae et Bioethicae; 2016, 14, 1; 55-56
    1733-1218
    Pojawia się w:
    Studia Ecologiae et Bioethicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pojęcie wartości I celu nauki w świetle teorii aktów mowy Jurgena Habermasa
    THE CONCEPT OF THE AIM AND THE VALUE OF SCIENCE IN THE LIGHT OF JURGEN HABERMAS’S THEORY OF SPEECH ACTS
    Autorzy:
    Michalska, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/577733.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    AIM OF SCIENCE
    FORMAL PRAGMATICS
    PRINCIPLES
    RETICULATED MODEL
    SPEECH ACTS
    Opis:
    In the paper it is argued that, in order to explicate the concept of the aim and value of science from the standpoint of Habermas’s theory of speech acts (the theory of communicative action or universal pragmatics), one is required to take up the position of moderate realism. The theory implies that even though science serves many different purposes and might be harnessed to realise diverse values, it must be seen as subordinated to the highest-level principle, which, in certain contexts, should be comprehended as the chief cognitive value. And since, as I demonstrate later on, universal pragmatics formally corresponds to the reticulated model of scientific justification as put forth by Laudan in his Science and Values but, at the same time, is much more deeply rooted philosophically, the result obtained is important on the part of philosophy of science and purports to offer a new paradigm of analysis.
    Źródło:
    Zagadnienia Naukoznawstwa; 2011, 47, 3(189); 373-391
    0044-1619
    Pojawia się w:
    Zagadnienia Naukoznawstwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Susan Sontag — zapomniana matka?
    Susan Sontag — A Forgotten Mother?
    Autorzy:
    Ziewiec, Klaudia
    Powiązania:
    https://bibliotekanauki.pl/articles/1533589.pdf
    Data publikacji:
    2013-01-01
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    Susan Sontag
    Regarding the Pan of Others
    On Photography
    Against Interpretation and Other Essays
    anti-interpretative turn
    erotic aspect of theory
    essay writing
    “New Sensibility”
    The New York Intelectualls
    formal aspect of work
    ocularcentrism
    war
    Opis:
    The article discusses new and republished translations of Susan Sontag’s work, recently launched by the Karakter publishing house: Regarding the Pan of Others, On Photography, and Against Interpretation and Other Essays. The article focuses on the elements of Sontag’s thought that make her a forgotten mother of feminist and gender theoreticians, as well as such influential critics as Michel Foucault and Roland Barthes. The article points out to continuations of Sontag’s thought in contemporary theoretical and social projects, and to the pertinence of her critical observations on theories based on metaphysics of presence: psychoanalysis, Marxism, or hermeneutics. The article also touches upon history of war photography and related war journalism, and upon the ambivalent quality of imaging of the misery of war. It also present historical and cultural circumstances of the development of Sontag’s thought in the intellectual milieu of New York in the 1960s. The discussion recapitulates the main statements of Sontag’s essays, relating them to a wider theoretical context, which is aimed at a reappraisal of the forgotten intelectual in the history of literature.
    Źródło:
    Poznańskie Studia Polonistyczne. Seria Literacka; 2013, 21; 199-213
    1233-8680
    2450-4947
    Pojawia się w:
    Poznańskie Studia Polonistyczne. Seria Literacka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An attempt to characterize the availability of the elements of a chain of action
    Próba opisu zdatności ogniw łańcucha działania
    Autorzy:
    Smolnik, Maksymilian
    Powiązania:
    https://bibliotekanauki.pl/articles/38953771.pdf
    Data publikacji:
    2023
    Wydawca:
    Instytut Techniczny Wojsk Lotniczych
    Tematy:
    action
    reliability theory
    formal praxiology
    działanie
    teoria niezawodności
    prakseologia formalna
    Opis:
    The paper presents a survey and analysis of the selected basic theses of some operational sciences and praxiology. This project is related to the ongoing research and development works on the description of the reliability of action. These works refer to the concept of such a description presented by Józef Konieczny within the framework of systems of action engineering (and formal praxiology). The original concept is universal and can be useful in reliability engineering, but its analysis, development and application require prior research on its foundations. For this reason, the aim of this work is to formulate observations and conclusions regarding the description of the state of availability of the individual elements of a chain of action – which is one of the many stages of the mentioned research and development works.
    W artykule dokonano przeglądu i analizy wybranych, podstawowych tez niektórych nauk eksploatacyjnych oraz prakseologii. Przedsięwzięcie to związane jest z prowadzonymi pracami badawczo-rozwojowymi dotyczącymi opisu niezawodności działania. Prace te odnoszą się do koncepcji takiego opisu zaprezentowanej przez Józefa Koniecznego w ramach inżynierii systemów działania (i prakseologii formalnej). Oryginalna koncepcja ma charakter uniwersalny i może być użyteczna w inżynierii niezawodności, jednak jej analiza, rozwinięcie i stosowanie wymagają wcześniejszych badań dotyczących jej podstaw. Z tego względu celem niniejszej pracy jest sformułowanie obserwacji oraz wniosków w zakresie opisu występowania stanu zdatności poszczególnych elementów łańcucha działania – co stanowi jeden z wielu etapów wspomnianych prac badawczo-rozwojowych.
    Źródło:
    Journal of KONBiN; 2023, 53, 4; 101-128
    1895-8281
    2083-4608
    Pojawia się w:
    Journal of KONBiN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    „Zbawcze piękno” w teorii estetycznej wiktorynów
    “Redemptive Beauty” in the Victorines’ Theory of Aesthetics
    Autorzy:
    Bajor, Wanda
    Powiązania:
    https://bibliotekanauki.pl/articles/1807406.pdf
    Data publikacji:
    2020-01-02
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    piękno symboliczne
    podstawy ontologiczne oraz psychologiczne estetyki
    definicje piękna
    estetyka brzydoty
    kategorie formalne piękna
    mistyczna kontemplacja piękna
    symbolic beauty
    ontological and psychological foundations of aesthetics
    definitions of beauty
    aesthetics of ugliness
    formal categories of beauty
    mystical contemplation of beauty
    Opis:
    The authors of the aesthetics in the Victorines’ school are its most famous members: Hugh and his disciple Richard. Hugh was the first one who devoted a substantial part of his work to theory of aesthetics, which he included in the seventh book of the encyclopaedic work Didascalion de studio legendi. He refers there to the Neoplatonic theory of aesthetics following the Dionysian-Eriugenian theory of symbolism. In the first two parts he develops ontological foundations of aesthetics and its psychological determinants. In the ontological aspect Hugh is an objectivist and treats beauty as a constitutive property of beings. In the part concerning psychological foundations of aesthetics he introduces a specific power which combines two aspects of aesthetic experiences — spiritual and sensual. It is the so called affectio imaginaria, incorporated into the theory of psychophysical unity of human being. The issues related to the role of beauty in human life and aesthetic experience as a path leading to mystical life Hugh supplements with ethical considerations. He devotes a large part of his work to discussion of the definition of beauty. The most original part of Hugh’s aesthetics is the one in which he distinguishes formal categories of beauty: placement (situs), motion (motus), quality grasped by sight (species) and qualities experienced by other senses (qualitas). The theory of mystical contemplation of beauty understood as a process of the soul’s climbing to God analogous to Plotinian conception of ‘epistrophe’ can be considered a peculiar crowning of Hugh’s aesthetics.
    Źródło:
    Roczniki Kulturoznawcze; 2012, 3; 67-81
    2082-8578
    Pojawia się w:
    Roczniki Kulturoznawcze
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Attributions of educational and professional paths: Analysing reasons for adolescent and young adults choices
    Atrybucje ścieżek edukacyjno-zawodowych: Analiza przyczyn wyborów dokonywanych przez nastolatków i młodych dorosłych
    Autorzy:
    Duda, Ewa
    Tłuściak- Deliowska, Aleksandra
    Barbara-Cardona, Josette
    Powiązania:
    https://bibliotekanauki.pl/articles/43467348.pdf
    Data publikacji:
    2023-12
    Wydawca:
    Uniwersytet Komisji Edukacji Narodowej w Krakowie. Instytut Spraw Społecznych
    Tematy:
    Educational and professional path
    Formal education
    Career guidance
    Attribution theory
    ścieżka edukacyjno-zawodowa
    Edukacja formalna
    Poradnictwo zawodowe
    Teoria atrybucji
    Opis:
    The choice of a specific educational and professional path is a significant decision. In the presented qualitative research, attention was focused on causal attributions and their importance in the process of explaining the decisions made by students of Warsaw general secondary school graduating class. Findings show that: (1) depending on the educational stage, the attribution of choices varies; (2) regarding the earlier educational stage, external attribution is dominant. The knowledge of the specifics of the causal attribution processes in relation to the choice of the educational and occupational path allows of a better understanding and guidance on making these choices.
    Wybór określonej ścieżki edukacyjno-zawodowej jest ważną decyzją. W prezentowanych badaniach jakościowych zwrócono uwagę na atrybucje przyczynowe i ich znaczenie w procesie wyjaśniania decyzji podejmowanych przez uczniów ostatniej klasy warszawskich liceów ogólnokształcących. Wyniki pokazują, że: (1) w zależności od etapu edukacyjnego atrybucja wyborów jest zróżnicowana, (2) w odniesieniu do wcześniejszego etapu edukacyjnego dominuje atrybucja zewnętrzna. Znajomość specyfiki procesów atrybucji przyczynowej w odniesieniu do wyboru ścieżki edukacyjno-zawodowej pozwala lepiej zrozumieć i ukierunkować dokonywanie tych wyborów.
    Źródło:
    Labor et Educatio; 2023, 11; 157-171
    2353-4745
    2544-0179
    Pojawia się w:
    Labor et Educatio
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-38 z 38

      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