Divisibility in the Stone-Čech compactification

Author(s): Boris Šobot / Language(s): English Issue: 50/2015

After defining continuous extensions of binaryrelations on the set N of natural numbers to its Stone-ˇCech ompactification βN, we establish some results about one of suchextensions. This provides us with one possible divisibility relationon βN,, and we introduce a few more, defined in a naturalway. For some of them we find equivalent conditions for divisibility.Finally, we mention a few facts about prime and irreducibleelements of (βN, ·). The motivation behind all this is to try totranslate problems in elementary number theory into βN.

Peritopological Spaces and Bisimulations

Author(s): Ahmet Hamal,Mehmet Terziler / Language(s): English Issue: 50/2015

Generalizing ordinary topological and pretopological spaces, we introduce the notion of peritopology where neighborhoods of a point need not contain that point, and some points might even have an empty neighborhood. We brie y describe various intrinsic aspects of this notion. Applied to modal logic, it gives rise to peritopological models, a generalization of topo- logical models, a spacial case of neighborhood semantics. A new cladding for bisimulation is presented. The concept of Alexandro peritopology is used in order to determine the logic of all peritopo- logical spaces, and we prove that the minimal logic K is strongly complete with respect to the class of all peritopological spaces. We also show that the classes of T0, T1 and T2-peritopological spaces are not modal denable, and that D is the logic of all proper peritopological spaces. Finally, among our conclusions, we show that the question whether T0, T1 peritopological spaces are modal denable in H(@) remains open.

On everywhere strongly logifiable algebras

Author(s): Tommaso Moraschini / Language(s): English Issue: 50/2015

We introduce the notion of an everywhere strongly logifiable algebra: a finite non-trivial algebra A such that for every F 2 P(A) r f;;Ag the logic determined by the matrix hA; Fi is a strongly algebraizable logic with equivalent algebraic semantics the variety generated by A. Then we show that everywhere strongly logifiable algebras belong to the field of universal algebra as well as to the one of logic by characterizing them as the finite non-trivial simple algebras that are constantive and generate a congruence distributive and n-permutable variety for some n > 2. This result sets everywhere strongly logifiable algebras surprisingly close to primal algebras. Nevertheless we shall provide examples everywhere strongly logifiable algebras that are not primal. Finally, some conclusion on the problem of determining whether the equivalent algebraic semantics of an algebraizable logic is a variety is obtained.

A Note on Wansing's expansion of Nelson's logic

Author(s): Hitoshi Omori / Language(s): English Issue: 51/2016

The present note corrects an error made by the au- thor in answering an open problem of axiomatizing an expansion of Nelson's logic introduced by Heinrich Wansing. It also gives a correct axiomatization that answers the problem by importing some results on subintuitionistic logics presented by Greg Restall.

Teizm a twardy inkompatybilizm

Author(s): Dariusz Łukasiewicz / Language(s): Polish Issue: 3/2017

The aim of the article is to present and to compare the view on human freedom called hard incompatibilism with the contemporary Christian doctrine on human free will. Hard incompatibilism claims that human free will understood both in a libertarian and compatibilist way does not exist. One stresses in the paper that there is a similarity between hard incompatibilism and Christian wisdom rooted in the Bible and this similarity consists in the fact that humans are deeply dependent in their existence on external conditions. Hard incompatiblism identifies that conditions simply as the external or physical world and Christian wisdom points to God as an ontological and axiological foundation of human being and prospects. However, one argues in the paper that the doctrine of human freedom and responsibility for sin and moral evil is a crucial part of the Christian theology and philosophy. Thus, the Christian doctrine is incoherent with hard incompatibilism. There is a proposal, put forth in the last part of the article, how one can reconcile metaphysical indeterminism—which is coherent with hard incompatibilism—with the libertarian doctrine on the human free will, which is coherent with the Christian view on the nature of human freedom.

Acorduri sentimentale. Instantanee filosoficești și logicești cu Ion Ungureanu

Author(s): Mihai Cimpoi / Language(s): Romanian Issue: 2/2017

