Wyniki wyszukiwania - Biblioteka Nauki

1

Dialog z otoczeniem

100%

Nowicka A.

Budownictwo i Architektura

|

2012

|

tom Vol. 11, nr 2

15-23

PL

Artykuł porusza zagadnienia kontekstu w architekturze, jego wpływ na kształtowanie, odbiór i ocenę istniejących oraz powstających budowli. W tekście zwrócono uwagę na różnorodność odniesień kontekstualnych (przestrzeń, tło historyczne, konstrukcja i materiał, tradycja) oraz ich znaczenie w procesie projektowania architektonicznego. W świetle dzisiejszych działań przestrzennych ważne okazuje się respektowanie kontekstu jako jednego z istotniejszych kryteriów tworzenia wartościowej i szczerej architektury odpowiadającej potrzebom użytkowników i pozostającej w interesujących relacjach z otoczeniem.

EN

The article raises a subject of context in architecture, its influence on shape, perception and evaluation of existing and erecting buildings. In the text the attention is paid to diverse forms of context (referring to space, historical conditions, construction and materials, tradition) and their meaning in the architecture design. In the light of today spatial actions and planning it is turning out that it is important to respect context as a one of the most relevant criteria of creating valuable and honest architecture, which suits to its users needs and which remains in interesting relations with its surroundings.

2

On the Computational Interpretation of CKn for Contextual Information Processing

75%

Mendler M. , Scheele S.

Fundamenta Informaticae

|

2014

|

tom Vol. 130, nr 1

125--162

EN

We aim to establish the multi-modal logic CKn as a baseline for a constructive correspondence theory of constructive modal logics. Just like many classical multi-modal logics may be studied as theories of the basic system K obtained by model-theoretic specialisation, we envisage constructive modal logics to be derived as proof-theoretic enrichments of CKn. The system CKn would then act as a core system for constructive contextual reasoning with controlled information flow. In this paper, as a first step towards this goal, we study CKn as a type theory and introduce its computational λ-calculus, λCKn. Extending previous work on CKn, we present a cut-free contextual sequent system in the spirit of Masini’s two-dimensional generalisation of natural deduction and Brünnler’s nested sequents and give a computational interpretation for CKn following the Curry- Howard Correspondence. The associated modal type theory λCKn permits an interpretation for both the modalities □ and ⋄ of CKn as type operators with simple and independent constructors and destructors, which has been missing in the literature. It is shown that the calculus satisfies subject reduction, strong normalisation and confluence. Since normal forms can be characterised by way of a Gentzen-style typing system with sub-formula property, CKn is suitable for proof search in CKn. At the same time, λCKn enjoys natural deduction style typing which is important for programming applications. In contrast to most existing modal type theories, which are obtained as theories of the constructive modal logic S4, CKn is not bound to a particular contextual interpretation. Thus, λCKn constitutes the core of a functional language which provides static type checking of information processing to support safe contextual navigation in relational structures like those treated by description logics. We review some existing work on modal type theories and discuss their relation to λCKn.

3

Moja narracja staje naprzeciw twojej. O kontekstowych użyciach narracji

63%

Akram S.

Język Polski

|

2019

|

tom 99

|

nr 4

45-58

PL

Przedmiotem artykułu jest analiza współczesnych użyć leksemu narracja na podstawie kontekstów wyekscerpowanych z internetowych tekstów medialnych. Celem analizy jest zrekonstruowanie znaczenia narracji obecnego w polskim dyskursie medialnym. Na podstawie użyć kontekstowych zostały wyodrębnione takie aspekty narracji jak podmiot i przedmiot oraz jej celowość, często z wyraźnym wskazaniem konkretnego celu, którym jest manipulacja rzeczywistością lub historią, stąd określonej narracji często zarzuca się nieprawdziwość. Narracja jawi się jako konstrukt pojęciowy i językowy, który cechuje się nietrwałością i podatnością na zmiany, co zazwyczaj demaskują odbiorcy. Współcześnie narracja może być również traktowana jako jedna z wersji prawdy lub bywa utożsamiana z prawdą.

EN

The aim of this article is to analyse the contemporary use of the lexeme narration based on the contextual material derived from Internet media texts. As a consequence, the meaning of narration present in the Polish media discourse is reconstructed. The extracted aspects of narration are as follows: subject, object and intention, often with pointing out a concrete purpose, such as manipulation of reality or history. Thus, particular narration is often accused of being false. Narration appears to be a notion and a linguistic construct, unstable and prone to changes, which is exposed by the addressees. Nowadays narration could also be perceived as a version of the truth or it might be identified with the truth.

4

The Inference Pattern Mou in Mohist Logic: A Monotonicity Reasoning View

51%

Sun Z. , Liu F.

|

2020

|

tom 68

|

nr 4

257-270

EN

Taking the standpoint of monotonicity reasoning, this paper provides a systematic way of looking at the inference pattern mou in the Mohist text. We have taken a logical, as well as a linguistic perspective, emphasizing features of classical Chinese, the role of context, and making use of any possible clues that we can find from the old text. By applying monotonicity rules we provide a uniform account of why shi er ran examples are valid inferences, and shi er buran examples are counter-examples.

PL

Schemat wnioskowania mou w logice mohistycznej Biorąc za punkt wyjścia monotoniczność rozumowania, artykuł przedstawia systematyczny sposób interpretacji schematu wnioskowania mou w tekstach mohistycznych. Wzięliśmy pod uwagę zarówno perspektywę logiczną. jak i lingwistyczną, zwracając szczególną uwagę na specyfikę klasycznego języka chińskiego, rolę kontekstu i uwzględniając wszelkie możliwe wskazówki pochodzące ze źródłowych tekstów. Poprzez zastosowania reguł monotoniczności sformułowaliśmy jednolitą odpowiedź na pytanie, dlaczego shi er ran są uznawane za rozumowania poprawne, a shi er buran przeciwnie - uznawane są za kontrprzykłady.

