Assent is an important ethical and legal requirement of paediatric research. Unfortunately, there are significant differences between the guidelines on the details of assent.

The claim defended in the paper is that the mechanistic account of explanation can easily embrace idealization in big-scale brain simulations, and that only causally relevant detail should be present in explanatory models. The claim is illustrated with two methodologically different models: Blue Brain, used for particular simulations of the cortical column in hybrid models, and Eliasmith’s SPAUN model that is both biologically realistic and able to explain eight different tasks. By drawing on the mechanistic theory of computational explanation, I (...) argue that large-scale simulations require that the explanandum phenomenon is identified; otherwise, the explanatory value of such explanations is difficult to establish, and testing the model empirically by comparing its behavior with the explanandum remains practically impossible. The completeness of the explanation, and hence of the explanatory value of the explanatory model, is to be assessed vis-à-vis the explanandum phenomenon, which is not to be conflated with raw observational data and may be idealized. I argue that idealizations, which include building models of a single phenomenon displayed by multi-functional mechanisms, lumping together multiple factors in a single causal variable, simplifying the causal structure of the mechanisms, and multi-model integration, are indispensable for complex systems such as brains; otherwise, the model may be as complex as the explanandum phenomenon, which would make it prone to so-called Bonini paradox. I conclude by enumerating dimensions of empirical validation of explanatory models according to new mechanism, which are given in a form of a “checklist” for a modeler. (shrink)

In the book, I argue that the mind can be explained computationally because it is itself computational—whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music. All these capacities arise from complex information-processing operations of the mind. By analyzing the state of the art in cognitive science, I develop an account of computational explanation used to explain the capacities in question.

The purpose of this paper is to present a general mechanistic framework for analyzing causal representational claims, and offer a way to distinguish genuinely representational explanations from those that invoke representations for honorific purposes. It is usually agreed that rats are capable of navigation because they maintain a cognitive map of their environment. Exactly how and why their neural states give rise to mental representations is a matter of an ongoing debate. I will show that anticipatory mechanisms involved in rats’ (...) evaluation of possible routes give rise to satisfaction conditions of contents, and this is why they are representationally relevant for explaining and predicting rats’ behavior. I argue that a naturalistic account of satisfaction conditions of contents answers the most important objections of antirepresentationalists. (shrink)

In this paper, I suggest that the notion of module explicitly defined by Peter Carruthers in The Architecture of The Mind (Carruthers 2006) is not really In use in the book. Instead, a more robust notion seems to be actually in play. The more robust notion, albeit implicitly assumed, seems to be far more useful for making claims about the modularity of mind. Otherwise, the claims would become trivial. This robust notion will be reconstructed and improved upon by putting it (...) into a more general framework of mental architecture. I defend the view that modules are the outcome of structural rather than functional decomposition and that they should be conceived as near decomposable systems. (shrink)

Author: Moskalewicz Marcin Title: AESTHETIZATION OF POLITICS ACCORDING TO HANNAH ARENDT (Estetyzacja polityki w ujęciu Hannah Arendt) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 203-220 Keywords: ARENDT, AESTHETIZATION OF POLITICS, CRITIQUE OF JUDGMENT Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The article reflects on the problem of aesthetization of politics in Hannah Arendt’s work. It starts with the reconstruction of Arendt’s concept of the human condition, with the intention of placing (...) the political within it. Then, by exploring the theatrical metaphor of political life the author attempts to show in what sense can we say that the political and the aesthetical intertwine in Arendt’s thought. The author also discusses the reproach of the aesthetization of politics and its link to fascism, arguing that paying a closer attention to the distinction between creative and performative arts may help to avoid it. In conclusion, Arendt’s reading of Kant’s Critique of Judgment serves as a basis for a more sympathetic interpretation of her aesthetization of politics, in which the gap between the moral and the aesthetical is reduced. (shrink)

