The paper is devoted to an approach to analytic tableaux for propositional logic, but can be successfully extended to other logics. The distinguishing features of the presented approach are:(i) a precise set-theoretical description of tableau method; (ii) a notion of tableau consequence relation is defined without help of a notion of tableau, in our universe of discourse the basic notion is a branch;(iii) we define a tableau as a finite set of some chosen branches which (...) is enough to check; hence, in our approach a tableau is only a way of choosing a minimal set of closed branches;(iv) a choice of tableau can be arbitrary, it means that if one tableau starting with some set of premisses is closed in the defined sense, then every branch in the power set of the set of formulas, that starts with the same set, is closed. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ (...) for short). It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it (...) to be the case that’ and ‘individual x accepts that it is the case that’. The second part deals with ‘doxastic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of doxastic expression: ‘individual x believes that’ and ‘it is imaginable to individual x that’. Boulesic-doxastic logic investigates how these concepts are related to each other. Boulesic logic is a new kind of logic. Doxastic logic has been around for a while, but the approach to this branch of logic in this paper is new. Each system is combined with modal logic with two kinds of modal operators for historical and absolute necessity and predicate logic with necessary identity and ‘possibilist’ quantifiers. I use a kind of possible world semantics to describe the systems semantically. I also sketch out how our basic language can be extended with propositional quantifiers. All the systems developed in this paper are new. (shrink)

We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of (...) completeness for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)

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)

We meta-analytically investigated relations between the four-branch model of ability emotional intelligence (EI) with fluid (Gf) and crystallized intelligence (Gc; 352 effect sizes; ntotal = 15,333). We found that for each branch, the strength of relations with Gf and Gc were equivalent. Understanding emotions has the strongest relation with Gf/Gc combined (ρ =.43, k = 81, n = 11,524), relative to facilitating thought using emotion (ρ =.19, k = 51, n = 7,254), managing emotions (ρ =.20, (...) k = 74, n = 11,359), and perceiving emotion (ρ =.20, k = 79, n = 9,636); for the latter, relations were also moderated by stimulus type. We conclude with implications and recommendations for the study of ability EI. (shrink)

The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and (...) the proof-theoretical apparatus of semantic tableaux. The ‘quantified part’ of the systems includes relational predicates and the identity symbol. The quantifiers are, in effect, a kind of possibilist quantifiers that vary over every object in the domain. The tableaux rules are classical. The alethic part contains two types of modal operators for absolute and historical necessity and possibility. According to ‘boulesic logic’ (the logic of the will), ‘willing’ (‘consenting’, ‘rejecting’, ‘indifference’ and ‘non-indifference’) is a kind of modal operator. Doxastic logic is the logic of beliefs; it treats ‘believing’ (and ‘conceiving’) as a kind of modal operator. I will explore some possible relationships between these different parts, and investigate some principles that include more than one type of logical expression. I will show that every tableau system in the paper is sound and complete with respect to its semantics. Finally, I consider an example of a valid argument and an example of an invalid sentence. I show how one can use semantic tableaux to establish validity and invalidity and read off countermodels. These examples illustrate the philosophical usefulness of the systems that are introduced in this paper. (shrink)

In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ‘consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branching worlds’ and ‘parallel worlds’ interpretations; the metaphysics of EQM is in this sense underdetermined by the physics. A prominent argument due to Lewis (...) (On the Plurality of Worlds, 1986 ) supports the non-branching interpretation. Belnap et al. (Facing the Future: Agents and Choices in Our Indeterministic World, 2001 ) refer to Lewis’ argument as the ‘Assertion problem’, and propose a pragmatic response to it. I argue that their response is unattractively ad hoc and complex, and that it prevents an Everettian who adopts branching-time semantics from making clear sense of objective probability. The upshot is that Everettians are better off without branching-time semantics. I conclude by discussing and rejecting an alternative possible motivation for branching time. (shrink)

We introduce a family of tableau calculi for deontic action logics based on finite boolean algebras, these logics provide deontic operators which are applied to a finite number of actions ; furthermore, in these formalisms, actions can be combined by means of boolean operators, this provides an expressive algebra of actions. We define a tableau calculus for the basic logic and then we extend this calculus to cope with extant variations of this formalism; we prove the (...) soundness and completeness of these proof systems. In addition, we investigate the computational complexity of the satisfiability problem for DAL and its extensions; we show this problem is NP-complete when the number of actions considered is fixed, and it is \-Hard when the number of actions is taken as an extra parameter. The tableau systems introduced here can be implemented in PSPACE, this seems reasonable taking into consideration the computational complexity of the logics. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

We define a tableau calculus for the logic of only knowing and knowing at most ON, which is an extension of Levesque's logic of only knowing O. The method is based on the possible-world semantics of the logic ON, and can be considered as an extension of known tableau calculi for modal logic K45. From the technical viewpoint, the main features of such an extension are the explicit representation of "unreachable" worlds in the tableau, and an additional (...) branch closure condition implementing the property that each world must be either reachable or unreachable. The calculus allows for establishing the computational complexity of reasoning about only knowing and knowing at most. Moreover, we prove that the method matches the worst-case complexity lower bound of the satisfiability problem for both ON and O. With respect to [22], in which the tableau calculus was originally presented, in this paper we both provide a formal proof of soundness and completeness of the calculus, and prove the complexity results for the logic ON. (shrink)

To analyse contingent propositions, this paper investigates how branching time structures can be combined with probability theory. In particular, it considers assigning infinitesimal probabilities—available in non-Archimedean probability theory—to individual histories. This allows us to introduce the concept of ‘remote possibility’ as a new modal notion between ‘impossibility’ and ‘appreciable possibility’. The proposal is illustrated by applying it to a future contingent and a historical counterfactual concerning an infinite sequence of coin tosses. The latter is a toy model that (...) is used to illustrate the applicability of the proposal to more realistic physical models. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We (...) then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Next SectionWe discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.

Combining quantum mechanics with special relativity requires (i) that a spacetime representation of quantum states be found; (ii) that such states, represented as extended along equal-time hyperplanes, be invariant when transformed from one frame to another; and (iii) that collapses of states be instantaneous in every frame. These requirements are met using branching spacetime, in which probabilities of outcomes are represented by the numerical proportions of branches on which the outcomes occur. Quantum states of systems are then identified (...) with the probability values, built into spacetime along spacelike hypersurfaces, of all possible outcomes of all possible tests to which the systems can be subjected. (shrink)

