S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the (...) quoted paper). In this paper we present a natural version of D 2, in the sense of Jakowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus (with equality). A semantics for the new calculus is also presented. (shrink)

S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.

In [8] Jakowski defined by means of an appropriate interpretation a paraconsistent calculusD 2 . In [9] J. Kotas showed thatD 2 is equivalent to the calculusM(S5) whose theses are exactly all formulasa such thatMa is a thesis ofS5. The papers [11], [7], [3], and [4] showed that interesting paraconsistent calculi could be obtained using modal systems other thanS5 and modalities other thanM. This paper generalises the above work. LetA be an arbitrary modality (i.e. string ofM''s,L''s and negation signs). (...) Then theA-extension of a set of formulasX is {¦A X}}. Various properties ofA-extensions of normal modal systems are examined, including a problem of their axiomatizability. (shrink)

We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set such that, for any a∈O, the initial segment {b∈O:b (...) A of the form η∈O, where O is a tree, and aη labeled by η is an element in M. Such a set A is also called a tree in this paper. We study the indiscernibility of trees A in general settings and apply the obtained results to the study of unstable theories. (shrink)

Studies focusing on debate as pedagogy have been gaining attention recently. However, most research has employed policy debate, which is a traditional debate style. Parliamentary debate, which is an impromptu debate style, has been recently gaining popularity worldwide. As minimal research exists on parliamentary debate as pedagogy, the present study examined the correlations between parliamentary debate participation, communication competence, communication apprehension, argumentativeness, and willingness to communicate. Moreover, this study aimed to investigate the unique characteristics of communication variables and correlations with (...) the experience of participating in a parliamentary debate in a Japanese context, an area that interests many scholars. The results showed some differences in correlations between Japanese and United States samples, which was explained by analyzing a trait of Japanese culture that is characterized as highly contextual. Regarding the correlations between communication variables and parliamentary debate participation, significant differences were found for all variables except for communication competence, where less communication apprehension, more argument approach, less argument avoidance, and more willingness to communicate were observed compared to non-debaters. Finally, the study findings revealed that those with parliamentary debate experience obtained lower scores for communication apprehension and higher scores for argumentative approaches compared with those who did not have such experience; the effect sizes were smaller in women than men. These findings suggest that parliamentary debate participation is an effective way to foster communication variables. (shrink)

The first scientific work by John Henry Newman, Arians of the Fourth Century, should not be read simply as a patristic historiography; Newman engages with theoretical problems in this work. This essay attempts to explain the theory behind Arians with particular regard to the problematic relationship between Scripture and doctrinal expression in the Church. It will demonstrate the confluence of Newman’s thought on this point with the theological reflection of Vincent Holzer, who discusses this problem in the context of German (...) theology in the twentieth century. This article was originally published in French in Études Newmaniennes no. 29 (2013). (shrink)

Journal Name: Philologus Issue: Ahead of print.

The old-fashioned concept of state is shown to be inadequate and misleading. Replacing it by a concept of information and taking advantage of the invariance of the mechanical description under time reversal puts the problems of the interpretation of quantum mechanics in a new light. A more realistic interpretation appears to be possible. Moreover, a new explanation of the Einstein-Podolsky-Rosen paradox is presented, too.

Las jako zespół przyrody o określonych właściwościach pełni szereg wielorakich funkcji gospodar­czych, pośrednio gospodarczych i pozagospodar­czych. Jako przyrodnicza całość jest mało stabilny i ulega wielu czynnikom biotycznym, abiotycznym i antropogenicznym. Z praktyki ochrony lasu w granicach admini­stracyjnych Regionalnej Dyrekcji Lasów Państwo­wych w Olsztynie wynika, że szczególnie niebez­pieczne bywają owady - z grupy szkodników pier­wotnych - żerujące na drzewach żywych i pozornie zdrowych, a osłabionych działaniem jednego lub kil­ku czynników, zwykle abiotycznych. Pojawy nie­których zmuszają do podejmowania zabiegów ratow­niczych. Sposoby sprowadzania liczebności (...) trzech moty­li, tzn. brudnicy mniszki, strzygoni choinówki i zwójki zieloneczki, do poziomu przed laty nazywanego „żelaznym zapasem” przedstawia niniejsze opracowanie. (shrink)

We study model companions of theories extending the graph axioms. First we prove general results concerning the existence of the model companion. Then, by applying these results to the case of graphs, we give a series of companionable and non‐companionable examples.

Jerzy Franczak comprehensively presents Jacques Rancière's thought by emphasizing the relations between politics and literature. The detailed analysis considers the context of modern aesthetics and political philosophy, which is why the book introduces further protagonists, such as Louis Althusser, Michel Foucault, Pierre Bourdieu, or Jean-François Lyotard. Franczak first reconstructs Rancière's original philosophy of literature so as to then immediately apply it in readings of select world literature masterpieces by Gustav Flaubert, Max Jacob, Bertold Brecht, Vladimir Nabokov, and Philip Roth.

In the first part of the article, Giuseppe Veronese’s concept of arithmetical constructivism is reconstructed from his dispersed remarks. It is pointed out that although for Veronese time is a necessary condition for the construction of natural numbers by an individual subject and the subject cognizes time in an a priori way, it is not a (proto-)intuition of the subject. This is a fundamental difference between the concept proposed by Veronese and the constructivism of Kant and Brouwer. Veronese’s justification of (...) the subject’s ability to cognize infinity, represented in his text by infinite sequences, is analyzed in the second part of the paper. The only condition for the cognition of the infinite sequence is to have a rule according to which its successive terms “follow one another.” The price of the ability to cognize the infinitive “whole” (sequence) may be the uncognizability of certain “parts” (terms of sequence). Infinite sequences, cognizable according to Veronese, are allowed as objects of mathematical research, although they do not meet the condition of constructability. (shrink)

Henryk Chmielewski is the author of a historical comic book devoted to the 100th anniversary of Poland regaining its independence. The comic book of Chmielewski is a subjective vision of Polish history, because every act of creation is first of all an act of destruction. Artist says about very difficoult moment of Polish history (the 19th century, the early 20th century). He creates original story, argues, that the idea of Poland as an independent state was never not lost. Polish people (...) were formed armyduring the Napoleonic Wars, and Polish organisations started major uprisings (the Polish–Russian War of 1830–1831 and the January Uprising of 1863-64). Chmielewski creates an interesting picture of the world with the use of many varying forms, different codes (e.g. picture, word, photography). He use various means of expression: semantic, linguistic, compositional (see values, compotents: metannaration, digression, opposition "we" - "they", stereotype, appropriate words - freedom, Poland, Poles, relationship: fiction - real world, illusion, colloquial language). (shrink)

W publikacji autor analizuje powszechność wdrażania określonych kategorii innowacji w przedsiębiorstwach funkcjonujących w krajach Unii Europejskiej. Analizy dokonano w dwóch przekrojach: 1) państw członkowskich Unii Europejskiej, 2) przynależności sektorowej przedsiębiorstw. Podstawą dla tej analizy są wyniki badań kwestionariuszowych przeprowadzonych w kwietniu 2009 r. przez the Gallup Organization wśród 5034 przedsiębiorstw. Respondentami byli przedstawiciele zarządów tych przedsiębiorstw. Celem publikacji jest dokonanie statystycznej analizy odpowiedzi respondentów na temat powszechności wdrażania innowacji.

