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