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: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 25
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ł:
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ł
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
"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ł:
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ł:
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ł:
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ł
Wyświetlanie 1-15 z 25

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