We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

We develop an axiomatic set theory — the Theory of Hyperfinite Sets THS— which is based on the idea of the existence of proper subclasses of large finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS, and present some applications.

Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...) of local deduction theorem, description of filter generation, and proper forms of generalized disjunctions. A special stress is put on semilinear substructural logics. Axiomatizations of the weakest semilinear logic over SL and other prominent substructural logics are provided and their completeness with respect to chains defined over the real unit interval is proved. (shrink)

Chaadayev's Philosophical Letters and Apology of a Madman unite the religious approach to history, which was later adopted by the Slavophiles, with the search for Western enlightenment, symbolized in the figure of Peter the Great. - Front flap.

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory which extends von Neumann-Godel-Bernays Set Theory by adding a unary predicate symbol St to the language of NBG means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded Set Theory by V. Kanovei (...) and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...) scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...) which they can still be used. (shrink)

According to Becker, the dispute between the intuitionistic (construction as the guarantor of mathematical existence) and the formalistic (non-contradiction as the guarantor of mathematical existence) definition should be resolved in a phenomenological perspective on the problem. The question of the legitimacy of the transfinite should also be resolved in the perspective of a phenomenological constitutive analysis. This analysis provides the key to the problematic of mathematical existence: the result of Becker’s investigations on the logic and ontology of the mathematical is (...) a solution in favour of the “genuine phenomena” of intuitionistic mathematics and the infinite. “Genuine phenomena” are those which turn out to be accessible for constitutive analysis precisely as phenomena of “pure consciousness” and even of the “concrete historical Dasein.” The final solution in favour of the “genuine phenomena” of intuitionistic mathematics and the infinite is motivated by the fact that Hilbert’s formalism does not satisfy the “chief phenomenological principle of demonstrability” (Ausweisbarkeit). (shrink)

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

The paper is devoted to Nikolay Lossky who was one of the leading Russian philosophers of the first half of the twentieth century. We demonstrate the interrelationship between three aspects of Lossky’s philosophy: realism in the theory of knowledge, hierarchical personalism, and supra-naturalistic concept of evolution. We pay attention to the contemporary relevance of Lossky, and we discuss and critique his ideas in light of those of other philosophers. Lossky acknowledges that the subject interacts with being itself and that knowledge (...) is not a shadow or copy of being. His ontology is based on intuitivism and epistemological optimism. Its main categories are God, as the super-systematic principle, and monads. In Lossky’s metaphysics, the idea of abstract ideal principles of being is quite harmoniously combined with personalism. Lossky’s ontology has strong ethical underpinnings. He considers that values are rooted in being and that the evolution of the world is directed by God towards the good. Lossky elaborates a supra-naturalistic concept of evolution. He extrapolates principles of teleological determination, which are fundamental to human existence, on the underlying levels of the world as a whole. Many trends of modern thought are in tune with Lossky’s philosophy, including a return to metaphysics, panpsychism, Platonism, and the desire to unite the religious worldview with new scientific discoveries. (shrink)

Článek souhrnně odpovídá na vybrané podněty a námitky čtyř textů, jež polemizují s některými aspekty Dvořákovy knihy Kauzalita činitele (Togga 2020). Ve vztahu k článku J. Peregrina vysvětluje, proč nelze přijmout jeho řešení antinomie mezi svobodným rozhodováním a determinismem oddělením dvou druhů jazyků či výkladových rámců. Kritiku S. Sousedíka Dvořák považuje za založenou na příliš úzkém pojetí schopnosti. Odmítá to, že by z pojmu schopnosti plynulo, že ta může být determinována pouze něčím jiným, než je její nositel. Podstatnou část námitky (...) D. Peroutky Dvořák přijímá a upřesňuje, nakolik je existence alternativních možností nutnou podmínkou svobodného charakteru rozhodování. Konečně, v polemice s V. Punčochářem se Dvořák snaží vyložit, ve kterém smyslu náhoda ruší svobodu a ve kterém nikoliv. Dále, autor nepovažuje epistemické alternativy za dostatečné pro skutečnou svobodu rozhodování. (shrink)

