The authors of mediaeval treatises on the modi significandi (often entitled De modis significandi, 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 announced. Some influence of the speculative grammar one could discover in many contemporary linguistic theories like those of Noam Chomsky, Ronald Langacker, Robin Lakoff and even Ray Jackendoff. (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)
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 ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) (...) 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 ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)
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)
This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.
Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: "Is A derivable from Δ by classical propositional logic?". We develop a calculus of questions E*; a proof (called a Socratic proof) is a sequence of questions ending with a question whose affirmative answer is, in a sense, evident. The calculus is sound and complete with respect to classical propositional logic. A Socratic proof in E* can be (...) transformed into a Gentzen-style proof in some sequent calculi. Next we develop a calculus of questions E**; Socratic proofs in E** can be transformed into analytic tableaux. We show that Socratic proofs can be grounded in Inferential Erotetic Logic. After a slight modification, the analyzed systems can also be viewed as hypersequent calculi. (shrink)
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.
Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)
The studies of health care systems are conducted intensively on various levels. They are important because the systems suffer from numerous pathologies. The health care is analyzed, first of all, in economic aspects but their functionality in the framework of systems theory is studied, as well. There are also attempts to work out some general values on which health care systems should be based. Nevertheless, the aforementioned studies, however, are fragmentary ones. In this paper holistic approach to the philosophical basis (...) of health care is presented. The levels on which the problem can be considered are specified explicitly and relations between them are analyzed, as well. The philosophical basis on which the national health care systems could be based is proposed. Personalism is the basis for the proposal. First of all, the values, that are derived from the personalistic philosophy, are specified as the basic ones for health care systems. Then, general organizational and functional properties of the system are derived from the assumed values. The possibility of adaptation of solutions from other fields of social experiences are also mentioned. The existing health care systems are analyzed within the frame of the introduced proposal. (shrink)
Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)
The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.
The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.
Among issues considered in contemporary ethics, apart from concepts such as good, value and justice, there is also the concept of care, discussed extensively in feminism. The article presents and analyses this ethical concept. It shows some problems with the translation of the English word ‘care’ into the Polish equivalent ‘troska’. The focus here, however, is mainly on the way of understanding the concept of care among feminist ethicists, such as Virginia Held, Nel Noddings, Joan Tronto, Diemut Bubeck, and Sara (...) Ruddick. For all of them, care is a relation, though they differ in their account of the specificity and meaning of this relation. (shrink)
More Info: M. Filiciak, A. Tarkowski, A. Jałosińska, A. Klimczuk, M. Rynarzewski, J.M. Seweryn, G.D. Stunża, M. Wilkowski, A. Orlik, Digitalizacja dziedzictwa (Digitisation of Heritage), Fundacja Ortus, Warszawa 2010.
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.
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.
