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)

The paper gives a survey of known results related to computational devices (finite and push–down automata) recognizing monadic generalized quantifiers in finite models. Some of these results are simple reinterpretations of descriptive—feasible correspondence theorems from finite–model theory. Additionally a new result characterizing monadic quantifiers recognized by push down automata is proven.

ABSTRACT This paper gives a survey of known results related to computational devices recognising monadic generalised quantifiers infinite models. Some of these results are simple reinterpretations of descriptive-feasible correspondence theorems from finite-model theory. Additionally a new result characterizing monadic quantifiers recognized by push down automata is proven.

The problem of computational complexity of semantics for some natural language constructions – considered in [M. Mostowski, D. Wojtyniak 2004] – motivates an interest in complexity of Ramsey quantifiers in finite models. In general a sentence with a Ramsey quantifier R of the following form Rx, yH(x, y) is interpreted as ∃A(A is big relatively to the universe ∧A2 ⊆ H). In the paper cited the problem of the complexity of the Hintikka sentence is reduced to the problem of (...) computational complexity of the Ramsey quantifier for which the phrase “A is big relatively to the universe” is interpreted as containing at least one representative of each equivalence class, for some given equvalence relation. In this work we consider quantifiers Rf, for which “A is big relatively to the universe” means “card(A) > f (n), where n is the size of the universe”. Following [Blass, Gurevich 1986] we call R mighty if Rx, yH(x, y) defines N P – complete class of finite models. Similarly we say that Rf is N P –hard if the corresponding class is N P –hard. We prove the following theorems. (shrink)

We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L*∅ is of degree 0’. We show that the same holds also for some weaker logics like L ∅(Hω) and L ∅(Eω). We show that each logic of the form (...) L ∅ (k)(Q), with the number of variables restricted to k, is decidable. Nevertheless – following the argument of M. Mostowski from [Mos89] – for each reasonable set theory no concrete algorithm can provably decide L (k) (Q), for some (Q). We improve also some results related to undecidability and expressibility for logics L(H4) and L(F2) of Krynicki and M. Mostowski from [KM92]. (shrink)

We provide a computational model of semantic alignment among communicating agents constrained by social and cognitive pressures. We use our model to analyze the effects of social stratification and a local transmission bottleneck on the coordination of meaning in isolated dyads. The analysis suggests that the traditional approach to learning—understood as inferring prescribed meaning from observations—can be viewed as a special case of semantic alignment, manifesting itself in the behaviour of socially imbalanced dyads put under mild pressure of a local (...) transmission bottleneck. Other parametrizations of the model yield different long-term effects, including lack of convergence or convergence on simple meanings only. (shrink)

We consider first order modal logic C firstly defined by Carnap in “Meaning and Necessity” [1]. We prove elimination of nested modalities for this logic, which gives additionally the Skolem-Löwenheim theorem for C. We also evaluate the degree of unsolvability for C, by showing that it is exactly 0′. We compare this logic with the logics of Henkin quantifiers, Σ11 logic, and SO. We also shortly discuss properties of the logic C in finite models.

Krynicki, M. and M. Mostowski, Decidability problems in languages with Henkin quantifiers, Annals of Pure and Applied Logic 58 149–172.We consider the language L with all Henkin quantifiers Hn defined as follows: Hnx1…xny1…yn φ iff f1…fnx1. ..xn φ, ...,fn). We show that the theory of equality in L is undecidable. The proof of this result goes by interpretation of the word problem for semigroups.Henkin quantifiers are strictly related to the function quantifiers Fn defined as follows: Fnx1…xny1…yn φ iff fx1…xn (...) φ,...,f). In contrast with the first result we show that the theory of equality with all quantifiers Fn is decidable.We also consider decidability problems for other theories in languages L and L. (shrink)

The predictive processing account of action, cognition, and perception is one of the most influential approaches to unifying research in cognitive science. However, its promises of grand unification will remain unfulfilled unless the account becomes theoretically robust. In this paper, we focus on empirical commitments of PP, since they are necessary both for its theoretical status to be established and for explanations of individual phenomena to be falsifiable. First, we argue that PP is a varied research tradition, which may employ (...) various kinds of scientific representations, differing in the scope of empirical commitments they entail. Two major perspectives on PP qua cognitive theory may then be distinguished: generalized vs. hierarchical. The first one fails to provide empirical detail, and the latter constrains possible physical implementations. However, we show that even hierarchical PP is insufficiently restrictive to disallow incorrect models and may be adjusted to explain any neurocognitive phenomenon–including non-existent or impossible ones–through flexible adjustments. This renders PP a universal modeling tool with an unrestricted number of degrees of freedom. Therefore, in contrast with declarations of its proponents, it should not be understood as a unifying theoretical perspective, but as a computational framework, possibly informing further theory development in cognitive science. (shrink)