Kıyas Şekillerinin Geometrik Yöntemle İrcâ‘ı

Author(s): Ekrem Sefa Gül / Language(s): Turkish Issue: 2/2017

This study suggests a method for establishing a correct syllogism which regulates principles of logic and for reduction of syllogisms to first figure. This geometric method depends on the correspondence of four figures of syllogism with four straight triangles formed by a second square drawn in a main square. The middle term is on the right angled corners of the triangles. The minor term and the minor premise of syllogism are on the vertical edge, the major term and the major premise are on the horizontal edge. The conclusion has drawn diagonally from the minor term to the major term. In this method, the syllogism can be shown quickly. In addition, the reduction of syllogisms can be done easily and accurately without requiring any knowledge other than knowing the general rules of syllogism and the two specific rules of first figure and geometrical appearance of this figure’s four valid modes. Summary: There is a distinct importance for syllogism among the types of reasoning in terms of logic which it is main goal is protect the mind from falling into the wrong during thinking. The type of syllogism that most emphasized by logicians is categorical syllogism and when mentioned the term of syllogism usually meant this. A valid categorical syllogism contains three categorical propositions. Two of them premises and one conclusion. The middle term must be distributed in at least one of the premises but cannot be distributed in conclusion.In comparison with this the categorical syllogism was expressed in four figures. These figures are; the first figure which the middle term becomes attribute in minor premise and subject in major term, the second figure which the middle term becomes attribute in both premises, the third figure which the middle term becomes subject in both premises and finally the fourth figure which the middle term becomes subject in minor premise and attribute in major term. According to quantity and quality of premises and conclusion, every figures involve another sub-figures named mods. When considered this rules there is nineteen valid syllogism mods among the sixty-four total mods. Four of this mods for first figure; four ones for second figure, six ones for third figure and five ones for fourth figure.The first figure has been regarded as the perfect figure because it is the closest match to the human mind and nature. For the control of validity, the other figures have done by reduction. The process of reduction is a method used not only to show validity of a valid syllogism but also to show the invalidity of incorrect ones. Generally accepted three ways for reduction. Converting of premises, transposing of premises and indirect reduction that also called reduction per impossible. In order to do the process of reduction, it is necessary to know the name of each mode, the meaning of the mnemonic letters on it that show how the reduction process is done. This is the case when the valid syllogism mods are reduced. However, there is neither a name and nor mnemonic letters for invalid syllogisms as like as valid ones. For this reason, although there are some methods, but no certain method guided by mnemonic letters for reduction of invalid syllogism to first figure some methods.The geometric reduction method that proposed in this article removes this difficulty and makes possible to reduction of invalid syllogisms as easily as valid ones. Geometrical representation of syllogisms is a very effective and easy method for identify the terms and premise in syllogism, understanding of invalidity in a syllogism which resulted from lacking attention to general and specific rules of syllogism. In addition, by this method the process of reduction can be done easily a correctly for demonstration of syllogism’s validity. Although there have been previous studies on the syllogism figures by venn diagrams, these are mostly confined to a geometric representation of the reasoning in syllogism. The method suggested in this article is new method offering far more opportunities than a mere demonstration for checking the syllogisms and reduction of them to first figure.This geometric method depends on the correspondence of four figures of syllogism with four straight triangles formed by a second square drawn in a main square. The middle term is on the right angled corners of the triangles. The minor term and the minor premise of syllogism are on the vertical edge, the major term and the major premise are on the horizontal edge. The conclusion has drawn diagonally from the minor term to the major term. On arrows indicating propositions, there are one notch for positive, two for universal negative, and three notches for particular negative propositions. When reduced the syllogism valid or invalid to first figure’s geometrical shape, if there is an event of a contradictory for the specific and general rules of syllogism, this can be shown automatically. For example, if the three notched arrow of geometric shape when converted, this means converting of particular-negative which cannot be done and thus can be shown invalidity of syllogism. In this method, the syllogism can be shown quickly and reduction of syllogisms can be done easily and accurately without requiring any knowledge other than knowing the general rules of syllogism and the geometrical appearance of the first figure’s four valid modes. The syllogisms in other three figures when drawn according to the first figure’s geometric shape the conversions and transpositions has done spontaneously.