This paper addresses the following question: Can one and the same utterance token, in one unique speech situation, intentionally and conventionally perform a plurality of illocutionary acts? While some of the recent literature has considered such a possibility Perspectives on pragmatics and philosophy. Springer, Cham, pp 227–244, 2013; Johnson in Synthese 196:1151–1165, 2019), I build a case for it by drawing attention to common conversational complexities unrecognized in speech acts analysis. Traditional speech act theory treats communication as: a dyadic exchange (...) between a Speaker and a Hearer who trade illocutionary acts endowed with one and only one primary force. I first challenge assumption by discussing two contexts where plural illocutionary forces are performed in dyadic discussions: dilemmatic deliberations and strategic ambiguity. Further, I challenge assumption by analyzing poly-adic discussions, where a speaker can target various participants with different illocutionary acts performed via the same utterance. Together, these analyses defend illocutionary pluralism as a significant but overlooked fact about communication. I conclude by showing how some phenomena recently analyzed in speech act theory—back-door speech acts New work on speech acts. Oxford University Press, Oxford, pp 144–164, 2018) and dog-whistles New work on speech acts. Oxford University Press, Oxford, pp 360–383, 2018)—implicitly presuppose illocutionary pluralism without recognizing it. (shrink)

The discussion around dignity in nursing philosophy has been underway for many years. The literature still lacks philosophical arguments that would justify the thesis that all people have dignity. Scholars who defend dignity as an intrinsic value most often refer to Kant. However, Kant does not seem to be the most suitable candidate to defend the thesis that all human beings possess dignity. In this paper, I attempt to show that Aristotle's and Aquinas's views can help justify this thesis. To (...) this end, I distinguish between actual dignity, potential dignity, and existential dignity. I state that all human beings have existential dignity or potential dignity. (shrink)

A pervasive aspect of human communication and sociality is argumentation: the practice of making and criticizing reasons in the context of doubt and disagreement. Argumentation underpins and shapes the decision-making, problem-solving, and conflict management which are fundamental to human relationships. However, argumentation is predominantly conceptualized as two parties arguing pro and con positions with each other in one place. This dyadic bias undermines the capacity to engage argumentation in complex communication in contemporary, digital society. This book offers an ambitious alternative (...) course of inquiry for the analysis, evaluation, and design of argumentation as polylogue: various actors arguing over many positions across multiple places. Taking up key aspects of the twentieth-century revival of argumentation as a communicative, situated practice, the polylogue framework engages a wider range of discourses, messages, interactions, technologies, and institutions necessary for adequately engaging the contemporary entanglement of argumentation and complex communication in human activities. (shrink)

In this article, after presenting the basic idea of causal accounts of implementation and the problems they are supposed to solve, I sketch the model of computation preferred by Chalmers and argue that it is too limited to do full justice to computational theories in cognitive science. I also argue that it does not suffice to replace Chalmers’ favorite model with a better abstract model of computation; it is necessary to acknowledge the causal structure of physical computers that is not (...) accommodated by the models used in computability theory. Additionally, an alternative mechanistic proposal is outlined. (shrink)

Dialectical fallacies are typically defined as breaches of the rules of a regulated discussion between two participants. What if discussions become more complex and involve multiple parties with distinct positions to argue for? Are there distinct argumentation norms of polylogues? If so, can their violations be conceptualized as polylogical fallacies? I will argue for such an approach and analyze two candidates for argumentative breaches of multi-party rationality: false dilemma and collateral straw man.

The logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing (and conversely) is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two non-normal and not (...) mutually definable operators of possible and necessary change, inspired by Aristotelian distinction of accidental and essential attributes. From we adopt the idea that temporal concepts are defined via change operators, and the idea of an expanding language. In what follows, We axiomatise our new logic and describe its semantics, giving the proof of its completeness. We compare our formalism with selected modal logics. (shrink)

In this article I address the following question: When are reformulations in argumentative criticisms reasonable and when do they become fallacious straw men? Following ideas developed in the integrated version of pragma-dialectics, I approach argumentation as an element of agonistic exchanges permeated by arguers’ strategic manoeuvring aimed at effectively defeating the opponent with reasonable means. I propose two basic context-sensitive criteria for deciding on the reasonableness of reformulations: precision of the rules for interpretation (precise vs. loose) and general expectation of (...) cooperativeness (critical vs. constructive). On the basis of analysis of examples taken from online political discussions, I argue that in some contexts, especially those that are critical and loose, what might easily be classified as a straw man following conventional treatment should be taken as a harsh, yet reasonable, strategic argumentative criticism. (shrink)