Multiple realizability (MR) is traditionally conceived of as the feature of computational systems, and has been used to argue for irreducibility of higher-level theories. I will show that there are several ways a computational system may be seen to display MR. These ways correspond to (at least) five ways one can conceive of the function of the physical computational system. However, they do not match common intuitions about MR. I show that MR is deeply interest-related, and for this reason, difficult (...) to pin down exactly. I claim that MR is of little importance for defending computationalism, and argue that it should rather appeal to organizational invariance or substrate neutrality of computation, which are much more intuitive but cannot support strong antireductionist arguments. (shrink)

This paper offers a new way to make sense of disagreement expansion from a polylogical perspective by incorporating various places in addition to players and positions into the analysis. The concepts build on prior implicit ideas about disagreement space by suggesting how to more fully account for argumentative context, and its construction, in large-scale complex controversies. As a basis for our polylogical analysis, we use a New York Times news story reporting on an oil train explosion—a significant point in the (...) broader controversy over producing oil and gas via hydraulic fracturing. (shrink)

I argue that the Stoic logic is explosive. The claim applies to the Stoics' syllogistic in the strictest sense, because there is a provable syllogism which qualifies as a principle of explosion. It applies also to the general consequence operation, in the sense that every sentence is derivable from any pair containing both a sentence and the negation of the sentence. Finally, it applies to the connective of implication (conditional), in the sense that any conditional is derivable, providing its antecedent (...) is a conjunction of a sentence and the negation of the sentence. All three claims allow weakening, i.e., additions of extra premises to an inference or extra conjuncts to the antecedent of an implication, respectively. Consequently, no concept of relevance, let alone paraconsistency or connexivity is applicable to the Stoic logic; in particular, the Stoics' connective of implication is either material (Boolean) or formal (strict). (shrink)

Analogy belongs to the class of concepts notorious for a variety of definitions generating continuing disputes about their preferred understanding. Analogy is typically defined by or at least associated with similarity, but as long as similarity remains undefined this association does not eliminate ambiguity. In this paper, analogy is considered synonymous with a slightly generalized mathematical concept of similarity which under the name of tolerance relation has been the subject of extensive studies over several decades. In this approach, analogy can (...) be mathematically formalized in terms of the sequence of binary relations of increased generality, from the identity, equivalence, tolerance, to weak tolerance relations. Each of these relations has cryptomorphic presentations relevant to the study of analogy. The formalism requires only two assumptions which are satisfied in all of the earlier attempts to formulate adequate definitions which met expectations of the intuitive use of the word analogy in general contexts. The mathematical formalism presented here permits theoretical analysis of analogy in the contrasting comparison with abstraction, showing its higher level of complexity, providing a precise methodology for its study and informing philosophical reflection. Also, arguments are presented for the legitimate expectation that better understanding of analogy can help mathematics in establishing a unified and universal concept of a structure. (shrink)

Explanations in cognitive science and computational neuroscience rely predominantly on computational modeling. Although the scientific practice is systematic, and there is little doubt about the empirical value of numerous models, the methodological account of computational explanation is not up-to-date. The current chapter offers a systematic account of computational explanation in cognitive science and computational neuroscience within a mechanistic framework. The account is illustrated with a short case study of modeling of the mirror neuron system in terms of predictive coding.

Aristocracy -- Body and family -- Gender and memory -- Wisdom and heresy -- In the holy places -- Modernities.

In the spirit of the pragmatic account of quotation and reporting offered by Macagno and Walton (2017), we outline a systematic pragmatic account of rephrasing. For this purpose, we combine two interrelated methods of inquiry into the variety of uses of rephrase as a persuasive device: (i) the annotation of rephrase types to identify locutionary and illocutionary aspects of rephrase, (ii) the crowd–sourced examination of rephrase types to investigate their perlocutionary effects. As it draws on Waltonian insights and on empirical (...) and experimental research on the (mis)use of rephrase, our approach allows us to ground a novel theoretically–informed and data–driven pragmatic account of rephrase. (shrink)

This article is devoted to the secrecy of politics in the context of sources and mechanisms of the legitimization of state power. The author formulates a thesis according to which the category of secrecy is inapplicable and inadequate beyond the form of power that is based on broad, purposive and rational legitimacy. Secret politics – which is in principle heteronomous and unjustifiable on the basis of the broadly understood idea of representation – is a technique that allows the power to (...) mediate between the subjective motivations of individuals and social groups and the objective good of a political community. This, in turn, exposes the multifaceted contradiction between real political subjectivity and autonomy and the ‘objective’ metaphysical horizon that lies at the foundations of this subjectivity. (shrink)