We discuss the thesis formulated by Hintikka that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.

In an earlier paper by the author, Åqvist , I presented an approach to the logic of historical necessity, or inevitability, in the sense of a “two-dimensional” combination of tense and modal logic for worlds, or histories, with the same time order, known as T × W logic. Distinctive features of that approach were, apart from its two-dimensionality, its being based on discrete and finite time, and its use of so-called systematic frame constants in order to enable us to (...) indicate longitudes and latitudes of any points in the co-ordinate systems under consideration. This led us to study and axiomatize an infinite hierarchy HTWxy of two-dimensional modal tense logics with the characteristic operators for historical necessity and possibility added to the original basic vocabulary. The main purpose of the present paper is then twofold: to extend the logics HTWxy to the interesting branch of philosophical logic constituted by deontic logic as combined with tense logic; and to deal with a curious puzzle known as the so-called epistemic obligation paradox – a well known stumbling-block in this area of research in philosophical logic. We argue for a solution to both these problems, which appeals to a new infinite hierarchy DHTWxym of extensions of the HTWxy in the sense of logics combining dyadic deontic modalities with temporal ones such as those for historical necessity and other two-dimensional modalities. (shrink)

In An Introduction to Non-Classical Logic: From If to Is Graham Priest presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest's rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest's rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest's branching universal and particular instantiation rules in (...) Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest is grappling with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest. (shrink)

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there (...) is a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

The reconstruction of bacterial evolutionary relationships has proven to be a daunting task because variable mutation rates and horizontal gene transfer (HGT) among species can cause grave incongruities between phylogenetic trees based on single genes. Recently, a highly robust phylogenetic tree was constructed for 13 γ‐proteobacteria using the combined alignments of 205 conserved orthologous proteins.1 Only two proteins had incongruent tree topologies, which were attributed to HGT between Pseudomonas species and Vibrio cholerae or enterics. While the evolutionary relationships among (...) these species appears to be resolved, further analysis suggests that HGT events with other bacterial partners likely occurred; this alters the implicit assumption of γ‐proteobacteria monophyly. Thus, any thorough reconstruction of bacterial evolution must not only choose a suitable set of molecular markers but also strive to reduce potential bias in the selection of species. BioEssays 26:463–468, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

Topological developmental models with local (position of internodes) and global (branch lengths) characteristics are proposed to investigate the relationships between fundamental branching patterns of plants such as acrotony, mesotony, and basitony, including the coincidence of different patterns on the same plant. Modification of the basic acrotony during the development by means of, (1) the final expected main axis length results in either basitony or an extension of acrotony over a shortened main axis, (2) the final expected lateral branch length (...) yields either lateral unlimited sympodial branching or the absence of proximal branches. Combinations of these schemes can have variable quantitative expressions on main and lateral axes.As applications, progressive morphological changes introduced by monotonic variations of parameter values give an insight into the relationships between determinate and indeterminate growth, using Lycopersicon as an example. - A theoretical framework is proposed as a possible aid for formalizing plant typology. (shrink)

Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some (...) reasoning tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. In this way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question. (shrink)

The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly (...) class='Hi'>with fuzzy DLs with GCIs have recently been shown to be incorrect. In this paper, we concentrate on fuzzy \, the fuzzy extension of the well-known DL \. We present a terminating, sound, and complete tableau algorithm for fuzzy \ with arbitrary continuous t-norms. Unfortunately, in the presence of GCIs, this algorithm does not yield a decision procedure for consistency of fuzzy \ ontologies since it uses as a sub-procedure a solvability test for a finitely represented, but possibly infinite, system of inequations over the real interval [0,1], which are built using the t-norm. In general, it is not clear whether this solvability problem is decidable for such infinite systems of inequations. This may depend on the specific t-norm used. In fact, we also show in this paper that consistency of fuzzy \ ontologies with GCIs is undecidable for the product t-norm. This implies, of course, that for the infinite systems of inequations produced by the tableau algorithm for fuzzy \ with product t-norm, solvability is in general undecidable. We also give a brief overview of recently obtained decidability results for fuzzy \ w.r.t. other t-norms. (shrink)

The article is devoted to the formation of linguistic, communicative and cultural competence among students bilinguals in teaching Russian language and speech culture. The authors put forward the thesis that the training of specialists in the conditions of bilingualism re quires not only a higher level of learning a second language, but also a qualitatively different level of comprehension. It is proved that the discipline ‘Russian and the culture of speech‘ assumes formation of communicative and culturological competence of the higher (...) education institutions, which are trained on two-profile offices taking into account a regional component. Relevance of research in this area is increasing each year since the treatment of the person as the center of all systems of cognition highlights in the pedagogical University the formation of the modern language personality, capable of effective professional activity. The functional approach provides detection of features of functioning of language units in different spheres of public work. The communicative principle means that acquisition of Russian as a means of communication happens in the course of speech practice most approached to process of communication in Russian. The detection of similarity and distinctions between languages, interlingual comparison promotes establishment and a lexical interference. The linguistic-cultural principle provides understanding of language as the phenomena of culture and is connected with ability to define national-cultural components of linguistic units - words, phraseological combinations, grammatical categories of the text. Involvement of regional component as a basis in practice of teaching Russian and culture of speech increases efficiency of all process of training of students of national branch. (shrink)

Scientific research is subject to a number of regulations which impose incidental (time, place), rather than substantive (type of research), restrictions on scientific research and the knowledge created through such research. In recent years, however, the premise that scientific research and knowledge should be free from substantive regulation has increasingly been called into question. Some have suggested that the law should be used as a tool to substantively restrict research which is dual-use in nature or which raises moral objections. There (...) are, however, some problems with using law to restrict or prohibit certain types of scientific research, including (i) the inherent imprecision of law for regulating complex and rapidly evolving scientific research; (ii) the difficulties of enforcing legal restrictions on an activity that is international in scope; (iii) the limited predictability of the consequences of restricting specific branches of scientific research; (iv) inertia in the legislative process; and (v) the susceptibility of legislators and regulators to inappropriate factors and influence. Rather than using law to restrict scientific research, it may be more appropriate and effective to use a combination of non-traditional legal tools including norms, codes of conduct, restrictions on publication, and scientist-developed voluntary standards to regulate problematic scientific research. (shrink)