The object of this paper is to suggest how the Frege–Dummettian notions of criterion of identity and criterion of application can be put to work within Putnam’s account of reference for natural kind terms in “Meaning of ‘Meaning’ ”. By doing so, some light can be shed on Putnam’s earlier views on “necessity relative to a body of knowledge” as well as his later views on sortal identity. If the Frege–Dummettian criteria are indeed at work within Putnam’s account, then we (...) must either give up rigidity or else give up the division of linguistic labor hypothesis. I will give an example from biological nomenclature that may sway us towards giving up the former. (shrink)

Autor niniejszego artykułu stawia tezę, iż w _Biblii Paulistów_, w szczególności zaś w tłumaczeniu Ewangelii i Psalmów, zastosowano tylko pozornie „język współczesny”, gdyż jej tekst w wielu wypadkach zapożycza pełne frazy z _Biblii Tysiąclecia_. Powstaje w ten sposób pewna hybryda językowa, mieszająca język potoczny i już utrwalony tradycją „polski styl biblijny”. Tezę tę ilustrują liczne przykłady oparte o analizowany tekst. Kolejną poruszaną kwestią jest teoretyczna i praktyczna zasadność samego faktu sięgania po język współczesny, a w istocie po język potoczny w (...) przekładzie Pisma Świętego. Z teoretycznego punktu widzenia jest to jednoznacznie sprzeczne z tradycją wyznaczoną przez _Wulgatę _św. Hieronima, którego przekładowy język naruszał kanony łaciny cycerońskiej (a więc języka naturalnie brzmiącego dla ówczesnego wykształconego odbiorcy) w trosce o jak największą wierność wobec oryginału. Święty Hieronim zderzał łacinę ze strukturami składniowymi języka hebrajskiego, w wyniku czego powstała pewna nowa jakość, odbierana jeszcze długi czas później jako „dobroczynny zgrzyt językowy” (sformułowanie A. Bermana), prowadzący również do poszerzenia zasobów języka docelowego. Ta zasada została przyjęta w późniejszych katolickich przekładach Biblii, w tym w przekładzie ks. Jakuba Wujka, i odrzucona dopiero przez nową tradycję protestancką zainaugurowaną przez Marcina Lutra. Z praktycznego natomiast punktu widzenia wolno zadać pytanie o duszpasterską skuteczność używania takiego języka i sięganie do tradycji protestanckiej w sytuacji, gdy kościoły protestanckie Europy pustoszeją mimo propozycji „chrześcijaństwa ułatwionego”. (shrink)