Влияние современных web-технологий на развитие контентного вида мышления

Author(s): Tatyana Eduardovna Sizikova,Nadezda Alexandrovna Stunzha,Alexander Fedorovich Poveshenko,Ruben Oganesovich Agavelyan,Tatyana Viktorovna Voloshina / Language(s): Russian Issue: 6/2017

Introduction. This article explores the impact of Web 3.0 and Web 4.0 contents dominant in the information environment on modern thinking. The purpose of the article is an analytical study of the changes that occur in the thinking of Internet consumers. Materials and Methods. The research is conducted on the basis of the method of theoreti-cal analysis by adopting an activity and synergistic approaches. Results. The authors have identified the following main characteristics of Web 3.0 and Web 4.0 content: semantic structure, cooperativity, clustering, wide opportunities for consumer self-expression, self-developing basic personal content, self-correcting errors system, efficient and convenient information management, accessibility, simplicity and maximum convenience, development and use of additional features, human resource management in the current time mode, crystallization, and the availability of maximum possible security of consumers. The authors emphasize that in the present context of accelerating scientific and technological progress and the development of global information networks, qualitative changes in the thinking activity of the modern person are taking place. Content has a developing effect on consumers’ thinking and thinking itself becomes like content. The authors suggest the hypothesis that there exist a combination of two mechanisms of self-development of content thinking: the external mechanism – the self-development of content, and the internal mechanism – the reflection. Conclusions. Conclusions are drawn that the main characteristics of such thinking are the following: accumulation of many different types and styles of thinking, the leading method is synthetic deduction, increasing entropy, increasing singularity, operation within the framework of the "peace" category, expanding and tapering integrity, variability and different levels of clusters of processing and packaging of information, bringing thought to the ultimate limits of philosophical categories, multi-vector focus of reality research, and creative self-development. The limitation of content thinking is a reduction of a reflection level as a consequence of a scanning method of working with information.

What are the limits of mathematical explanation?

Author(s): Piotr Urbańczyk,David Charles McCarty / Language(s): English Issue: 60/2016

Interview with Charles McCarty by Piotr Urbańczyk

Matematyka nie opisuje świata, lecz wychodzi mu naprzeciw

Author(s): Jerzy Mioduszewski / Language(s): Polish Issue: 58/2015

In everyday experience mathematics rarely appears to us as a whole, and certainly never as a system in the sense of David Hilbert’s considerations from early 20th Century. Mathematical disciplines seem to be independent and autonomous. We do not see that specific deduction goes beyond particular convention applicable in given discipline. In the late 19th Century this view was shared by Felix Klein and Richard Dedekind. The latter’s work “What are numbers and what should they be?” (Was Was sind und was sollen die Zahlen?) was the inspiration for writing this article. This essay is an attempt to see mathematics not as a building, but as a living organism seeking its explanation.

Czy logiczna możliwość implikuje metafizyczną możliwość?

Author(s): Paweł Zięba / Language(s): Polish Issue: 55/2014

According to Chalmers, the argument from the conceivability of philosophical zombies disproves materialism in the philosophy of mind. This claim depends on the assumption that conceivability (logical possibility) entails metaphysical possibility. Such entailment is incorrect, however, because a materialist might formulate an analogous argument from the conceivability of anti-zombies. A clash between two mutually excluding logical possibilities prevents one from inferring a metaphysical possibility from any of them.

Aksjomat wyboru w pracach Wacława Sierpińskiego

Author(s): Katarzyna Lewandowska / Language(s): Polish Issue: 52/2013

This paper presents Wacław Sierpiński – the first advocate of the axiom of choice. We focus on the philosophical and mathematical topics related to the axiom of choice which were considered by Sierpiński. We analyze some of his papers to show how his results effected the debate over Zermelo’s axiom. Sierpiński’s impact on this discussion is of particular importance since he was the first who tried to explore consequences of the axiom of choice thoroughly and asserted its undoubted significance to mathematics as a whole.