5

L’analyse du contexte comme outil didactique efficace dans la compréhension de la différence d’emploi du passé composé imperfectif et passé composé perfectif par les apprenants slaves

51%

Puchovská Z.

|

2023

|

nr 20

155-166

EN

The author focuses on the topic of the passé composé and the expression of the verbal aspect in the French language and in the Slovak and Polish languages. She examines the potential of contextual analysis of the passé composé in the perception of the difference between what she calls the passé composé perfectif and the passé composé imperfectif. From the contrastive perspective of the French language versus the two Slavic languages, she examines the notions of achèvement and accomplissement linked to the aspectual interpretation of the passé composé and finds that only the intra-phrastic context of the passé composé enables learners to better master the dual use of this tense in French. The author bases her argument on the corpora of minimal sentences from which the teacher and the learners of the French language can establish the contextual elements allowing to differentiate between the two uses in question.

6

Kto może zostać potępiony? Lektura kontekstualna Ap 21,8

51%

Kotecki D.

Verbum Vitae

|

2019

|

tom 36

133-160

EN

The author of the article offers a contextual analysis of Rev 21:8. The text describes the eternal punishment using the metaphor of the fiery lake of burning sulfur. In the context of the Book of Revelation, the whole Bible and the extra-biblical sources the analysis of this image leads to the conclusion that this is a place or state of eternal damnation, deprived of hope and any possibility of changing the fate of those who are there. It is an ultimate deprivation of the possibility of communion with God. Rev 21:8 also presents a list of those who are potentially endangered with eternal damnation, which is analyzed in the light of other enumerations from the Book of Revelation (9:20-21; 21:27; 22:15). It shows that this is not a complete list, but rather a kind of portrait or model of those who can be condemned. All the faults or sins mentioned in this text – to a greater or lesser extent – refer to idolatry or are the consequence of it. Thus, they become an image of the pagan world in which Christians live and which can threaten them from within. In this context, Rev 21:8 is a type of warning for Christians called to the community of the saved. The aim of their lives is to live in the Holy City (a perfect communion with God and the Lamb), not in the “fiery lake of burning sulfur”. Christians are to live like the saved people, not like the people of this world, a pagan world immersed in idolatry. The pericope of Rev 21:8-9 read in the context of the whole Book of Revelation shows all the chances or opportunities given to Christians to participate in an unlimited eternal life.

PL

Autor artykułu dokonuje analizy kontekstualnej Ap 21,8. Tekst ten mówi o karze wiecznej, używając metafory jeziora ognia i siarki. Analiza tego obrazu w kontekście Apokalipsy św. Jana, całej Biblii, jak i literatury pozabiblijnej, prowadzi do wniosku, że jest to miejsce czy stan wiecznego potępienia, pozbawione nadziei, bez żadnej możliwości odmiany losu tych, którzy tam się znajdą. Jest ostatecznym pozbawieniem się możliwości wspólnoty z Bogiem. Ap 21,8 wymienia również listę potencjalnie zagrożonych wiecznym potępieniem. Analizowana w świetle pozostałych list z Apokalipsy św. Jana (9,20-21; 21,27; 22,15) pokazuje, że nie jest ona kompletna, a raczej rodzaj portretu lub modelu kogoś, kto może zostać potępiony. Wszystkie wymienione w tym tekście wady czy grzechy – w większym lub mniejszym stopniu – odnoszą się do idolatrii albo są jej konsekwencją. Stają się w ten sposób obrazem świata pogańskiego, w którym żyją chrześcijanie i który może zagrażać im od wewnątrz. W takim kontekście Ap 21,8 jest rodzajem przestrogi dla chrześcijan powołanych do wspólnoty zbawionych. Celem ich życia jest udział w Mieście Świętym (doskonałej wspólnocie z Bogiem i Barankiem), a nie w „jeziorze ognia i siarki”. Chrześcijanie mają żyć jak zbawieni, a nie jak ludzie tego świata, świata pogańskiego zanurzonego w idolatrii. Perykopa Ap 21,8-9 odczytana w kontekście całej księgi wskazuje na wszystkie szanse i możliwości, jakie otrzymują chrześcijanie, aby mieć udział w nieograniczonym życiu wiecznym.

7

Wszechświat genialnym dziełem Boga według Hbr 3, 4

44%

Obidowicz A. J.

|

tom 70

|

nr 3

EN

Of all the New Testament books, the Letter to the Hebrews emphasizes the function of God as the builder the most. This article analyzes only verse 3 : 4. Both the Polish and English translations of Hebrews 3:4 apply the term “builder” or the active participle of “to build” to God. In the way of contextual analysis, the author justifies a translation of Hebrews 3 : 4 that emphasizes God’s conceptual design in creating the universe.

PL

Spośród pism Nowego Testamentu funkcja Boga jako budowniczego jest najbardziej eksponowana w Liście do Hebrajczyków. W przedstawionym tutaj opracowaniu omówiono jedynie werset 3, 4. Zarówno przekłady polskie, jak i angielskie stosują tam do Boga termin „budowniczy” lub jego pochodne odsłowne. W niniejszym opracowaniu przedstawiono – na drodze analizy kontekstowej – uzasadnienie dla przekładu Hbr 3, 4 eksponującego zamysł koncepcyjny oraz kunszt Boga przy tworzeniu wszechświata.