Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "formal theory" wg kryterium: Wszystkie pola


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

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