The goal of this chapter is to catalogue ways in which practical argumentation —argumentation aimed at deciding on a course of action—is produced discursively in deliberative discussions. This is a topic largely neglected in the literature on PA focused primarily on the abstract features of practical inference. I connect to this literature by arguing that the complex scheme of PA inferentially hinges on three different principles for rationally selecting means to achieve the desired goal: the means have to be either (...) the best, satisfactory or necessary in order to ground the practical inference and thus be adopted. Based on these theoretically-derived distinctions, I scrutinise the linguistic indicators of the three types of means-goal inferences of PA. As a corpus, I use a set of official European Union policy documents called Transforming Europe’s energy system released in Brussels in July 2015. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...) to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

The article presents Erwin W. Straus’ unpublished manuscript “Temporal Horizons” from 1952. In the paper, in addition to an extensive philosophical discussion with St. Augustine, Henri Bergson and Sigmund Freud, Straus elaborates on his idea of a unified view of temporal experience, comprising both the personal and the impersonal dimensions of time. The manuscript also contains an interview with a psychotic patient, which is supposed to exemplify Straus' core idea on the psychotic temporal experience, according to which the break of (...) the invisible bond between immanent or personal, and clock or impersonal time leads to a loss of a sense of reality. (shrink)

The novel "Mephisto" is one of the most well-known texts by Klaus Mann. Its fame results not only from its literary virtuosity, but also and primarily from the enormous media attention which was caused by the novel’s publication. The decision of the Federal Constitutional Court, in which it dealt with the relationship between freedom of art and other constitutionally guaranteed rights of individuals, launched the unprecedented career of this novel. This article describes Klaus Mann’s political views and their development in (...) the 1920s during the time when the National Socialist movement was strengthening and the writer made the decision to emigrate. The essay deals with the circumstances of creating the novel considering both biographical and political issues. The novelist is described from the perspective of the reality of the 1930s during the National Socialist regime and the time after his emigration. The concern of the article is not a literary analysis of the novel, but to take a look at the novelist’s development up until the moment of finishing his work as a protest against National Socialism. Another goal of the essay is to analyze the decision of the Federal Constitutional Court, which regards the balance between freedom of art and other basic rights. Considering the synergy of both methodological approaches and the interdisciplinary view on the problem, the article represents a novel attempt to give a complex view on the relationship between art and the reality of a totalitarian state and between the relationship art–state in the conditions of a democratic state. (shrink)

In this paper, I want to deal with the triviality threat to computationalism. On one hand, the controversial and vague claim that cognition involves computation is still denied. On the other, contemporary physicists and philosophers alike claim that all physical processes are indeed computational or algorithmic. This claim would justify the computationalism claim by making it utterly trivial. I will show that even if these two claims were true, computationalism would not have to be trivial.

We present a temporal logic of branching time with four primitive operators: |$\exists {\mathcal {C}}$| – it may change whether; |$\forall {\mathcal {C}} $| – it must change whether; |$\exists \Box $| – it may be endlessly unchangeable that; and |$\forall \Box $| – it must be endlessly unchangeable that. Semantically, operator |$\forall {\mathcal {C}}$| expresses a change in the logical value of the given formula in every state that may be an immediate successor of the one considered, while |$\exists (...) {\mathcal {C}}$| expresses a change in the logical value of the given formula in some state that is a possible immediate successor. |$\forall {\mathcal {C}} $| and |$\exists {\mathcal {C}}$| are not normal operators, they are not mutually definable and have unusual properties: |$\forall {\mathcal {C}} A\leftrightarrow \forall {\mathcal {C}} \neg A$| and |$\exists {\mathcal {C}} A \leftrightarrow \exists {\mathcal {C}} \neg A$| are axioms. Operators |$\exists \Box $| and |$\forall \Box $| express endless unchangeability in some and all paths, respectively. Our axiomatization contains two infinitary rules that allow one to obtain |$\exists \Box A$| from infinitely many combinations of formulas with |$A, \neg, \forall {\mathcal {C}}, \land $|⁠, and to get |$\forall \Box A$| from infinitely many combinations of formulas with |$A, \neg, \exists {\mathcal {C}}, \land $|⁠. We show that our formalism is complete by presenting a bridge between our logic and logic |$\textsf {UB}$|⁠, which is a fragment of |$\textsf {CTL}$| in which until operators does not occur. (shrink)