Optimization is about finding the best available object with respect to an objective function. Mathematics and quantitative sciences have been highly successful in formulating problems as optimization problems, and constructing clever processes that find optimal objects from sets of objects. As computers have become readily available to most people, optimization and optimized processes play a very broad role in societies. It is not obvious, however, that the optimization processes that work for mathematics and abstract objects should be readily applied to (...) complex and open social systems. In this paper we set forth a framework to understand when optimization is limited, particularly for complex and open social systems. (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)

Lipski's book on KOR can be read from one main perspective: how does opposition come about? This does not refer to opposition in general, but to opposition within totalitarian or nearly totalitarian conditions. Such conditions are interesting because they rule out social action by autonomous self-motivated subjects. Lipski answers the question directly in the chapter on “The Prehistory of KOR.” Birth is preceeded by a long process of formation of intellectuals' circles and the strengthening of social, occupational, and experiencial links, (...) e.g., the role of post-AK circles. In the footnotes one learns all about the “Neo-Pickwickists Club” founded after the war by Lipski and Manturzewski. Elsewhere in the text Lipski emphasizes “friendship.”. (shrink)

Our new journal Philosophies is devoted to the search for a synthesis of philosophical and scientific inquiry. It promotes philosophical work derived from the experience of diverse scientific disciplines. [...].

Problem uzasadnienia demokracji jest jedną z centralnych kwestii, którymi zajmują się specjaliści z zakresu teorii społecznej. Po straszliwych doświadczeniach XX wieku nie jest sprawą łatwą ani jednoznaczną wskazać, dlaczego powinniśmy bronić systemu demokratycznego. Oczywiste jest, że liberalna demokracja minimalizuje zagrożenia jednostki, ale powstaje wtedy kwestia, czy wolność jednostki powinna być centralną wartością, do której wszelkie inne wartości społeczne powinny zostać odniesione. Niniejsza książka dotyka właśnie tego węzłowego dla nowoczesności tematu. […] Autor włożył wiele wysiłku w analizę i interpretację koncepcji Deweya, (...) Habermasa i Rorty’ego. Każdy z tych myślicieli jest autorem skomplikowanych i niejednoznacznych koncepcji. Nie jest więc łatwo w jasny sposób przedstawić ich czasem niezwykle zawiły tok rozumowania. Jedną z wielkich zalet omawianej monografii jest właśnie jasna prezentacja omawianych w niej poglądów”. Prof. dr hab. Leszek Koczanowicz (Szkoła Wyższa Psychologii Społecznej) „to doskonała książka […]. Świetnie napisana, oryginalna, nowatorska, a jednocześnie przybliżająca polskiemu czytelnikowi istotne aspekty twórczości dwóch spośród najwybitniejszych i najbardziej wpływowych filozofów współczesności”. Prof. Wojciech Sadurski (Sydney University). (shrink)

Current developments in the area of neuroenhancement pose multiple ethical and societal questions. Improvements in general cognitive capacities can have important positive effects. With the use of several interventions, ranging from pharmaceutics through microsurgery to non-invasive and invasive methods, new possibilities of enhancing human abilities can be achieved. Yet, they have to be critically evaluated from the point of view of both individual and societal consequences that are involved. The aim of this paper is to address societal benefits and challenges (...) that are related to these interventions. These new developments, especially in the specific area of their military application, pose important questions with regard to safety of their use, long-term results, coercion to use them, and issues of inequality. Often, these consequences are unforeseeable at the present moment and can greatly interfere with development of both individuals and societies. Therefore, as in both areas – civilian and military – the long-term consequences are still difficult to predict, prudency is prescribed. Consequently, any use of the methods of enhancement should be under exceptional scrutiny from the ethical as well as legal and social point of view. (shrink)

Despite the continuous emphasis on globalization, we witness increasing divisions and divisiveness in all domains of human activities. One of the reasons, if not the main one, is the intellectual fragmentation of humanity, compared in the title to the failed attempt at building the Biblical Tower of Babel. The attempts to reintegrate worldview, fragmented by the specialization of education and expected to be achieved through reforms in curricula at all levels of education, were based on the assumption that the design (...) of a curriculum should focus on the wide distribution of subjects of study, as if the distribution was the goal. The key point is not the distribution of themes, but the development of skills in the integration of knowledge. The quantitative assessment of the width of knowledge by the number of disciplines is of secondary importance. We cannot expect the miracle that students without any intellectual tools developed for this purpose would perform the job of integration, which their teachers do not promote or demonstrate, and which they cannot achieve for themselves. There are many other reasons for the increasing interest in making inquiries interdisciplinary, but there is little progress in the methodology of the integration of knowledge. This paper is a study of the transition from multidisciplinarity to interdisciplinarity, and further, to transdisciplinarity, with some suggestions regarding the use of methodological tools of structuralism and the choice of a conceptual framework. (shrink)

