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-15 z 38
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
Wyświetlanie 1-15 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