Pojęcie eutanazji ma w kręgu kultury europejskiej nie tylko znaczenie historyczne. Odnosząc się do historii, filozofii, medycyny, etyki czy literatury, nabrało ono także charakteru instytucjonalnego w okresie Trzeciej Rzeszy, kiedy eutanazja stała się elementem walki z najsłabszymi członkami społeczeństwa. Na przykładzie analizy kazania biskupa niemieckiego Cicmensa Augusta Grafa von Galena z 3 sierpnia 1941 r. ukazany został sprzeciw Kościoła katolickiego w Trzeciej Rzeszy w okresie tzw. Kirchenkampf. Analiza kontekstualna miała na celu ukazanie elementów charakterystycznych języka i argumentacji, którymi posługiwał się (...) Clemens August. (shrink)

Publication date: 30 November 2016 Source: Author: Marcin Böhm The Empire of Nicaea was a successor of the Byzantium shattered in 1204. In the newly established state marine traditions of Byzantines, remain alive. The best testimony to this, are the evidence contained in the chronicle of Georgios Akropolites, devoted to activities of the rulers of Nicaea, aimed to build their own naval forces. In this paper I'll also try to answer, where was beating the heart of the Nicean shipbuilding (...) industry and how large was the navy of this state. This is important from point of view of the maritime history, because of the fleet of the Empire of Nicaea, filled the gap created after the fall of Constantinople and the Byzantine Empire, which was the local naval power in previous centuries. Akropolites give us a clear and direct answer to a question, where we should search for a center of Nicaean shipbuilding industry. Georgios Akropolites suggest us, that was in two towns, Holkos and Smyrna. The above-mentioned fleet consisted of the few squadrons, each counting 5-6 ships. We can only guess that a fleet of the John III, could count about 50 warships, whose quality was worse to that belonging to the Venetians. We must say that the fleet of the Empire of Nicaea, which we see in the chronicle of Akropolites, was the force, that lent itself to the support of ground forces. And in this role worked well. The situation was different when it comes to clashing with the Venetians, with the experienced crews of their ships, who surpassed Nicaean in this matter. Even with the advantage of numbers, Nicaean was unable to overcome at the sea, the citizens of the Republic of St. Mark. The plan to build their own naval forces, which was taken by the emperors of Nicaea, was a good direction. (shrink)

In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration. The dimensions of unity are simplicity, generality and scope, non-monstrosity, and systematization. In our account, unification is a graded property. The account is used to investigate the issue of how research traditions contribute to representational unification, focusing on embodied cognition in cognitive science. Embodied cognition contributes to unification even if it fails to offer a grand unification of cognitive science. The study of this (...) failure shows that unification, contrary to what defenders of mechanistic explanation claim, is an important mechanistic virtue of research traditions. (shrink)

In this paper I shed light on the multi-purposive nature of debates in the European Parliament. As a case in point, I examine a debate on immigration in the wake of a migratory crisis in the Italian island of Lampedusa in early 2011. I analyze the points of view argued for by MEPs, aiming at identifying the different institutional goals that are typically pursued and characterizing the ways in which these goals shape the argumentative exchanges. The link between the multiple (...) goals communicators have and the discourse choices they make can be assumed on the basis of previous research. In line with the pragma-dialectical view of argumentative discourse taking place in the context of more or less institutionalized argumentative activity types, institutional goals are understood as those goals that can be attributed to arguers on the basis of the type of activity in which they are engaged. In identifying the institutional goals, I follow Craig and consider not only goals which are intentional, formal, and directly responsible for a certain discourse choice, but also goals which are functional, strategic, and only indirectly responsible for discourse choices. The analysis shows that the MEPs pursued three kinds of goals: goals that are 1) assigned to them by the occasion of the debate; 2) related to the powers of Parliament; and 3) associated with the different identities they assume in Parliament. While the pursuit of the occasion-related and powers-related goals gave rise to multiple simultaneous discussions, the pursuit of the identity-related goals guided the MEPs’ choices and formulations in these discussions. (shrink)

