The authors of mediaeval treatises on the modi significandi (often entitled De modis signi­ficandi, or Summa grammatica, or Summa modorum significandi, or Grammatica speculativa) have come to be known as the Modistae who taught in the late Sixties of the 13th till the Thirties of the 14th centuries. The present study is an account of the grammatical theories of this group of mediaeval scholars (mostly the work of Thomas of Erfurt), set in the appropriate context of situation and seen in (...) terms of the part they played in mediaeval semiotic theory, since their theory rests on the study of words and the properties of these words as signs of things. At the end of the present study the influence of the speculative grammar on present linguistic theories is announ­ced. Some influence of the speculative grammar one could discover in many contemporary lin­gui­stic theories like those of Noam Chomsky, Ronald Langacker, Robin Lakoff and even Ray Jackendoff. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

This paper sketches or signals some ideas, results, and proposals connected with the theoretical issues related to the categorial approach to language which originated from the first author and which form the basis for further research by the second author. The main aims are the following: 1) to bring into common use some Polish ideas concerned with classical categorial grammar; 2) to take into consideration a universal and simultaneously formal-logical perspective; 3) to consider Peirce's well-known differentiation of linguistic objects, i.e. (...) their twofold ontological status as tokens and types and, according to this, to consider the biaspectual formalization of language dealing with the two main orientations in the controversy between nominalism and Platonism; 4) to characterize language according to Frege's ontological canons, according to which each expression of language corresponds to its denotation. All of these factors make possible not only the syntactic characterization of language but also the introduction of syntactic and semantic definitions of a true expression and its denotation. These notions correspond here to the old classical, but not necessarily standard, understanding of semantic concepts. The paper is divided into four sections: the first contains a brief characterization of the categorial approach to syntax; the second presents two strains of this approach; the third touches on certain general semantic issues connected with the notion of truth; and the last gives some final remarks. (shrink)

The epidemiological situation resulting from the SARS-CoV-2 pandemic caused the Polish universities to fully switch to distance education in March 2020. Medical e-learning has not yet been broadly implemented into the education process. Therefore, examples of successful e-learning implementations or the organization of the process of medical e-learning offer a valuable source of knowledge today, which is needed immediately. The article presents e-learning practices at the Polish medical universities during the SARS-CoV-2 epidemic during the period from March to September 2020, (...) covering seven universities in Poland that offer medical and health studies. The organization and implementation of e-learning classes is presented, including knowledge evaluation practices, providing example decisions issued by university rectors, on which the teaching process was based. A detailed presentation of the schools’ organizational units or workgroups that played an important role in the process of coordination of measures supporting e-education is also included. The article also presents a description of the software applications, utilities, and services used at the schools in the course of the process of online education. Below are some examples of specific such implementations in selected university courses. (shrink)

Rough Sets were introduced by Z. Pawlak in the year 1982 with the intention to address knowledge representation and data processing from the angle of computation and decision making. The main idea...

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

Aristotle’s observation that “Plato not wrongly ordered sophistry around non-being” (Metaph. E 2, 1026b14; also in K 8, 1064b29) refers generally to Plato’s Sophist. The admission of non-being (τὸ μὴ ὄν) could be considered as a certain consequence of the Eleatic monism, which gave rise to the Sophistic movement as has been recognized by Plato and Aristotle. In this paper, we try to identify more precisely the context of this setting of non-being of polemical and very particular importance.

In this paper we examine Prior's reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic $K_t 4$ plus a new axiom $:p \wedge Gp \supset PGp'$. This formula was used by Prior in his original analysis of Master Argument. is usually added as an extra axiom to an axiomatization of the (...) logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

Andrzej Mostowski, whose previous book on Gödel's incompleteness theorem is widely acclaimed as a modern classic on the subject, now gives us a series of sixteen beautifully clear lectures on the development of logic and foundations of mathematics during the past thirty years. A very wide range of subjects is treated in this book, from the intuitionistic logic and the Gödel work on the incompleteness of arithmetic to the set-theoretical results of Cohen and the algebraic theory of direct and (...) reduced products. The notable thing about all this is that the book is everywhere readable by the non-expert. Anyone who has had an elementary course in mathematical logic and set theory can read this book with a great deal of profit. Moreover, the exposition sparkles with Mostowski's remarks, conjectures and speculations on the philosophy of mathematics and the future of foundational studies. There are very few rigorously proved theorems in the book—as this was not its purpose—but a bibliography of 244 pertinent items is furnished at the end of the book for those who would like to pursue the material to greater depth.—H. P. K. (shrink)

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, M. Sánchez, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 12 languages, Universität Konstanz, Konstanz 2016, 300pp.

Reduction has long been a favourite method of analysis in all areas of philosophy, but in recent years there has been a reaction against it. The contributors to this volume examine the motivations for such anti-reductionist views and assess their coherence and success in a number of fields.

Author: Zaporowski Andrzej Title: CULTURE AND CAUSALITY (Kultura a przyczynowość) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 279-289 Keywords: CULTURE, CAUSALITY, ACTION, EVENT, SYMBOLIC RELATIONSHIP Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The essay addresses the problem of how to link culture and causality. The starting point is an appeal to J. Kmita’s socio-regulative conception of culture where culture is given in terms of the propositional attitudes communally defined. Since human (...) actions are physical events, one can ask if they can enter into the causal relationship with other physical events. The problem is that this relationship is given to an agent through the cultural mediation. The mediation in question is possible due to the symbolic relationship embedded in the so-called symbolic sphere presupposed by Kmita’s conception. The causal relationship is therefore derived from the symbolic relationship. It is also the communal language which expresses the attitudes in question that is of a symbolic nature. Kmita’s conception then allows one to understand not only the communal nature of culture. It also shows how the human beings culturally defined live in a world of causality. (shrink)

This book introduces the English-speaking reader to the thought of Stanislaw Brzozowski (1878-1911), the outstanding Polish philosopher and literary critic. Although practically unknown in the West, Brzozowski is an important but neglected forerunner of the intellectual tradition of `Western Marxism', most commonly associated with Georg Lukács and Antonio Gramsci. -/- Concentrating first on the early phase of Brzozowski's thought, Professor Walicki goes on to analyse his ideas on the working class and its relation to the intelligentsia and contemporary working-class ideologies. (...) Finally he deals with aspects of his thought which go beyond the Marxian problematic and round off the intellectual portrait of the man. -/- Brzozowski's anti-naturalistic approach resulted in a radical reinterpretation of Marxism which dealt with many of the problems of the revolt against positivism in European philosophy. Professor Walicki argues that the retrieval of the philosophical and humanist aspect of Marxism, and its separation from the Engels-inspired `scientific Marxism', was the achievement of Brzozowski and not, as frequently assumed, of Lukács, who came to similar conclusions only some ten years later. -/- By placing Brzozowski within the cross-currents of the various philosophical, sociological, literary, and political streams of Western and Eastern European thought in which Marxism was situated, Professor Walicki produces a fascinating study of an early East European challenge to orthodox Marxism. (shrink)

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.

Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...) provide a cut-free HC formalization ofKt4.3, the minimal temporal logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules. Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents. (shrink)

The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...) Gentzen’s type, we have a subtype of standard SC due to Gentzen. Hence by nonstandard ones we mean all these ordinary SC where other kinds of rules are applied than those admitted in standard Gentzen’s sequent calculi. We describe briefly some of the most interesting or important nonstandard SC belonging to the three abovementioned types. (shrink)

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)

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)