Nicolae Iorga jest postacią o dużym znaczeniu w historii i kulturze Rumunii. Bardzo często wypowiadał się o sprawach polskich w szerokim tego słowa znaczeniu, zarówno w kwestiach akademickich, jak i politycznych. Zaangażowanie Iorgi w Polskę jest widoczne niemal nieprzerwanie w trakcie jego kariery naukowej i politycznej. Od czasów szkolnych po jego tragiczną śmierć Polska i jej sprawy były obecne w jego działalności także za sprawą jego nauczycieli, profesorów czy późniejszych partnerów politycznych. Dzięki wykształceniu historycznemu Iorga postrzegał Polskę jako ważnego partnera (...) Rumunii na arenie międzynarodowej, jako gwarancję bezpieczeństwa politycznego, ale także ważnego partnera w kontekście rozwoju kulturalnego. Jako inicjator kursów języka i kultury rumuńskiej na Uniwersytecie Jagiellońskim, Nicolae Iorga otrzymał tytuł doktora honoris causa Uniwersytetu Wileńskiego w 1931 r. za ważną rolę w umacnianiu stosunków między Polską a Rumunią. (shrink)

Resumen El objetivo del presente artículo es analizar en la historia del español dos tipos de fórmulas de saludo, entendidas como unidades discursivas propias del acto de habla expresivo que sirven para abrir el canal comunicativo de las relaciones sociales. A través de la búsqueda sistemática en textos del CORDE de hasta finales del siglo XIX, intentaremos hallar (i) los factores sociopragmáticos que desempeñan el papel más importante en cada tipo de saludo, (ii) el origen paradigmático de cada fórmula, (iii) (...) su distribución sociocultural y las preferencias discursivas e informativas, y (iv) su nivel de predominio en determinadas épocas. (shrink)

The changes brought about in Poland and elsewhere in Europe by the fall of Communism have given rise to hopes for the establishment of a political system differing from the one which had been the fate of these countries. In place of totalitarianism, a new political system is to be created based on the democratic principles of a state under the rule of law. The transformation from totalitarianism to democracy is a process which has not yet been completed in Poland (...) and still requires many efforts to be made before this goal may be achieved. One may also enumerate various pitfalls jeopardising this process even now. The dangers cannot be avoided if their sources and nature are not identified. Attempts to pervert the law and the political system may only be counteracted by legal means if the system based on the abuse of the law has not yet succeeded in establishing itself. Resistance by means of the law only has any real chance of success provided it is directed against attempts to set up a totalitarian system. Once the powers which are hostile to the state bound by the rule of law take over the institutions of the state, such resistance is doomed to failure. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.

This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...) this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided. (shrink)

In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e. a modally-flat formula with modal functors having only boolean formulas in its scope. In contrast to many sequent calculi for S5 the presented system does not introduce any extra devices. Thus it is a standard version of SC but (...) with some additional simple rewrite rules. The procedure combines the proces of saturation of sequents with reduction of their elements to some normal modal form. (shrink)

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...) this gap. The delay was partly due to the fact that the author from time to time was trying to improve the result and extend it to some additional logics by testing other methods of proving cut elimination. Unfortunately all these attempts failed and cut elimination holds only for these logics which were proved to satisfy this property already in 2005. (shrink)

There are many religions in the human world, and people manifest their religiousness in many different ways. The main problem this paper addresses concerns the possibility of sorting out this complex world of human religiousness by showing that it can be phenomenologically reduced to a few very basic existential attitudes. These attitudes express the main types of ways in which a human being relates to his or herself and the world, independently of the worldview or religion professed by the individual. (...) I use Kierkegaard’s theories of the stages of existence and subjective truth as a model. The theory of the stages of existence provides five basic existential attitudes on the basis of which religious attitudes can develop: spiritlessness, the aesthetic, the ethical, religiousness A, and religiousness B. The theory of subjective truth shows how the concept of truth functions in an ethical and existential sense as the personal truth of an individual engaged in building their religious identity. In turn, I discuss the problem of the relation of Kierkegaard’s philosophy to phenomenology, briefly introduce his concept of subjective truth and the stages of existence, and show how existential attitudes can be transformed into religious ones. I also consider the problem of the demonic as the inverted order of this anthropological and existential model. Finally, I argue that the model developed herein may be useful for further research into the phenomenology of religious attitudes. (shrink)

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

Provability, Computability and Reflection.