In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...) study of “mindreading” and debates on emotions. We claim that the current practice in cognitive (neuro)science has undergone, in effect, a silent mechanistic revolution, and has turned from initial binary oppositions and abstract proposals towards the integration of wide perspectives with the rest of the cognitive (neuro)sciences. (shrink)

In this article I scrutinise a crucial tension in understanding the debate over shale gas production in Europe. On the one hand, analyses predominantly grasp the debate in terms of pro-and-con dialectics, as if the pro-shale gas camp faced the anti-shale gas camp in a dyadic clash of opposing voices. On the other hand, it is commonly recognised that this debate is driven by multi-party and multi-position argumentative dynamics. In this broader context, I focus on one pivotal contribution to the (...) debate – Gazprom’s press release from October 2013 outlining Russia’s energy giant’s strategy of dealing with unconventional gas production. I employ concepts and methods of argumentative discourse analysis to contend that an arguer to a multi-party debate – argumentative polylogue – faces a number of constraints and opportunities that cannot be adequately grasped in terms of dyadic pro-and-con dialectics. The analysis reveals how Gazprom needs to simultaneously design its discourse to address a number of other parties who might also disagree among themselves: from Greenpeace to European Union governments to shale gas companies. I show why and how a stakeholder analysis used in organisational communication might lead to a better understanding of this form of multi-party public argumentation. (shrink)

We compared the processing of natural language quantifiers in a group of patients with schizophrenia and a healthy control group. In both groups, the difficulty of the quantifiers was consistent with computational predictions, and patients with schizophrenia took more time to solve the problems. However, they were significantly less accurate only with proportional quantifiers, like more than half. This can be explained by noting that, according to the complexity perspective, only proportional quantifiers require working memory engagement.

This article presents the works of great Polish philosopher, Mieczysław Albert Krąpiec, whose creative output can be applied to professional nursing practice. Krąpiec's philosophical heritage is extensive and encompasses many philosophical fields: metaphysics, philosophical anthropology, philosophy of law, philosophy of culture, philosophy of politics and philosophy of language. Krąpiec created an original philosophical synthesis characterized by a realistic approach. In this paper, I present only one of several original philosophical concepts developed by Krąpiec: the theory of the person based on (...) seven essential characteristics, that is the ability for cognition, love, freedom, religion, legal subjectivity, completeness and dignity. I attempt to show how these personal characteristics correspond to various patient needs. I argue that the qualitative deficit of any personal characteristics indicated by Krąpiec corresponds to a patient's real need that must be satisfied. I also stress that the skilful diagnosing of all—not only selected—qualitative deficits of characteristics can be defined as holistic care in the nursing profession. (shrink)

The development of new methods in the field of prenatal testing leads to an expansion of information that needs to be provided to expectant mothers. The aim of this research is to explore opinions and attitudes of gynecologists in Germany, Poland and Russia towards access to prenatal testing and diagnostics in these countries. Semi-structured interviews were conducted with n = 18 gynecologists in Germany, Poland and Russia. The interviews were analyzed using the methods of content analysis and thematic analysis. Visible (...) in all three countries is a connection of prenatal medicine with the politically and socially contentious issue of pregnancy termination. Respondents in Poland and Russia concentrated on the topic of inadequate resources. Quality of information for expectant mothers is an important point in all three countries. Only in Germany was the issue of language barriers in communication raised. With regard to non-invasive prenatal testing (NIPT) respondents in Germany focused on the ethical issues of routinization of testing; in Poland and Russia they concentrated on fair access to NIPT. Challenges in all three countries arise from structural factors such as imprecise and prohibitive regulations, lack of resources or organization of healthcare services. These should be addressed on a political and medico-ethical level. (shrink)