This article reviews recent findings indicating some common brain processes during dissociative states and dreaming with the aim to outline a perspective that neural chaotic states during dreaming can be closely related to dissociative states that may manifest in dreams scenery. These data are in agreement with various clinical findings that dissociated states can be projected into the “dream scenery” in REM sleep periods and dreams may represent their specific interactions that may uncover unusual psychological potential of creativity in psychotherapy, (...) art and scientific discoveries. (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

Between the zone of certainty beyond all doubt and the zone of incomprehensible uncertainty, the sources of which are nothing but chance, we need to use solid results from a vast interdisciplinarity. We wish to give here a sense of the factors in play and the state of the debate and advance in the territory of how interdisciplinarity may help to solve problems which are common in many areas of knowledge. Chaos and complexity certainly put limits on what we can (...) know. High complexity, asymmetry and/or non-linearity are universal types of imprecision. Can hazard have purpose and direction?The idea is that the more effort we put into project design to cover as many details and possible consequences as possible we can grasp in our in-depth analysis aiming to create the project (in art or science or society), the greater the chances that the random occurrence of the unpredictable event will settle on the project's purpose and direction and not on contrary to them. There is no vicious circle here. This kind of method can explain many good results already obtained in such circumstances. Simplicity, beauty, rationalistic optimism, are features of unshakeable scientific results We may call this feature of scientific theory or art _uniqueness. _Uniqueness is strongly correlated with _essentialization. _Science is working in that sense: to simplify a phenomenon to its essence in order to study it easily without losing anything important in the analysis. That is _essentialization. _Why and how complex systems move to the edge of chaos? And what do they do to stay there? They are in constant struggle to create or keep order in complexity. That is the pattern of self-organization, the specific feature of human nature. That is why our action is meant to build resilience to deal better with unpredictable events and prevent the emergence of a critical threshold. Uncertainty, indeterminacy, randomness, and contradictions appear, not as non-essential substances of debate to be eliminated by explanation, but as everlasting ingredients of our conception of reality. There are compelling reasons to believe that it is impossible to make accurate, nontrivial predictions concerning human behavior. Logic and reason are and remain priority, but unpredictability forces us to imagination and creative thinking. Indeed we are confronted with a new human landscape. The anomalies become the new normal. (shrink)

To begin with, can we possibly call esthetic activity a cognitive function , that is, do the products of esthetic activity possess, along with their other characteristics, a certain cognitive value?

It would be no exaggeration to say that our art is presently undergoing a revolutionary stage in its development. The revolutionary renewal that has seized all spheres of life is being ever more forcefully represented in artistic culture as well. That culture is beginning to free itself from bureaucratic regimentation, incompetent pressure from above, inflated authorities, lifeless cliches, and opportunism of the moment. Art is actively seeking its place in perestroika, and is in turn in many respects defining the moral (...) climate of perestroika. Recent works such as Fire [Pozhar] by V. Rasputin, the Sad Detective Story [Pechal'nyi detektiv] by V. Astaf'ev, The Execution Block [Plakha] by Ch. Aitmatov, the paintings of G. Korzhev and V. Sidorov, the sculpture of V. Klykov, etc., are actively working for renewal. (shrink)

Current research suggests that stressful life experiences and situations create a substantive effect in the development of the initial manifestations of psychotic disorders and may influence temporo-limbic epileptic-like activity manifesting as cognitive and affective seizure-like symptoms in non-epileptic conditions. The current study assessed trauma history, hair cortisol levels, epileptic-like manifestations and other psychopathological symptoms in 56 drug naive adult young women experiencing their initial occurrence of psychosis. Hair cortisol levels among patients experiencing their initial episode of psychosis, were significantly correlated (...) with stress symptoms measured by Trauma Symptom Checklist-40, and complex partial seizure-like symptoms measured by the Complex Partial Seizure-Like Symptoms Inventory and LSCL-33. Hair cortisol levels were not found to be significantly correlated with symptoms of anxiety and depression measured by Beck depression Inventory and Zung Anxiety Scale. These findings suggest a significant relationship between epileptic-like symptoms and stress responses demonstrated by patients in their first psychotic episode. These findings may suggest the potential for research to explore usefulness of anticonvulsant treatment in patients who do not respond to usual psychotropic medication. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying “xis true” and satisfying the “dequotation schema”for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.

The ŁΠ and logics were introduced by Godo, Esteva and Montagna. These logics extend many other known propositional and predicate logics, including the three mainly investigated ones (Gödel, product and Łukasiewicz logic). The aim of this paper is to show some advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in the ŁΠ family of logics (namely logics induced by the continuous finitely constructed t-norms and (...) Takeuti and Titani's fuzzy predicate logic). (shrink)

Procedural justifications of democracy emphasize inclusiveness and respect and by doing so come into conflict with instrumental justifications that depend on voters’ competence. This conflict raises questions about jury theorems and makes their standing in democratic theory contested. We show that a type of no-regret learning called meta-induction can help to satisfy the competence assumption without excluding voters or diverse opinion leaders on an a priori basis. Meta-induction assigns weights to opinion leaders based on their past predictive performance to determine (...) the level of their inclusion in recommendations for voters. The weighting minimizes the difference between the performance of meta-induction and the best opinion leader in hindsight. The difference represents the regret of meta-induction whose minimization ensures that the recommendations are optimal in supporting voters’ competence. Meta-induction has optimal truth-tracking properties that support voters’ competence even if it is targeted by mis/disinformation and should be considered a tool for supporting democracy in hyper-plurality. (shrink)

Krize spojená s příchodem pandemie koronaviru ukázala, že užitečné expertní vědění sice podle všeho existuje, ale ne každému, kdo se představí jako expert, bychom měli věřit. Slovy doktora House: „Všichni lžou.“ Lžou i odborníci. Kapitola se zaměřuje na situace, kdy odborník lže takříkajíc „s dobrým úmyslem,“ neboť se domnívá, že pravda by veřejnost vedla k chování, které není společensky žádoucí. V takovém případě se jedná o lhaní paternalistické, protože má ochránit veřejnost před ní samotnou. Ukážeme příklady, kdy k němu dochází, (...) a pokusíme se i odhadnout, jak dobře takový pokus o manipulaci veřejnosti funguje krátkodobě i dlouhodobě. Protože výsledky našeho rozboru nenaznačují, že by dobročinné lhaní odborníků bylo skutečně společensky prospěšné, pobavíme se také o tom, proč by se mu člověk v roli experta měl raději vyhnout. (shrink)

The present article analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal the contradictions of the current unipolar (...) world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. In the paper also explains the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World System and bring an increasing turbulence and conflict intensity. (shrink)