Virtual reality provides an immersive 360-degree viewing experience and has been widely used in many areas. However, the transmission of panoramic video usually places a large demand on bandwidth; thus, it is difficult to ensure a reliable quality of experience under a limited bandwidth. In this paper, we propose a field-of-view prediction methodology based on limited FoV feedback that can fuse the heat map and FoV information to generate a user view. The former is obtained through saliency detection, while the (...) latter is extracted from some user perspectives randomly, and it contains the FoV information of all users. Then, we design a QoE-driven panoramic video streaming system with a client/server architecture, in which the server performs rate adaptation based on the bandwidth and the predicted FoV. We then formulate it as a nonlinear integer programming problem and propose an optimal algorithm that combines the Karush–Kuhn–Tucker conditions with the branch-and-bound method to solve this problem. Finally, we evaluate our system in a simulation environment, and the results show that the system performs better than the baseline. (shrink)

This paper will introduce and explore a set of quantified counterfactual temporal alethic-deontic systems, that is, systems that combine counterfactual temporal alethic-deontic logic with predicate logic. I will consider three types of systems: constant, variable and constant and variable domain systems. Every system can be combined with either necessary or contingent identity. All logics are described both semantically and proof theoretically. I use a kind of possible world semantics, inspired by the so-called T x W semantics, to (...) characterise them semantically and semantic tableaux to characterise them proof theoretically. Our models contain several different accessibility relations and a similarity relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of these. (shrink)

On the ground of Kant’s reformulation of the principle of con- tradiction, a non-classical logic KC and its extension KC+ are constructed. In KC and KC+, \neg(\phi \wedge \neg\phi),  \phi \rightarrow (\neg\phi \rightarrow \phi), and  \phi \vee \neg\phi are not valid due to specific changes in the meaning of connectives and quantifiers, although there is the explosion of derivable consequences from {\phi, ¬\phi} (the deduc- tion theorem lacking). KC and KC+ are interpreted as fragments of an S5-based first-order (...) modal logic M. The quantification in M is combined with a “subject abstraction” device, which excepts predicate letters from the scope of modal operators. Derivability is defined by an appropriate labelled tableau system rules. Informally, KC is mainly ontologically motivated (in contrast, for example, to Jaśkowski’s discussive logic), relativizing state of affairs with respect to conditions such as time. (shrink)

A wide Aronszajn tree is a tree of size and height $\omega _{1}$ with no uncountable branches. We prove that under $MA$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under $MA$, every wide Aronszajn tree weakly embeds in an Aronszajn tree, which combined with a result of Todorčević from 2007, gives that under $MA$ every wide Aronszajn (...) tree embeds into a Lipschitz tree or a coherent tree. We also prove that under $MA$ there is no wide Aronszajn tree which weakly embeds all Aronszajn trees, improving the result in the first paragraph as well as a result of Todorčević from 2007 who proved that under $MA$ there are no universal Aronszajn trees. (shrink)

This article focuses on the trajectory of life of the three generations of the Jankowski family in Siberia, Primorski Krai and Korea in the years 1863– 1945 in terms of their economic, cultural and scientific achievements. The founder of the Far Eastern branch of the family was Michał Jankowski. Exiled to Siberia for participation in the January Uprising of 1863, as a man of indefatigable energy and collaborator of Benedykt Dybowski, he undertook many initiatives, including hunting, wild ginseng collecting and (...) a gold mining administration. In 1880 he settled on the Sidiemi Peninsula near Vladivostok, where he established a farm specializing in horse breeding and ginseng gardening. In addition to farming, he conducted natural history and archaeological research and sent the acquired specimens and artifacts to Russian and European museums. The tradition of his father was continued in the second generation by Jerzy Mikhailovich Jankowski. Endowed with similar character and talent, he studied agriculture and husbandry in Texas and at the agricultural faculty of St. Louis University in Missouri. He expanded the farm to include commercial fishing and rice cultivation. The occupation of the Far East by the Red Army in 1922 forced the family to emigrate to Korea and Manchuria. The new family seat called Novina was built on the Ompo River near the town of Ch’ŏngjin, about 200 kilometers south along the Korean coastline from the mouth of the Tuman River. It was not only a modern farm with specialized animal husbandry and fruit farming, but was also a recreational, cultural, and spiritual enclave, with a school for children, a summer theater, an Orthodox church, and a resort for holidaymakers. The third and the most famous representative of the family was Walery Jurewicz Jankowski. In 1945, he joined the Soviet Army, where, due to his knowledge of Korean and Japanese, he served as an interpreter for the military intelligence at the headquarters of the 25th Army in P’yŏngyang. At the beginning of 1946, both Walery and his fathers were arrested and sent to the labor camps. The family was scattered around the world, from Australia to the North and Latin Americas and the farm was nationalized. The Jankowsky family achieved spectacular success in the Russian Far East and in Korea because they were able to apply the traditional Polish gentry ethos based on the extended structure of family and servants, which they were able to combine with a chivalrous fortitude and openness to hard life in the frontiers populated by various ethnic groups. (shrink)

Attention-deficit/hyperactivity disorder (ADHD) is currently defined as a cognitive/behavioral developmental disorder where all clinical criteria are behavioral. Inattentiveness, overactivity, and impulsiveness are presently regarded as the main clinical symptoms. The dynamic developmental behavioral theory is based on the hypothesis that altered dopaminergic function plays a pivotal role by failing to modulate nondopaminergic (primarily glutamate and GABA) signal transmission appropriately. A hypofunctioning mesolimbic dopamine branch produces altered reinforcement of behavior and deficient extinction of previously reinforced behavior. This gives rise to delay (...) aversion, development of hyperactivity in novel situations, impulsiveness, deficient sustained attention, increased behavioral variability, and failure to “inhibit” responses (“disinhibition”). A hypofunctioning mesocortical dopamine branch will cause attention response deficiencies (deficient orienting responses, impaired saccadic eye movements, and poorer attention responses toward a target) and poor behavioral planning (poor executive functions). A hypofunctioning nigrostriatal dopamine branch will cause impaired modulation of motor functions and deficient nondeclarative habit learning and memory. These impairments will give rise to apparent developmental delay, clumsiness, neurological “soft signs,” and a “failure to inhibit” responses when quick reactions are required. Hypofunctioning dopamine branches represent the main individual predispositions in the present theory. The theory predicts that behavior and symptoms in ADHD result from the interplay between individual predispositions and the surroundings. The exact ADHD symptoms at a particular time in life will vary and be influenced by factors having positive or negative effects on symptom development. Altered or deficient learning and motor functions will produce special needs for optimal parenting and societal styles. Medication will to some degree normalize the underlying dopamine dysfunction and reduce the special needs of these children. The theory describes how individual predispositions interact with these conditions to produce behavioral, emotional, and cognitive effects that can turn into relatively stable behavioral patterns. Key Words: catecholamine; clumsiness; dopamine; hyperkinesis; hyperkinetic disorder; impulsivity; monoamine; neuromodulator; overactivity; pollutants; reinforcement; reward; verbally governed behavior; soft signs; variability. (shrink)