The fall of the nineteenth century abounded in discoveries of natural laws, that is, strict and unequivocal rules of the development of life. These laws stated for example that ontogeny of individuals repeats, or recapitulates, phylogeny of the species; that big and specialized forms originate in evolution from small and unspecialized ones, while the reverse is not true; that endothermic animals are larger-sized and more compact in cool than in warm climates, and so on. Louis Dollo, a Belgian palaeontologist, proposed (...) the so-called law of irreversibility of evolution which stated that an organic structure lost in evolution cannot reappear with all the peculiarities of its design. This law seems indeed to be true but not particularly original. It was Heraclitus who first observed that one could not enter the same river twice. Dollo's law says essentially the same thing. The flow of evolutionary events combines so many processes in so many ways that past evolutionary events cannot recur exactly. “What is done, is done forever”. Time itself introduces asymmetry into the evolutionary process. (shrink)

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 use of an elaborate system of co-verbial constructions is the hallmark of the Hungarian language and one of the biggest challenges a translator or a learner of this language has to face. Co-verbial constructions consist of verbs, or their derivates, accompanied by a limited number of prefixes or particles that modify their meanings. They not only perform numerous syntactic and lexical functions, which is important in terms of language production, but also are able to change the meaning of the (...) verb completely. The aim of this study is to trace the cognitive motivation behind the use of Hungarian co-verbial constructions with össze/szét and to show that the meanings developed by these constructions can be organized with reference to prototypical scenes structured in the form of a radial category. (shrink)

Refleksja etyczna, niezależnie od jej zaangażowania w rozstrzyganie zagadnień filozoficznych czy metafizycznych, nie powinna tracić zdolności identyfikacji zła w doświadczeniu. Życzyłbym sobie, aby ta książka mogła służyć pomocą w podtrzymywaniu tej zdolności. Z Wprowadzenia.

"Filozofjo po ślōnsku, czyli heft do historje filozofje Dziadka Kika" to podróż przez dzieje filozofii światowej napisane ze śląskiej perspektywy przez doktora filozofii Marcina Kika. Tyn heft niy jest tak ruby jak niywtore buchy, ale to jest heft, w kerym wjela ciykawygo i ważnygo możno znolyź… I to żech tam znoloz dlo siebje. Ale najsamprzōd musza pedzieć, że jest to heft, w kerym dziadek szukoł som siebje i chcioł sie dowjedzieć czegoś ô sobje samym i śwjecie, w kerym –szczynśliwje lub (...) niy, jak sie to wto forszteluje – prziszło mu żyć. A napisane na niym było "Filozofjo" – prawje jak heft do jakigoś przedmjotu we szkole. Wstęp dr hab. Jacek Surzyn: "Autor przeprowadza czytelnika przez historię filozofii, opowiada ją po śląsku, pewnym siebie głosem zatrzymując go tam, gdzie trzeba na chwilę przystanąć. Jest to historia nie w sensie faktograficznym, ale historia jako proces rozwoju problematyki filozoficznej, to znaczy jest to wędrówka przez odpowiedzi na najważniejsze i podstawowe filozoficzne pytania." Strony: 257 SPIS FILOZOFÓW Presokratycy 24 Sokrates 32 Sofiści, cynicy, cyrenaicy i megarejczycy 36 Platon 41 Arystoteles 45 Sceptycyzm, stoicyzm i epikureizm 49 Plotyn 56 Aureliusz Augustyn z Hippony 59 Tomasz z Akwinu 63 William z Ockham 68 Jean Buridan 70 Mikołaj z Kuzy 72 Francis Bacon 75 Kartezjusz (René Descartes) 79 Baruch Spinoza 83 Blaise Pascal 87 Gottfried Wilhelm Leibniz 90 John Locke 94 George Berkley 98 David Hume 100 Jeremy Bentham 103 John Stuart Mill 106 Bernard de Mandeville 108 Jean Jacques Rousseau 110 Immanuel Kant 114 Arthur Schopenhauer 122 Georg Wilhelm Friedrich Hegel 126 Ludwig Feuerbach 131 Max Stirner 134 Karol Marks 136 Sigmunt Freud 143 Søren Kierkegaard 149 Friedrich Nietzche 155 Henri Bergson 162 Edmund Husserl 166 Martin Heidegger 172 Max Scheler 177 Nicolai Hartmann 181 Karl Jaspers 187 Egzystencjalizm 191 William James 198 Helmuth Plessner 202 Arnold Gehlen 206 Ludwig Wittgenstein 209 Emmanuel Mounier 213 Karol Wojtyła 217 Gabriel Marcel 221 Emmanuel Lévinas 224 Jozef Tischner 228 Jean-François Lyotard 232 Zygmunt Bauman 236 Karl Raimund Popper 239 Viktor Emil Frankl 243. (shrink)