El objetivo de este trabajo es poner al descubierto los principales valores cognitivos y epistemológicos desde los que Warren Weaver puso en marcha el Programa de Biología Experimental, un programa que llevado a cabo desde la presidencia de la división de ciencias naturales de la Fundación Rockefeller, marcó y condicionó en buena medida el posterior desarrollo de la investigación biológica. Para tal fin se mostrará, en primer lugar, cómo fue la llegada de Weaver a la Fundación Rockefeller, así como las (...) razones bajo las cuáles el consejo de esa institución decidió entre 1932 y 1933 dar prioridad a las investigaciones biomédicas, y la manera por la cual lo hicieron. En un segundo momento, el más extenso e importante, veremos algunos de los elementos más significativos de la perspectiva epistemológica y cognoscitiva de de Weaver. Finalizaremos viendo cómo esa perspectiva, desarrollada en conexión con el Programa de Biología Experimental, inter-actuó con la visión reduccionista de la biología a la que el programa parecía apuntar. The aim of this article is to uncover the main cognitive and epistemological values that influenced Warren Weaver in starting the Experimental Biology Program, a program carried out from the time that he became president of the Natural Sciences Division of the Rockefeller Foundation, and which significantly marked and conditioned the subsequent development of biological research. To this end, we first describe the arrival of Warren Weaver at the Rockefeller Foundation, and the reasons for which the Board of this Foundation, between 1932 and 1933, decided to prioritize biomedical research, and the manner in which they did so. Then, secondly, in the largest and most important part of the article, we will present some of the most significant elements of Weaver's epistemological and cognitive perspective. Finally, we will show how this perspective, developed in connection with the Experimental Biology Program, interacted with the reductionist view of biology to which the program seemed to point. (shrink)

καλὸν δ᾽ ἐπὶ σήματι σῆμασκέπτεσθαι, μᾶλλον δὲ δυοῖν εἰς ταὐτὸν ἰόντωνἐλπωρὴ τελέθοι, τριτάτῳ δέ κε θαρσήσειας. It is a good idea to observe one sign after another, and if two agree, it is more hopeful, while with a third you can be confident. Appropriately for a poet who is ‘subtly speaking’, the epithet applied to him by Ptolemy III Euergetes, Aratus does not cease offering unexpected material to explore. This statement holds true also for the famous passage containing the acrostic (...) ΛΕΠΤΗ. (shrink)

The term “transcendental” means something which is a necessary and a priori condition of knowledge. In other words, “the transcendental” refers to all presuppositions of a knower who is ready for knowing. These presuppositions are sometimes called “epistemic assumptions”. The paper presents author’s interpretation of the knowledge necessary conditions. The theoretical background for this interpretation is Kazimierz Twardowski’s theory of actions and products, and John Searle’s theory of human action.

Cognitive activity, which essentially consistsof the use of signs, does not only depend onthe internal (mental, or brain) processes. Thefirst part of the paper presents severalversions of the idea of the external andcultural organization of individual''s mentalprocesses. The second part of the paperconsiders a future development of cognitivescience as a science of the extended andsocially constructed mind. KazimierzTwardowski''s theory of intentionality and histheory of actions and products provide theconceptual framework of the undertaken analysis.

A theoretical analysis of the concept of lifetime and mean life of unstable elementary particles is presented. New analytic formulas for lifetime and mean life as a function of decay width Γ and the mass of unstable particle are derived for Breit-Wigner and Matthews-Salam energy distributions. It is demonstrated that, for unstable particles with a larger width or decay energy threshold, the deviation from the generally accepted mean life τ m =Γ −1 is significant. The behavior of the decay law (...) P(t) for small times is analyzed, and it is shown that the Breit-Wigner distribution violates the condition P(t = 0) = 0, whereas the Matthews-Salam distribution satisfies it. (shrink)

W studium dokonano rekonstrukcji i analizy procesu pisania dwóch opowiadań Włodzimierza Odojewskiego (1930–2016) powstałych w latach 1976–1993. Autor bada bruliony (rękopisy i maszynopisy) przechowywane w archiwum pisarza na Wydziale Filologii Polskiej i Klasycznej UAM w Poznaniu. Praca nad dokumentacją genezy opowiadań odbywa się przy pomocy narzędzi zaproponowanych przez francuskich genetyków tekstu (P-M. de Biasi, J. Bellemin Noël) i amerykańskiego badacza J. Bryanta (pojęcie płynnego tekstu /fluid text/). Analiza dotyczy wybranych skupisk zmian w brulionach utworów Odojewskiego – redakcje tytułu, początkowych akapitów, (...) a także skreślenia, poprawki, uzupełnienia. Punktem dojścia studium jest stwierdzenie, że toku długotrwałego aktu twórczego pisarz dąży do konstrukcji, które w sposób maksymalnie precyzyjny oddają niuanse stanów psychicznych bohaterów oraz scenerii akcji opowiadań. Akt twórczy w wykonaniu Odojewskiego jest przykładem niestabilności pisania, którego efektem są kreacje płynnych postaci. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)