In this paper we study automated reasoning in the modal logic CPDLreg which is a combination of CPDL (Propositional Dynamic Logic with Converse) and REGc (Regular Grammar Logic with Converse). The logic CPDL is widely used in many areas, including program verification, theory of action and change, and knowledge representation. On the other hand, the logic REGc is applicable in reasoning about epistemic states and ontologies (via Description Logics). The modal logic CPDLreg can serve as a technical foundation (...) for reasoning about agency. Even very rich multi-agent logics can be embedded into CPDLreg via a suitable translation. Therefore, CPDLreg can serve as a test bed to implement and possibly verify new ideas without providing specific automated reasoning techniques for the logic in question. This process can to a large extent be automated. The idea of embedding various logics into CPDLreg is illustrated on a rather advanced logic TEAMLOGK designed to specify teamwork in multi-agent systems. Apart from defining informational and motivational attitudes of groups of agents, TEAMLOGK allows for grading agents' beliefs, goals and intentions. The current paper is a companion to our paper (Dunin-Kęplicz et al., 2010a). The main contribution are proofs of soundness and completeness of the tableau calculus for CPDLreg provided in (Dunin-Kęplicz et al., 2010a). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:ST. THOMAS ON ANGELIC TIME AND MOTION J. J. MACINTOSH University ofCalgary Calgary, Alberta, Canada A. THOMAS'S STANDARD DOCTRINE: THE NEED FOR ASINGLE TIME. T HERE IS an under-discussed problem about time for St. Thomas. Most discussions of his views on time center around either the question of God's foreknowledge or around the notions of eternity and aeviternity. Even those discussions which deal directly with Thomas's views on (...) time ignore the issue I wish to discuss here.' The problem is this: St. Thomas held both that there is a single time, created by God, and that there are three distinct times: two for the angels, and one for the rest of creation. Moreover, he seems, fairly explicitly, to have been unwilling to adopt either of the obvious ways out of this apparent contradiction. Thomas believed, and often said, that time is unitary, and typically offered an Aristotelian reason for the claim: "the true reason why time is one, is to be found in the oneness of the first movement by which, since it is most simple, all other movements are measured. Therefore time is referred to that movement, not only as a measure is to the thing measured, but also as accident 1 See, for example, Piero Ariotti, "Celestial reductionism of time: on the scholastic conception of time from Albert the great and Thomas Aquinas to the end of the 16th century," Studia Internationale Filosofia 4 (1972): 91-120, and Antonio Moreno, "Time and Relativity: Some Philosophical Considerations," The Thomist 45 (1981): 62-79. I have referred to this problem earlier in "Time and St. Thomas" (in To Myselffrom Others, ed. David Miller [Warwick: University of Warwick, 1989)), and in "Aquinas, Ockham, and Prior (and the unexpected examination),'' Auckland Philosophy Papers, no. 1 (1990). 547 548 J. J. MACINTOSH is to subject; and thus receives unity from it."2 Moreover, such a doctrine is necessary if what he tells us about the foreknowledge of God, and God's inability to change the past,3 not to mention his views on the knowledge that angels and demons have of what is genuinely future, is to be correct. Briefly, those views commit him to a view of a single time that is linear past, and is nonbranching future as well.4 There is some exegetical question as to whether or not his views on time, contingency, and freedom led him to adopt a truth-gap account of genuinely future tense contingent propositions, but that the singleness of time is required has not been questioned.5 This is not the place to deal with the difficulties Aquinas faced concerning God's foreknowledge, but a brief introductory word is in order to show how central the singleness of time is for his thought in this area. Since all past- and present-tense truths have necessity per accidens (that is, they concern matters which are now irrevocable), the class of contingent truths is a proper subset of genuinely future-tense claims. A proper subset because 2 Summa Theologiae, I, q. 10, a. 6 c (hereafter cited as sn; English translation by the Fathers of the English Dominican Province, 5 vols., (1920; reprint, Westminster, Maryland: Christian Classics, 1981). This is the translation I have standardly used, sometimes with slight changes, but I have also made use of the translation by the Blackfriars (61 vols. [London: Blackfriars, in conjunction with Eyre and Spottiswood, 1964-81], hereafter cited as Blackfriars). 3 Thus, for example, "God can make the existence of an angel not future; but He cannot cause him not to be while he is, or not to have been, after he has been" (ST I, q. 10, a. 5, ad 3). 4 By contrast, Ockham, for example, adopted an implicit tense logic with branching future possibilities. As far as I know, no mediaeval thinker allowed branching pasts. For a discussion of that possibility, see John Mackie, Truth, Probability and Paradox: Studies in Philosophical Logic (Oxford: Clarendon Press, 1973). For a helpful general discussion of the issues involved, see R. Thomason, "Combinations of Tense and Modality," in D. Gabbay and D. Guenthner, eds., Handbook of Philosophical Logic, 3 vols. (Dordrecht: D. Reidel, 1984), 2... (shrink)