Czy konceptualizm jest wystarczającą podstawą dla odrzucenia niekonstruktywnych dowodów istnienia w matematyce?

Author(s): Daniel Chlastawa / Language(s): Polish Issue: 51/2012

Non-constructive existence proofs (which prove the existence of mathematical objects of a certain kind without giving any particular examples of such objects) are rejected by constructivists, who hold a conceptualist view that mathematical objects exist only if they are constructed. In the paper it is argued that this conceptualist argument against non-constructive proofs is fallacious, because those proofs establish the existence of objects belonging to certain kinds rather than the existence of those objects per se. Moreover, to engage in proving existence theorems in a given mathematical theory one has to define all of the objects of this theory at the very beginning, which can be interpreted as establishing the existence of these objects before any theorem about them is proven. It is also argued that the constructivist may escape these objections by adopting the actualistic view, according to which a mathematical sentence is true if and only if it is established as true, but this view is very implausible, as it seems unable to explain the strictness and objectiveness of mathematics and the fact that it differs so fundamentally from, for example, fictional discourse.

Pytania i odpowiedzi. Analiza krytyczna koncepcji Kazimierza Ajdukiewicza

Author(s): Anna Brożek / Language(s): Polish Issue: 42/2008

The aim of the paper is to present critical analysis of Kazimierz Ajdukiewicz's theory of questions. Generally, the author concentrates on four elements of Ajdukiewicz's theory of questions: the structure of question, the classification of questions, the concept of presuppositions of questions and the concept of answer. Ajdukiewicz's contributions in the domain of logic of questions are unquestionable. However, there are still many 'gaps' in his conception of questions that need to be filled. He proposes some improvements to this conception. They include an explication of the concepts of 'query' and 'tenor', a classification of complementation questions by use of categorial grammar, enriching the concept of 'assumptions' by the concept of 'pragmatic assumptions', and an explication of the concept of 'answer' (in general).

Topic, logical subject and sentence structure in Hungarian

Author(s): Zsuzsanna Gécseg / Language(s): English Issue: 2/2006

This paper investigates the "discourse-configurationality" hypothesis in Hungarian, based on the current assumption that Hungarian sentence structure is largely determined by information structure. It argues for the necessity of differentiating between the notion of topic, defined on a pragmatic level with respect to possible contexts, and the notion of logical subject, defined on a decontextualized logico-semantic level. On the basis of the distinction between these two levels of sentence analysis, Hungarian should be taken as a logical subject-prominent language rather than a topic-prominent one. As for the so-called contrastive topic in Hungarian, only a subclass of contrastive topic expressions meets the topicality conditions established in this paper on a pragmatic ground, and other types of contrastive topic expressions, namely those that can hardly be differentiated from ordinary topics, display the properties of logical subjects rather than topics.

K teórii supozície Williama Ockhama

Author(s): Rastislav Nemec / Language(s): Slovak Issue: 2/2011

Ockham’s theory of supposition presents very interesting and innovative thesis in medieval logic with foundations and successors in contemporary logic/epistemology. In last decades it was object of many scientific researches and item of many academic papers. Interpretations of Ockham’s supposition has changed since three decades because of some new scientific findings and permanent discussions. This paper focus on relations between Ockham’s definition of supposition and its supposita. He distinguishes different kinds of suppositions in order to explain our language/thinking. Ockham tries to present an interesting hypothesis about relations between the world and speech, between the terms in pro- position and res.

‘On “Therefore”’ by Jin Yuelin

Author(s): Jin Yuelin / Language(s): English Issue: 2/2017

Jin Yuelin (1895–1984) is the most famous philosopher in modern China to specialize in logic. Throughout his life he published many articles in the area of philosophy of logic among which ‘On “Therefore”’, published in 1960 in Chinese, is the most famous. We are privileged to present the first English translation of it.

Myślenie pojęciowe w Heglowskiej Nauce logiki