The essay critically examines the main claim of the book Religia jako idolatria [Religion as Idolatry] by Ireneusz Ziemiński, according to which religion is necessarily idolatry. The author argues that the thesis is insufficiently justified and points out several topic that require further discussion.

In this paper, I focus on a problem related to teleological theories of content namely, which notion of function makes content causally relevant? It has been claimed that some functional accounts of content make it causally irrelevant, or epiphenomenal; in which case, such notions of function could no longer act as the pillar of naturalized semantics. By looking closer at biological questions about behavior, I argue that past discussion has been oriented towards an ill-posed question. What I defend is a (...) Very Boring Hypothesis: depending on the representational phenomenon and the explanatory question, different aspects might be important, and it is difficult to say a priori which ones these might be. There are multiple facets to biological functionality and causality relevant for explaining representational phenomena, and ignoring them will lead to unmotivated simplifications. In addition, accounting for different facets of functionality helps dispense with intuition-based specifications of cognitive phenomena. (shrink)

In this chapter, I sketch the history of mechanistic models of the mental, as related to the technological project of trying to build mechanical minds, and discuss the contemporary debates on psychological and cognitive explanations. In the first section, I introduce the Cartesian notion of mechanism, which has shaped the debate in the centuries to follow. Early mechanistic proposals are also connected with early attempts to formulate the computational account of thinking and reasoning, upheld notably by Hobbes and Leibniz. In (...) the second section, associationist and behaviorist models of the mind are sketched, along with attempts to understand the neural system in terms of connections and associations. Early robotic models, built mostly by behaviorists and other students of animal behavior, are also introduced. In the third section, the focus is on early computational and cybernetic models of the mind. In the fourth section, I deal with computational models of mental mechanisms as proposed by students of artificial intelligence and cognitive science. Then, I sketch the contemporary debate over the question whether computational and psychological models are best understood as offering functional, or maybe mechanistic explanations. (shrink)

Thanks to advances in machine learning in recent years the ability of AI agents to act independently of human oversight, respond to their environment, and interact with other machines has significantly increased, and is one step closer to human-like performance. For this reason, we can observe contemporary researchers’ efforts towards modeling agency in artificial systems. In this light, the aim of this paper is to develop a dual-process approach to the problem of AI agency perception, and to discuss possible triggers (...) of various agency perceptions. The article discusses the agency attribution phenomenon, based on which the argument for the dual-process nature of agency perception is developed. Two distinct types of thinking involved in human reasoning on AI agency are suggested: Type 1 and Type 2. The first one is fast, automatic, routine, and often unconscious; the second is a slower, controlled, more conscious one. These two distinct types of processing can yield differing and sometimes conflicting results for human cognition and interaction. The preliminary philosophical findings may contribute to further investigations in philosophy of mind or cognitive psychology and could also be empirically tested in HCI and UX studies. (shrink)

We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in the existential fragment of second–order logic. Two arguments for this thesis are formulated. Firstly, we show that so–called Barwise's test of negation normality works properly only when assuming our main thesis. Secondly, we discuss the argument from practical computability for finite universes. Everyday language sentences are directly or indirectly verifiable. We show that in both cases they are bounded by second–order (...) existential properties. Moreover, there are known examples of everyday language sentences which are the most difficult in this class (NPTIME–complete). (shrink)

Even if a lattice L is not distributive, it is still possible that for particular elements x, y, z ∈ L it holds ∧z = ∨. If this is the case, we say that the triple is distributive. In this note we provide some sufficient conditions for the distributivity of a given triple.

Article enumerates memoirs and diaries written between the late 16th and the middle of the 17th century in which Russian threads occur. As the review of source texts, it acts as an introduction to research on rich and detailed image of Russia and Russians, emerged from many relics of Old Polish memoirism. Paper debriefs also a current studies related to this issue.