The volume starts with the paper of Lynn Maurice Ferguson Arnold, former Premier of South Australia and former Minister of Education of Australia, concerning the Exposition Internationale des Arts et Techniques dans la Vie Moderne (International Exposition of Art and Technology in Modern Life) that was held from 25 May to 25 November 1937 in Paris, France. The organization of the world exhibition had placed the Nazi German and the Soviet pavilions directly across from each other. Many papers are (...) devoted to the interpretation of this opposition. Arnold’s paper considers the differences in the two totalitarian states’ architectural and design discourse styles. Although each of them communicated a totalitarian language of purposes, permissions, and boundaries, they essentially differed in the styles of discourse represented by the architecture and design of their respective pavilions. They were opposites of each other and the liberal ideals they contested. The internationalist viewpoint reflecting the multi-ethnic mix of the USSR is contrasted to the ein Volk homogeneity represented in the German pavilion. The Soviet pavilion opted for a utopian future to be arrived at by “benign” leadership, whereas the German pavilion anchored itself in the myth of Teutonic history with the nostalgic pride protected by the swastika-bearing eagle. Jean-Yves Béziau is best known as a logician and founder of Universal Logic. However, in this paper, he poses a new philosophical question: why philosophical discourse does not use images? The paper begins with a general analysis of different types of philosophical discourses. Then, he focuses on why images have been and are still rejected in philosophical discourse. He explains various ways to use images in a fruitful way to develop philosophical thinking and discourse and illustrates his view by providing several examples. He concludes with a promising programmatic declaration about founding a new journal entitled World Journal of Pictorial Philosophy to stimulate the usage of images for developing philosophical thinking. Although complaints about the obscurity of many philosophers’ discourse are widespread, Tatiana Denisova, ex-professor of the Surgut University and a research associate of the University of the Aegean undertakes a positive attitude to this problem. She explains that the reasons for the obscurity of philosophical texts, the subsequent complexity in communicating philosophers’ meanings and their eventual incomplete understanding is not a sign of their inferiority. On the contrary, it is a sign of the fruitfulness of philosophical discourse, which can generate new meanings. Thus, the darkness of philosophical discourse is like the life-giving chaos, and the obscurity that it inevitably contains can be the keeper of implicit meanings and even their generator. Katarzyna Gan-Krzywoszyńska and Piotr Leśniewski, authors of a monograph on Polish philosopher Kazimierz Ajdukiewicz (1890 – 1963), make a comparative analysis of his educational style with that of Paulo Reglus Neves Freire (1921 – 1997). The authors highlight that these scholars have distinctly different backgrounds. The former was an educator, philosopher and a leading advocate of critical pedagogy connected with the dialogical Latin-American tradition. The latter was a philosopher and logician, a notable representative of the Lwów–Warsaw school of logic with significant contributions to semantics, model theory and the philosophy of science. Despite their apparent difference, the authors identify some striking similarities regarding their attitudes towards education; notably, their approaches are essentially dialogical. Gilah Yelin Hirsch is a multidisciplinary artist who works as a painter, writer, curator, educator, and filmmaker. In her experiential paper, he explains how and why she uses four channels of communication in her creative expression: writing, painting, filmmaking, and teaching, as dialogic inquiry. She considers that these channels compose a continuum of discourse styles, each reaching a different facet of kaleidoscopic consciousness. She claims that her choice of medium is prompted by a need to communicate her insights profoundly. Thus, for instance, she created painted allegories to express narratives based on dreams and visions emerging from her subconscious. Art and healing is another Tibetan-rooted type of discourse practised by the author. Creating and observing a healing image produces a positive psychophysiological change in both the artist and the viewer. The discourse here is tripartite between creator, image, and viewer. Filmmaking is another type of discourse she practices between the filmmaker/artist as shaman or healer and the viewer as respondent or participant. These films are meant to be experienced frame by frame, physically and emotionally in both the body and mind. Jocelyn Ireson-Paine is a cartoonist and programmer. His paper offers an original attempt to use category theory in cartooning. Category theory is a branch of mathematics that provides concepts and methods to describe general abstract structures in terms of a labelled directed graph called category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms or transformations or mappings). The author explores different ways to define “style” in art using category theory and a relational view of art. Moreover, he examines how “translation” (transformation) between styles could be defined and reveals the difficulties of how it could be implemented in a computer using special software. Jens Lemanski is a philosopher who has revived research in Arthur Schopenhauer’s legacy by exploring his work on mathematical evidence, logic diagrams, and problems of semantics. In this paper, he advances a new approach to eristic as an art of protecting oneself from the one who deliberately violates norms of discourse ethics to win an argument. The author attributes the origins of this view to Schopenhauer, suggesting a new reading of his work. According to the author, eristic is a prohibitive technique that takes effect when the norms of discourse ethics are transgressed and violated. Thus, eristic is viewed as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Roshdi Rashed is an authority on the history of Arabic mathematical sciences. Proceeding from Gilles-Gaston Granger’s definition of mathematical style, he studies the question of whether a mathematical work can be characterized by a single style or by a multitude of styles. This question is explored within the style of a single work, namely Menelaus’s Sphaerica, and through the study of the development of a single problem over time, namely the isoperimetric problem. He indicates Menelaus’s divergence from the Euclidean style of (plane and stereometric) geometry caused by the drop of the Parallel Postulate, which associated it with hyperbolic geometry. Hence, the author concludes that Menelaus’s Sphaerica incorporates the well-known Euclidean style with a variation of the non-Euclidean one. On the other hand, examining the isoperimetric problem reveals another interesting historical picture. A succession of different styles (cosmological, geometric, infinitesimalistic, style of the calculus of variations, of synthetic geometry) can be observed due to the transformation of the research object over time. Boris Shalyutin, a Russian social philosopher, and Ombudsman for Human Rights in the Kurgan Region, explores the origins of discourse in combination with the birth of society and law. He claims that legal discourse marks the historical emergence of discourse in general. Homo Juridicus generated Homo Sapiens, which have created new spheres of discourse, notably moral discourse and further philosophical, political, and scientific discourse. Petros Stefaneas, a logician, computer scientist and novelist, suggests an alternative to the traditional narratology approach for studying (interactive) social media discourse. He claims that style describes how the parts of a narrative are blended into a whole. The author relies upon Goguen’s and Harrel’s concept of style as a choice of blending principles and transfers to the study of the social media narratives elements from the methodology of studying Web-based collaborative search for mathematical proofs like those implemented within the Polymath project. The last paper belongs to Ghil‘ad Zuckermann, a linguist, language revivalist, and proponent of a model of the emergence of Israeli Hebrew, according to which Hebrew and Yiddish were the primary sources of Modern Hebrew. This paper explores the fascinating and multifaceted Yiddish language and its survival in Israeli. Yiddish is characterized by a unique style that embeds psycho-ostensive expressions throughout its discourse. The author highlights the cross-fertilization between Hebrew and Yiddish as it manifests itself in any aspect of the Israeli language. He claims that Yiddish survives beneath Israeli phonetics, phonology, discourse, syntax, semantics, lexis, and even morphology, although traditional and institutional linguists have been most reluctant to admit it. (shrink)