Author(s): Pirmin Stekeler-Weithofer / Language(s): English Issue: 59/2014

Hegel’s logic is an analysis of being in the sense of all possible objects of thought and experience, of essence in the sense of all meaningful theoretical explanations of appearances or phenomena, and of the concept in the sense of our conceptual system of default differentiations and generic inferences. he contrast between general sentences expressing situation- and time-independent dispositions as default inferences and empirical truths with a situational and temporal dependent copula (was/is/will be) replaces Kant’s distinction between a priori and a posteriori judgments in the Critique of Pure Reason. Truth, reality and objectivity are not situated in a transcendent sphere behind the phenomena, but play an internal role in our trans-subjective explication and explanation of experience in the generic sense of what can be inter-subjectively recognized or reproduced.

Obrona Sokratesa przed krytyką Ajdukiewicza

Author(s): Adam Olech / Language(s): Polish Issue: 55/2010

The author of this article puts forward two aims: the main one and the collateral one. The main aim is to remind not enough known inference which is to justify the famous thesis of Socrates named “ethical intellectualism”. This thesis claims the sufficient condition to be moral good is to know what is good. That inference is mentioned in K. Ajdukiewicz’s Zarys logiki (The Outline of Logic) but it is inserted in this handbook as the example of inference which is saddled the error of equivocation. If that inference was erroneous indeed than it would fulfill the necessary condition to be the conclusive subjective convinced inference. The author formalizes the inference and he makes it in two languages: in the language of sentential calculus and in the language of predicate calculus. Afterwards he proves the obtained inference schemata are valid. The objection of Ajdukiewicz is caused by – as he claims – two meanings of expression “good” in the analyzing inference: “utilitarian good, that is useful to somebody” and “moral good”. If it really was like this, then the objection of error of equivocation (that is the objection of the formal error) would be well founded. However the extensions of conceptions: “moral good” and “useful to somebody” are – in the case of Socrates’ views–logical equivalent because when Socrates was speaking about usefulness he always meant usefulness only to the soul. The collateral aim of this article is to call in question the rightness of the name “ethical intellectualism”. In the author’s opinion, it would be more suitable to name the famous Socrates’ thesis as “ethical rationalism” because not intellect, but reason – in its phronetical function and not in its the noethical one – causes that we are able to choose what is good, and we are faithful to our choice. Such attitude is named “virtue”, in Latin – virtus, in Greek – areté.

Eksplanacija kao unifikacija i eksplanatorni pluralizam: redukcija, asimilacija ili dinamička sinteza?

Author(s): Sibila Petlevski / Language(s): Croatian Issue: 2/2017

In the first part of this paper I introduce the notion of a scientific phenomenon, defining it as any product of social dynamics that is perceived as an explanatory element in the knowledge production mechanism, and I briefly explain the thesis based on the introduction of the concept of dynamic synthesis versus the concepts of unification and transdisciplinary integration. In the second part I set up a framework for the defense of my proposal, where I deal with the topic of the unification of knowledge and more recent controversies related to it, especially considering what makes the growing unification of knowledge about nature a problematic concept. I compare, comment on and criticize the explanatory unification thesis and its claims that explanations contribute to our understanding of the world by embedding phenomena into general nomic patterns that we recognize in the world (Kitcher 1989; Schurz 1999; Bartelborth 2002), including observations made on it related to the asymmetric structure of explanations. I comment on the notions of the asymmetrical structure of explanations, and on Bayesian calculation of the epistemological "virtue" of unification (Myrvold 2004). I also tackle the interfield theory issue (Darden and Maull 1977) and compare exploratory relevance (Nathan 2017) and constitutive relevance (Kauffman 1971) commenting on Elsasser's proposal to overcome reduction by the formalization of complexity through the undifferentiated heterogeneity of logical classes (Elsasser 1981). In the third part I defend the "virtues" of modeling the dynamics of synthesizing knowledge across the boundaries of research fields and I advocate fuzzy logic in the dynamic modeling of scientific phenomena.