We present a uniform characterisation of three-valued logics by means of a bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested sequent calculi. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, (...) the reasonably modest generalisation of standard SC offered by BSC is sufficient. In this paper, we examine a variety of three-valued logics and show how they can be formalised in the framework of BSC. We present a constructive syntactic proof that these systems are cut-free, satisfy the subformula property, and allow one to prove the interpolation theorem in many cases. (shrink)

In 1934 Jaśkowski and Gentzen independently published their groundbreaking works on Natural Deduction. The aim of this paper is to provide some criteria for division of the diversity of existing systems on some natural subcategories and to show that despite the differences all these systems are descendants of original systems of Jaśkowski and Gentzen. Three criteria are discussed:The kind of items which are building-blocks of the proof.The format of proof.The kind of rules.The first leads to the division of ND into (...) two main classes: F-systems working on formulas and S-systems working on sequents. The second distinguishes between T-systems with tree-proofs and L-systems with linear proofs. Finally, the third leads to several minor divisions in the main categories. (shrink)

Tekst dotyczy wybranych problemów związanych z utylitaryzmem jako koncepcją etyczną. Autor prezentuje krótki zarys tej teorii, z uwzględnieniem podstawowego jej podziału na utylitaryzm czynów i utylitaryzm reguł. Zasadniczym przedmiotem zainteresowania są jednak zarzuty formułowane w stosunku do tej doktryny. Przedstawiona krytyka oraz niektóre odpowiedzi na nią dotyczą różnych budzących kontrowersje punktów utylitaryzmu. Wśród nich znajdują się odniesienia do nadmiernych roszczeń wysuwanych wobec sprawców czynów. Inne ujemne oceny odwołują się do trudności przewidywania następstw działań. Kolejne głosy wiążą się z zarzutem ignorowania (...) przez rozpatrywaną koncepcję fundamentalnych intuicji moralnych. W niektórych opiniach podnoszona jest kwestia hedonizmu charakterystycznego dla klasycznej wersji propozycji sformułowanej przez Benthama i Milla. Przedmiotem negatywnego osądu stało się też ignorowanie osobowego kontekstu moralności i idei sprawiedliwości przez koncepcję użyteczności. (shrink)

Unitary, irreducible representations of the proper, orthochronous Lorentz group comprise the main series and the supplementary series. The main series is spanned by the complete set of eigenstates of the self-adjoint Casimir operator C 1=−(1/2)M μν M μν , where M μν are generators of Lorentz transformations. The supplementary series has no such interpretation; moreover it is spurious from the point of view of functional analysis as it does not enter into the integral representation of an arbitrary test function. The (...) author describes the physical context within which the supplementary series arises, nevertheless, in a natural way: it arises if we exponentiate a massless scalar quantum field living in three-dimensional de Sitter space-time and if the appropriate coupling constant is small enough. (shrink)

Głównym przedmiotem książki jest ewolucja sensów nadawanych pojęciom wolności, tolerancji i sprawiedliwości. Rozumienie tych terminów jest istotne dla refleksji o polityce, zwłaszcza takiej, która nie unika etycznego i ekonomicznego kontekstu. Praca opisuje proces przemiany znaczenia tych idei odwołując się do obszernego materiału teoretycznego. Zarówno wolność, jak sprawiedliwość oraz tolerancja były tradycyjnie pojmowane jako brak (negatywnie). Wolność ujmowano na ogół jako niepodleganie przymusowi, tolerancję jako brak nietolerancji, a sprawiedliwość jako stan niezachodzenia niesprawiedliwości. Współcześnie upowszechnia się odmienna ich charakterystyka. Wolność bywa utożsamiana (...) z możnością działania, tolerancja z akceptacją, a nawet afirmacją odmienności, a sprawiedliwość ze „sprawiedliwością społeczną” opartą na przymusie redystrybucji dóbr. Książka oprócz rekonstrukcji tej przemiany poddaje też bardziej szczegółowej analizie jej konsekwencje. Teoretycznym zwieńczeniem owej transformacji jest koncepcja państwa opiekuńczego. (shrink)

In the first part of the paper, the author presents Popper's theory of the objective knowledge and the three worlds in ten theses with a commentary, showing difficulties and vagueness of Popper's theory and trying to clarify it. The second part comprises discussion with a few Popper's theses. The author especially argues against the thesis about autonomy of the third world, and about epistemology limited to examination of only the objects from the third world. In relation to this, the author (...) shows some defects of Popper's argumentation from Objective Knowledge. The conclusion of the article is a different interpretation and an anew formulation of Popper's theory. (shrink)