My aim in this paper is to investigate the variants of directionality implied in visual hieratic texts as religious markers in the sacrosphere, which are substantially expressed in the form of a wayside shrine/cross. The methodological underpinnings for this project rely on the proposed semiotactics : the investigative perspective modeled after phonotactics – a branch of phonology investigating the restrictions on and the possibilities of phoneme combinations in languages. The study draws on digital documentation of wayside shrines, crosses, and sacrality (...) markers on houses collected by the author in various European countries, focusing in particular on the material collected in the area of present Slovakia, Ukraine, Austria, Slovenia, and the region of the Beskid Mountains in Poland. It shows how bodily hexis is inscribed into the phenomenology of a wayside shrine through particular types of hierophanic dynamics. The study also focuses on the aspect of headedness and markedness in the nano-structure of a sign, surfacing as directionality in the conceptualization of the religious sphere by particular communities. (shrink)

The periodic table of the elements is one of the most powerful icons in science: a single document that captures the essence of chemistry in an elegant pattern. Indeed, nothing quite like it exists in biology or physics, or any other branch of science, for that matter. One sees periodic tables everywhere: in industrial labs, workshops, academic labs, and of course, lecture halls. It is sometimes said that chemistry has no deep ideas, unlike physics, which can boast quantum mechanics and (...) relativity, and biology, which has produced the theory of evolution. This view is mistaken, however, since there are in fact two big ideas in chemistry. They are chemical periodicity and chemical bonding, and they are deeply interconnected. The observation that certain elements prefer to combine with specific kinds of elements prompted early chemists to classify the elements in tables of chemical affinity. Later these tables would lead, somewhat indirectly, to the discovery of the periodic system, perhaps the biggest idea in the whole of chemistry. Indeed, periodic tables arose partly through the attempts by Dimitri Mendeleev and numerous others to make sense of the way in which particular elements enter into chemical bonding. (shrink)

Many concerned citizens, including judges, bureaucrats, politicians, activists, journalists, and academics, have been claiming that Indian democracy has been imperilled under the premiership of Narendra Modi, which began in 2014. To examine this claim, the Article sets up an analytic framework for accountability mechanisms liberal democratic constitutions put in place to provide a check on the political executive. The assumption is that only if this framework is dismantled in a systemic manner can we claim that democracy itself is in peril. (...) This framework helps distinguish between actions that one may disagree with ideologically but are nonetheless permitted by an elected government, from actions that strike at the heart of liberal democratic constitutionalism. Liberal democratic constitutions typically adopt three ways of making accountability demands on the political executive: vertically, by demanding electoral accountability to the people; horizontally, by subjecting it to accountability demands of other state institutions like the judiciary and fourth branch institutions; and diagonally, by requiring discursive accountability by the media, the academy, and civil society. This framework assures democracy over time – i.e. it guarantees democratic governance not only to the people today, but to all future peoples of India. Each elected government has the mandate to implement its policies over a wide range of matters. However, seeking to entrench the ruling party’s stranglehold on power in ways that are inimical to the continued operation of democracy cannot be one of them. The Article finds that the first Modi government in power between 2014 and 2019 did indeed seek to undermine each of these three strands of executive accountability. Unlike the assault on democratic norms during India Gandhi’s Emergency in the 1970s, there is little evidence of a direct or full-frontal attack during this period. The Bharatiya Janata Party government’s mode of operation was subtle, indirect, and incremental, but also systemic. Hence, the Article characterizes the phenomenon as “killing a constitution by a thousand cuts.” The incremental assaults on democratic governance were typically justified by a combination of a managerial rhetoric of efficiency and good governance (made plausible by the undeniable imperfection of our institutions) and a divisive rhetoric of hyper-nationalism (which brands political opponents of the party as traitors of the state). Since its resounding victory in the 2019 general elections, the Modi government appears to have moved into consolidation mode. No longer constrained by the demands of coalition partners, early signs suggest that it may abandon the incrementalist approach for a more direct assault on democratic constitutionalism. (shrink)

Mind Ecologies: Body, Brain, and World: Book Abstract from Columbian University Press -/- Matthew Crippen and Jay Schulkin -/- Pragmatism, a pluralistic philosophy with kinships to phenomenology, Gestalt psychology and embodied cognitive science, is resurging across disciplines. It has growing relevance to literary studies, the arts, and religious scholarship, along with branches of political theory, not to mention our understanding of science. But philosophies and sciences of mind have lagged behind this pragmatic turn, for the most part (...) retaining a central-nervous-system orientation, which pragmatists rejected as far too narrow. -/- Matthew Crippen, a biologically orientated philosopher of mind, and Jay Schulkin, a pioneer in neuroscience, offer an innovative interdisciplinary theory of mind. They argue that pragmatism in combination with phenomenology is not only able to give an unusually persuasive rendering of how we think, feel, experience, and act in the world but also the account most consistent with evidence from cognitive science and neurobiology. Crippen and Schulkin contend that cognition, emotion, and perception are incomplete without action, and in action they fuse together. Not only are we embodied subjects whose thoughts, emotions, and capacities comprise one integrated system; we are living ecologies inseparable from our surroundings, our cultures, and our world. Ranging from social coordination to the role of gut bacteria and visceral organs in mental activity, and touching upon fields such as robotics, artificial intelligence, and plant cognition, Crippen and Schulkin stress the role of aesthetics, emotions, interests, and moods in the ongoing enactment of experience. Synthesizing philosophy, neurobiology, psychology, and the history of science, Mind Ecologies offers a broad and deep exploration of evidence for the embodied, embedded, enacted, and extended nature of mind. (shrink)

We present a cut-free tableau calculus with histories and variables for the EXPTIME-complete multi-modal logic of common knowledge. Our calculus constructs the tableau using only one pass, so proof-search for testing theoremhood of ϕ does not exhibit the worst-case EXPTIME-behaviour for all ϕ as in two-pass methods. Our calculus also does not contain a “finitized ω-rule” so that it detects cyclic branches as soon as they arise rather than by worst-case exponential branching with respect to (...) the size of ϕ. Moreover, by retaining the rooted-tree form from traditional tableaux, our calculus becomes amenable to the vast array of optimisation techniques which have proved essential for “practical” automated reasoning in very expressive description logics. Our calculus forms the basis for developing a uniform framework for the family of all fix-point logics of common knowledge. However, there is still no “free lunch” as, in the worst case, our method exhibits 2EXPTIME-behaviour. A prototype implementation can be found at twb.rsise.anu.edu.au which allows users to test formulae via a simple graphical interface. (shrink)

The tableau substitution rule in free variable tableau reasoning is destructive, for in general, T has consequences that T0 lacks. We show how this destructive feature can be eliminated in favour of a set-up that replaces tableau substitution with the generation and incremental merge of variable constraints on tableau branches. The approach diifers from other constraint based techniques in tableau reasoning in that we constrain tableau branches rather than clauses, and use (...) disunification constraints rather than unification constraints. We prove soundness and completeness, with the completeness proof based on a new way to generate models from open tableaux. (shrink)

This book explores a theory of human knowledge through a model of rationality combined with some fundamental logical, mathematical, physical and neuroscientific considerations. Its ultimate goal is to present a philosophical system of integrated knowledge, in which the different domains of human understanding are unified by common conceptual structures, such that traditional metaphysical and epistemological questions may be addressed in light of these categories. Philosophy thus becomes a that may reproduce and even expand the conceptual chain followed by (...) nature and thought, in an effort to organize the results of the different branches of knowledge by inserting them in a broader framework. (shrink)

The second volume of “Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond” presents a deep exploration of the progress in uncertain combinatorics through innovative methodologies like graphization, hyperization, and uncertainization. This volume integrates foundational concepts from fuzzy, neutrosophic, soft, and rough set theory, among others, to further advance the field. Combinatorics and set theory, two central pillars of mathematics, focus on counting, arrangement, and the study of collections under defined rules. Combinatorics excels in handling (...) uncertainty, while set theory has evolved with concepts such as fuzzy and neutrosophic sets, which enable the modeling of complex real-world uncertainties by addressing truth, indeterminacy, and falsehood. These advancements, when combined with graph theory, give rise to novel forms of uncertain sets in "graphized" structures, including hypergraphs and superhypergraphs. Innovations such as Neutrosophic Oversets, Undersets, and Offsets, as well as the Nonstandard Real Set, build upon traditional graph concepts, pushing both theoretical and practical boundaries. The synthesis of combinatorics, set theory, and graph theory in this volume provides a robust framework for addressing the complexities and uncertainties inherent in both mathematical and real-world systems, paving the way for future research and application. In the first chapter, “A Review of the Hierarchy of Plithogenic, Neutrosophic, and Fuzzy Graphs: Survey and Applications”, the authors investigate the interrelationships among various graph classes, including Plithogenic graphs, and explore other related structures. Graph theory, a fundamental branch of mathematics, focuses on networks of nodes and edges, studying their paths, structures, and properties. A Fuzzy Graph extends this concept by assigning a membership degree between 0 and 1 to each edge and vertex, representing the level of uncertainty. The Turiyam Neutrosophic Graph is introduced as an extension of both Neutrosophic and Fuzzy Graphs, while Plithogenic graphs offer a potent method for managing uncertainty. The second chapter, “Review of Some Superhypergraph Classes: Directed, Bidirected, Soft, and Rough”, examines advanced graph structures such as directed superhypergraphs, bidirected hypergraphs, soft superhypergraphs, and rough superhypergraphs. Classical graph classes include undirected graphs, where edges lack orientation, and directed graphs, where edges have specific directions. Recent innovations, including bidirected graphs, have sparked ongoing research and significant advancements in the field. Soft Sets and their extension to Soft Graphs provide a flexible framework for managing uncertainty, while Rough Sets and Rough Graphs address uncertainty by using lower and upper approximations to handle imprecise data. Hypergraphs generalize traditional graphs by allowing edges, or hyperedges, to connect more than two vertices. Superhypergraphs further extend this by allowing both vertices and edges to represent subsets, facilitating the modeling of hierarchical and group-based relationships. The third chapter, “Survey of Intersection Graphs, Fuzzy Graphs, and Neutrosophic Graphs”, explores the intersection graph models within the realms of Fuzzy Graphs, Intuitionistic Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. The chapter highlights their mathematical properties and interrelationships, reflecting the growing number of graph classes being developed in these areas. Intersection graphs, such as Unit Square Graphs, Circle Graphs, and Ray Intersection Graphs, are crucial for understanding complex graph structures in uncertain environments. The fourth chapter, “Fundamental Computational Problems and Algorithms for SuperHyperGraphs”, addresses optimization problems within the SuperHypergraph framework, such as the SuperHypergraph Partition Problem, Reachability, and Minimum Spanning SuperHypertree. The chapter also adapts classical problems like the Traveling Salesman Problem and the Chinese Postman Problem to the SuperHypergraph context, exploring how hypergraphs, which allow hyperedges to connect more than two vertices, can be used to solve complex hierarchical and relational problems. The fifth chapter, “A Short Note on the Basic Graph Construction Algorithm for Plithogenic Graphs”, delves into algorithms designed for Plithogenic Graphs and Intuitionistic Plithogenic Graphs, analyzing their complexity and validity. Plithogenic Graphs model multi-valued attributes by incorporating membership and contradiction functions, offering a nuanced representation of complex relationships. The sixth chapter, “Short Note of Bunch Graph in Fuzzy, Neutrosophic, and Plithogenic Graphs”, generalizes traditional graph theory by representing nodes as groups (bunches) rather than individual entities. This approach enables the modeling of both competition and collaboration within a network. The chapter explores various uncertain models of bunch graphs, including Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. In the seventh chapter, “A Reconsideration of Advanced Concepts in Neutrosophic Graphs: Smart, Zero Divisor, Layered, Weak, Semi, and Chemical Graphs”, the authors extend several fuzzy graph classes to Neutrosophic graphs and analyze their properties. Neutrosophic Graphs, a generalization of fuzzy graphs, incorporate degrees of truth, indeterminacy, and falsity to model uncertainty more effectively. The eighth chapter, “Short Note of Even-Hole-Graph for Uncertain Graph”, focuses on Even-Hole-Free and Meyniel Graphs analyzed within the frameworks of Fuzzy, Neutrosophic, Turiyam Neutrosophic, and Plithogenic Graphs. The study investigates the structure of these graphs, with an emphasis on their implications for uncertainty modeling. The ninth chapter, “Survey of Planar and Outerplanar Graphs in Fuzzy and Neutrosophic Graphs”, explores planar and outerplanar graphs, as well as apex graphs, within the contexts of fuzzy, neutrosophic, Turiyam Neutrosophic, and plithogenic graphs. The chapter examines how these types of graphs are used to model uncertain parameters and relationships in mathematical and real-world systems. The tenth chapter, “General Plithogenic Soft Rough Graphs and Some Related Graph Classes”, introduces and explores new concepts such as Turiyam Neutrosophic Soft Graphs and General Plithogenic Soft Graphs. The chapter also examines models of uncertain graphs, including Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Graphs, all designed to handle uncertainty in diverse contexts. The eleventh chapter, “Survey of Trees, Forests, and Paths in Fuzzy and Neutrosophic Graphs”, provides a comprehensive study of Trees, Forests, and Paths within the framework of Fuzzy and Neutrosophic Graphs. This chapter focuses on classifying and analyzing graph structures like trees and paths in uncertain environments, contributing to the ongoing development of graph theory in the context of uncertainty. (shrink)

While I, as may be said, “groaned” and “puffed” over the last chapter of the third book of the second series of my writings, in the process of my “subconscious mentation,” that is to say, in my automatically flowing thoughts, the center of gravity of interest was concentrated by itself on the question: how should I begin the third series of books predetermined by me for writing, namely, that series of books which according to my conviction was destined to become (...) in a short time so to say “edifyingly instructive” for all the creatures of Our Common Father similar to myself; but here I must sincerely confess that soon after I had chosen for myself the profession of a writer, as the most corresponding to my unexpectedly arisen physical state, and when, parallel to the improvement in my physical state, I clearly understood that, thanks to my personal written explanations, a great benefit will arise for the majority of contemporary people as well as for future generations, I determined by this very series of books consciously to acquit myself with Great Nature for my arising and existence, chiefly for an existence not merely as an “ordinary life,” automatically fulfilling some purpose necessary for the general realizations of Great Nature, but rather as an existence determinate and conscious, impartially evaluating itself and, in addition, gifted with the capacity of all-round perfecting and independent unity. The outcome of these recent reflections, combined with my conscious thoughts of today upon finishing this last-mentioned book, brought me to the categorical decision to begin this “edifyingly instructive” series of books with the description of the events connected with my last two visits to some of the cities of North America, and to cite in concise form the talks delivered by me there to a certain group of the followers of my ideas which had already been organized ten years before during my first visit in New York. I wish to begin with this description chiefly because upon these talks, as I planned them in my thoughts, a corresponding foundation may be built for everything which I have decided to introduce into the conscious life of people by means of this third and last series of my writings; furthermore, because the publication of these lectures, combined with the description of the events and causes which provoked them, to which events and causes I reacted by means of these very talks of definite form and sequence, will, I have almost no doubt, create in their totality a so to say “automatically acting factor” for the possible saving from their total ruination of many thousand people of both sexes from various countries in Europe, Asia and America. In this introductory book of the third series, I shall expose the “quintessence” of five talks, four of which were delivered by me at the end of 1930 and the beginning of 1931, and one other at the end of 1931 or the beginning of 1932. For the readers of this series of my expositions, no matter in which degree of consciousness they may rank themselves, it would not in my opinion be superfluous to know, among other things, from which of my conceptions and instinctive suppositions was derived the phrase I used: “consciously to acquit myself with Great Nature.” This phrase burst forth from me almost involuntarily and took a shape which derived from the totality of my instinctive and conscious conviction that by this act of making known this last series of my writings, I could rely on fulfilling what is in my opinion the most important duty of a man who has reached responsible age, which consists in preparing without fail for the benefit of posterity, according to one’s own individuality, certain profitable instructions; furthermore, I could by this same act, albeit quite subjectively, justify the sense of all my past intentional labors and conscious renunciations of all kinds of benefits which are generally crystallized in the life of contemporary people, and which have always been very easy for me to obtain; and finally, I hope, in the moment of my last breathing, to experience with no possible mental, sensitive or instinctive doubt the impulse, sacred for a man, which was called by the ancient Essenes “impartial self-satisfaction.” In order that there should arise in the mentation of the readers of this book, for a better orientation and an easier logical confrontation with what will follow, a “something” which existed on Earth before the Babylonian civilization in a branch of science named “Theomathos” and was called “a vivifying factor for objective assuming”—I refer, of course, to the mentation of those readers who, as soon as they became acquainted with my expositions, were guided by and closely followed my advice—I wish first of all to try, for their inner sight, to depict by a verbal description various information, the totality of which might help them to represent in true perspective and clearly understand two situations which occurred in the process of my ordinary life during the time of my writing activity. (shrink)

In this study, 44 late elementary students’ visual behavior patterns when reading mind maps were investigated, more particularly, the intuitive processing nature of their visual characteristics, reading sequence and presentation mode. Eye-tracked data were investigated by means of static early attention and dynamic educational process mining analysis and combined with learning performance and retrospective interview data. All students seem to struggle with the map’s radial structure during initial reading. Also, the picture’s position in the map diverts students (...) from consecutively reading interconnected branches. EPM analyses revealed different reading patterns in proceeding reading behavior. Students receiving a text first, seem to grasp the radial structure slightly more and show higher information integration attempts. They also attained higher free recall and coherence scores. The study concludes with instructional design principles for urgently needed explicit visual literacy instruction in elementary grades. (shrink)

In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The (...) systems in this paper can be used to symbolise not only the doxastic states of perfectly rational individuals, but also the beliefs of finite humans. Proof-theoretically, I will use a tableau technique. Every system is combined with predicate logic with necessary identity and ‘possibilist’ quantifiers and modal logic with two kinds of modal operators for relative and absolute necessity. The semantics is a possible world semantics. Finally, I prove that every tableau system in the paper is sound and complete with respect to its semantics. (shrink)

The proposal to create a chamber selected by sortition would extend this democratic procedure into the legislative branch of government. However, there are good reasons to believe that, as currently conceived by John Gastil and Erik Olin Wright, the proposal will fail to realize sufficiently two fundamental democratic goods, namely, political equality and deliberative reasoning. It is argued through analysis of its historic and contemporary application that sortition must be combined with other institutional devices, in particular, rotation of (...) membership and limited mandate, in order to be democratically effective and to realize political equality and deliberative reasoning. An alternative proposal for a responsive sortition legislature is presented as more realistic and utopian: one that increases substantially the number of members, makes more extensive use of internal sortition and rotation, and recognizes the importance of establishing limited mandates. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

The paper develops models of statistical experiments that combine propensities with frequencies, the underlying theory being the branching space-times (BST) of Belnap (1992). The models are then applied to analyze Bell's theorem. We prove the so-called Bell-CH inequality via the assumptions of a BST version of Outcome Independence and of (non-probabilistic) No Conspiracy. Notably, neither the condition of probabilistic No Conspiracy nor the condition of Parameter Independence is needed in the proof. As the Bell-CH inequality is most likely experimentally (...) falsified, the choice is this: contrary to the appearances, experimenters cannot choose some measurement settings, or some transitions, with spacelike related initial events, are correlated; or both. (shrink)