Formal Sciences, Misc

-/- Letter to a friend : Creative Thinking and Intuition Letter to a friend about creative thinking and intuition (art, writing, philosophy, science, etc ) .

The history of science is polarized by debates over Plato and Aristotle’s holism versus the atomism of Democritus and others. This includes the complementarity of continuous and discrete, one and the many, waves and particles, and analog or digital views of reality. The three-fold method of the Pythagorean paradigm of unity, duality, and harmony enables the calculation of fundamental physical constants required by the forces of nature in the formation of matter; thereby demonstrating Plato’s archetypal viewpoint.

At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...) nature, the construction of senses, and motile behavior. This new approach is developed from first principles to enable a rigorous and systematic explanation of the variety of associated intelligent behaviors. -/- Alongside this development is a further account that focuses upon the nature of our work. It discusses the existential aspects of scientific inquiry, its epistemology and logic. It seeks to clarify the nature of the mathematical characterization and computation of natural behaviors, dealing with questions in the foundations of logic. It explores methodological issues related to reduction and the refinement of ideas from intuition to formal logical structure. -/- In support of this inquiry we work toward the development of a calculus for biophysical construction and its dynamics. If successful this mechanics mathematically characterizes sensory and motile behavior. -/- Upon this foundation we propose a model of apprehension and explore how its products are processed by the organism. Finally, we develop a probabilistic theory that enables us to reason about inaccessible factors in group behavior. -/- The mechanics we propose suggests the design and physical realization of a new model of computation; one in which structure and the concurrency of action are a first-order consideration. -/- We identify opportunities for experimental verification of the theory and we suggest a proof of our results in practice by the identification of this mechanism, allowing the construction of machines that experience. (shrink)

HIV and AIDS is still menace bedeviling society particularly in 3rd world countries such as Zimbabwe. The impacts of HIV/AIDS are gravely felt within workplaces as affected employees suffer from stigma and prejudice. Organizations also suffer as the pandemic leads to high absenteeism and a high rate of employee turnover. This writing therefore addresses the impact of HIV/AIDS in organizations and communities and how the Zimbabwean Government, NGOS, Trade Unions and Companies have been battling this pandemic and the achievements made (...) to date. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

In the context of computational social choice, we study voting methods that assign a set of winners to each profile of voter preferences. A voting method satisfies the property of positive involvement (PI) if for any election in which a candidate x would be among the winners, adding another voter to the election who ranks x first does not cause x to lose. Surprisingly, a number of standard voting methods violate this natural property. In this paper, we investigate different ways (...) of measuring the extent to which a voting method violates PI, using computer simulations. We consider the probability (under different probability models for preferences) of PI violations in randomly drawn profiles vs. profile-coalition pairs (involving coalitions of different sizes). We argue that in order to choose between a voting method that satisfies PI and one that does not, we should consider the probability of PI violation conditional on the voting methods choosing different winners. We should also relativize the probability of PI violation to what we call voter potency, the probability that a voter causes a candidate to lose. Although absolute frequencies of PI violations may be low, after this conditioning and relativization, we see that under certain voting methods that violate PI, much of a voter's potency is turned against them - in particular, against their desire to see their favorite candidate elected. (shrink)

The use of impact factor (IF) in the scientific and academic world is not new. A phenomenon that has gained widespread recognition and utilization. However, in modern-day usage, there seems to be a trend in higher education where academics are evaluated based on the impact factor of journals where scholarly works are published. This trend is gradually shifting the paradigm from the assessment of research contents to publication venues. This does not align with the original purpose of IF conceived by (...) Garfield in 1955. One question that has continued to agitate the minds of concerned academics is whether the IF of journals is a dependable measure of research quality. This paper is an attempt to clarify or address this problem. Based on a thorough literature search and filtration, several problems about the use of IF as a research quality measure are discussed as well as their implications. Recommendations were also made aimed at providing a way forward in higher education. (shrink)

This paper addresses the issues related to designing and estimating the strength of solid-alloy elements in the deforming broaches of significant diameter (exceeding 150 mm) for the developed process of discrete broaching. The tool limit condition was assessed based on two strength criteria: the specific potential energy of shape change and the maximum tangent stresses. Numerical modeling using the finite element method has made it possible to derive the distribution of equivalent stresses in the tool elements and the contact stresses (...) at the surface of the contact between a solid-alloy insert and the body, which enabled the analysis of tool strength under loading. The simulation was performed under a single normal load, which ensured the versatility of the calculation for any contact pressure values. We have derived formulae to calculate the acceptable contact pressure depending on unit load. The effect of the insert protrusion height over the body on the strength of tool elements has been established. We have derived engineering dependences that determine the required magnitude of insert protrusion over the body depending on the ultimate load. An example of calculating the strength of a prefabricated deforming element in the machining of a sleeve made from gray modified cast iron of hardness HB230 has been considered. Our calculations have shown that the deforming element designed for the new technological process corresponds to the conditions of strength, provided the ratio h1/h=0.15 is maintained (where h1 is the insert height above the body, h is the insert height). The results obtained could be used in engineering calculations when designing the prefabricated tool for discrete deformation, as well as to assess the strength of prefabricated tools, such as cutters, core drills, reamers, when refining external loads. (shrink)

Purpose. To determine the potential of deforming broaching for the improvement of efficiency of cutter chisels in the mining industry. Methodology. The study of the application of the technological process of deforming broaching was carried out based on the experimental research into conditions of assembly of press couplings corresponding to cutting rock-destroying tools, the working surface of which is reinforced with solid-alloy inserts. Findings. Based on the conducted research, a new process of assembling the crowns of cutter chisels with the (...) use of deforming broaching was developed. Originality. It was determined that the range of angles of inclination of generatrix of the working cone of the deforming element and the roll-treading lip of the insert, which are necessary for efficient machining and pressing in crowns of cutters, is 4–16°. It was proven that the “solid alloy-steel” press couplings for cutter chisels will have the maximum bearing capacity at total tension a/d0 ≤ 3 %. It was found that it is necessary to foresee the following distribution of tensions: to perform 2 % of deformation by preliminary deforming broaching, and 1 % ‒ by pressing in an insert Practical value. The use of deforming broaching makes it possible to increase the strength of fastening the inserts of cutter chisels by 2 times, to reduce specific consumption of the tool by 4.4 times, and to increase the average drilling rate by 4 times. (shrink)

Holding students to high standards and assessing, measuring and evaluating their learning with challenging, authentic problems in the midterm and final exams is the goal of the professors who teach core signal processing concepts. However, the heavy reliance of these subjects on mathematics makes it difficult for students to genuinely grasp the concepts and relate to a conceptual framework. Specifically, analyzing the signals and the functionality of systems in Fourier domain; separating the system level analysis from signal level analysis; and (...) understanding how they are related in time domain and frequency domain are among the most challenging concepts. Students’ lower grades observed over past years in the introductory signal processing course exposed a potential disconnect between the actual level of learning and the high expectations set by the professors. In this paper, we present the active learning techniques that we implemented in one of the summer session offerings of this course in our department. The research explored Peer Instruction, pre-class reading quizzes and post-lecture quizzes. In addition to the mid and end of the quarter survey results, the comparison analysis of the grades students achieved in the active learning integrated course in the second summer session and the standard course offered in first summer session is discussed. According to our results, the developed techniques helped students in the active classroom perform significantly better than their peers participating in standard lectures when tested by challenging questions in their exams. (shrink)

This paper presents an ontology architecture concept for the European Space Agency‘s (ESA) Space Situational Awareness (SSA) Program. It incorporates the author‘s domain ontology, The Space Situational Awareness Ontology and related ontology work. I summarize computational ontology, discuss the segments of ESA SSA, and introduce an option for a modular ontology framework reflecting the divisionsof the SSA program. Among other things, ontologies are used for data sharing and integration. By applying ontology to ESA data, the ESA may better achieve its (...) integration and innovation goals, while simultaneously improving the state of peaceful SSA. (shrink)

The orbital space environment is home to natural and artificial satellites, debris, and space weather phenomena. As the population of orbital objects grows so do the potential hazards to astronauts, space infrastructure and spaceflight capability. Orbital debris, in particular, is a universal concern. This and other hazards can be minimized by improving global space situational awareness (SSA). By sharing more data and increasing observational coverage of the space environment we stand to achieve that goal, thereby making spaceflight safer and expanding (...) our knowledge of near-Earth space. To facilitate data-sharing interoperability among distinct orbital debris and space object catalogs, and SSA information systems, I proposed ontology in (Rovetto, 2015) and (Rovetto and Kelso, 2016). I continue this effort toward formal representations and models of the overall domain that may serve to improve peaceful SSA and increase our scientific knowledge. This paper explains the project concept introduced in those publications, summarizing efforts to date as well as the research field of ontology development and engineering. I describe concepts for an ontological framework for the orbital space environment, near-Earth space environment and SSA domain. An ontological framework is conceived as a part of a potential international information system. The purpose of such a system is to consolidate, analyze and reason over various sources and types of orbital and SSA data toward the mutually beneficial goals of safer space navigation and scientific research. Recent internationals findings on the limitations of orbital data, in addition to existing publications on collaborative SSA, demonstrate both the overlap with this project and the need for data-sharing and integration. (shrink)

Space situational awareness (SSA) is vital for international safety and security, and for the future of space travel. The sharing of SSA data and information should improve the state of global SSA for planetary defense and spaceflight safety. I take steps toward a Space Situational Awareness (SSA) Ontology, and outline some central objectives, requirements and desiderata in the ontology development process for this domain. The purpose of this ontological system is to explore the potential for the ontology research topic to (...) (i) represent SSA general knowledge, data, and entities/objects, (ii) clearly express the meaning of SSA data, and (iii) foster SSA data-sharing. The overall goal and motivation is to (iv) improve our capacity for planetary defense, e.g., from near- or deep-space objects and phenomena, and (v) facilitate safer and peaceful space access, navigation and travel, by improving global SSA. This research is thereby intended only for peaceful space-domain applications and uses, with particular interests in orbital debris. There is little application of ontology to the space domain as compared with other disciplines and little if any ontological development of SSA and related domains. In this respect, this paper offers novel concepts. (shrink)

Numerous studies show that humans tend to be more cooperative than expected given the assumption that they are rational maximizers of personal gain. As a result, theoreticians have proposed elaborated formal representations of human decision-making, in which utility functions including “altruistic” or “moral” preferences replace the purely self-oriented "Homo economicus" function. Here we review mathematical approaches that provide insights into the mathematical stability of alternative ways of representing human decision-making in social contexts. Candidate utility functions may be evaluated with help (...) of game theory, classical modeling of social evolution that focuses on behavioral strategies, and modeling of social evolution that focuses directly on utility functions. We present the advantages of the latter form of investigation and discuss one surprisingly precise result: “Homo economicus” as well as “altruistic” utility functions are less stable than a function containing a preference for the golden rule or for the common welfare that is only expressed in social contexts composed of individuals with similar preferences. We discuss the contribution of mathematical models to our understanding of human other-oriented behavior, with a focus on the classical debate over psychological altruism. We conclude that human can be psychologically altruistic, but that psychological altruism evolved because it was generally expressed towards individuals that contributed to the actor’s fitness, such as own children, romantic partners and long term reciprocators. (shrink)

We show that actuality entailments arise with goal-oriented modality only and endorse Belnap’s view of that goal-oriented modals use historical accessibility with a fixed past and an open future. This modal-theoretic assumption allows us to spell out the precise modal-temporal configuration in which the actuality entailment arises and our predictions are borne out by the data, cross-linguistically. We also show that, when any assumption about the identity of worlds at branching point is leveled - which appears to be the case (...) with generic deontic and opportunity modals, the actuality entailments disappear. We also predict that the entailment disappears with prospectivity. Finally, we argue that modal sentences giving rise to actuality entailments are informative, insofar as the contribution of the modality survives as a presupposition that the modal base is non-homogeneous. (shrink)

At the beginning of our Age of Information, the 21th century, the influence of IT (Information Technology) have got so important that all parts of human live and society have been involved. Especially Media Industry started a great hype which is not finished till now. Mobile Media have got a really up to date part of especially young society. On the level of serious science it has been up to date to use the word Information in all reports and publishing (...) papers. A lot of semantics have been used and some scientists (Prof. FLEISSNER, Prof HOFKIRCHNER, Prof. CAPURRO and the author) tried to abstract this word to a constant scientific term. So for first time the author tried a worldwide unifying definition of the terms Information and Data. It’s importance is documented by the topic “Information Scientific Axioms”. In second part – based on it – Clues for generally evidence of Information are written down. They are a set of informationscientific terms - excerpted out of real nature and society. The way of Information between Object and Subject or involving Human Being in big and complex machine systems (aeroplanes, ships and industrial productions) made it necessary to think additionally about the general usage of Information. As a useful result many relationships to other sciences are possible. They bring the benefit to be unifying and scientifically worldwide structuring. As next research object general forms of actual Information are investigated. As final result for future the author asks: „How can we make Information – in all forms – more positive and precious for Human Being? “. This is a new, scientific topic for the future of IT and human society. (shrink)

This paper develops the ontology of space objects for theoretical and computational ontology applied to the space (astronautical/astronomical) domain. It follows “An ontological architecture for Orbital Debris Data” (Rovetto, 2015) and “Preliminaries of a Space Situational Awareness Ontology” (Rovetto, Kelso, 2016). Important considerations for developing a space object ontology, or more broadly, a space domain ontology are presented. The main category term ‘Space Object’ is analyzed from a philosophical perspective. The ontological commitments of legal definitions for artificial space objects are (...) also discussed. Space object taxonomies are offered and space object terms are defined. (shrink)

A short summary paper of my Orbital Space Domain Ontology project (purl.org/space-ontology), originally conceived in 2011. Since then I've sought (without success) opportunities to realize it (either as a PhD or other degree thesis; or in an employment position) toward my original passion of entering the space sector and gaining further space education. Since then persons in the relevant space disciplines have seen the potential in it, and unfortunately some have taken advantage of my ideas yet excluded me from work. (...) I continue to struggle to fight for my own ideas as I see others professionally and financially benefit at my expense. References and documentation are available upon request to confirm my early ideation and origination on this topic. Please contact me if you have opportunities. Thank you. (shrink)

This paper applies some ontology architectures to the space domain, specifically the orbital and near-earth space environment and the space situational awareness domain. I briefly summarize local, single and hybrid ontology architectures, and offer potential space ontology architectures for each by showing how actual space data sources and space organizations would be involved.

We have been left with a big challenge, to articulate consciousness and also to prove it in an artificial agent against a biological standard. After introducing Boltuc’s h-consciousness in the last paper, we briefly reviewed some salient neurology in order to sketch less of a standard than a series of targets for artificial consciousness, “most-consciousness” and “myth-consciousness.” With these targets on the horizon, we began reviewing the research program pursued by Jun Tani and colleagues in the isolation of the formal (...) dynamics essential to either. In this paper, we describe in detail Tani’s research program, in order to make the clearest case for artificial consciousness in these systems. In the next paper, the third in the series, we will return to Boltuc’s naturalistic non-reductionism in light of the neurorobotics models introduced (alongside some others), and evaluate them more completely. (shrink)

The orbital debris problem presents an opportunity for inter-agency and international cooperation toward the mutually beneficial goals of debris prevention, mitigation, remediation, and improved space situational awareness (SSA). Achieving these goals requires sharing orbital debris and other SSA data. Toward this, I present an ontological architecture for the orbital debris and broader SSA domain, taking steps in the creation of an orbital debris ontology (ODO). The purpose of this ontological system is to (I) represent general orbital debris and SSA domain (...) knowledge, (II) structure, and standardize where needed, orbital data and terminology, and (III) foster semantic interoperability and data-sharing. In doing so I hope to (IV) contribute to solving the orbital debris problem, improving peaceful global SSA, and ensuring safe space travel for future generations. (shrink)

Induced abortion continues to be a subject of ethical and moral debates, with the hope that reaching an agreement on what is deemed morally permissible will guide how the society ought to respond by legislating appropriate legal guidelines. The aim of this essay is to examine who constitutes moral privileges in society and more specifically, the criterion on which membership in the moral community is granted. In this paper, I will argue that membership to the human race is not in (...) itself a well supported proposition for accessing moral privileges, but rather, there must be a criterion which forms the basis of this differential treatment. I will endeavour to show that whatever this criterion is set to be, there will be a stage during pregnancy where the fetus will lack that attribute. It is by this deductive reasoning I will demonstrate that terminating pregnancy, before the fetus fulfills the criterion required for gaining moral privileges, is morally permissible. Holding any philosophical position on the debate inherits the burden to reason how that view will be translated in determining the legal status of abortion. For this, I will demonstrate how it follows that different rational individuals can have varying criterion for determining access to moral community, all of which must be respected by the legal practice. The only way to legally respect these gradation of criteria, and by extension the individual who sets them, is by making all cases of abortion legally permissible. (shrink)

The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...) it is impossible to translate the Greek form of the word using the English form: the primary sense of the word ‘hypothesis’ in modern colloquial English is diametrically opposed to one sense used by Plato and by his most accomplished student Given current colloquial English usage it is impossible to get the word hypothesis to carry the connotation of “settled truth” much less “axiomatic truth”. The ‘hypo-’ [under] in the Plato-Aristotle use of ‘hypothesis’ might carry the sense of “basis” or “foundational” as opposed to “less than usual or normal”. This paradox parallels the one pointed out by Robin Smith: it is impossible for the English word ‘syllogism’ to carry the meaning of its Greek form Aristotle intended. There are other cases as well: it is impossible for the English biological term ‘genus’ to carry the meaning of its Greek form the Greek genos refers to family as in our ‘genealogy’, not to “higher species” as in our ‘generic’. (shrink)

We study the acceleration and collisions of rigid bodies in special relativity. After a brief historical review, we give a physical definition of the term ‘rigid body’ in relativistic straight line motion. We show that the definition of ‘rigid body’ in relativity differs from the usual classical definition, so there is no difficulty in dealing with rigid bodies in relativistic motion. We then describe The motion of a rigid body undergoing constant acceleration to a given velocity.The acceleration of a rigid (...) body due to an applied impulse.Collisions between rigid bodies. (shrink)

In learning chemistry at the entry level, many learners labor under misconceptions about the subject matter that are so fundamental that they are typically never addressed. A fundamental misconception in chemistry appears to arise from an adding of existing phenomenal concepts to newly-acquired chemical concepts, so that beginning learners think of chemical entities as themselves having the very same ‘macro’ properties that we observe through the senses. Those who teach or practice chemistry never acquire these misconceptions because they were able (...) to naturally pick up the nature of the subject to begin with. But as a result, they remain unaware of the foundational assumptions and understanding that they operate with and that many beginning learners persistently lack. Thus, a systematic picture of the workings of chemical theory as they relate to observable phenomena needs to be elucidated so that the attention of chemical educators is drawn to the fundamental understanding of the subject that they already possess and that beginning learners of chemistry lack, so that beginning learners can be given the opportunity to gain an understanding of how chemical explanations are in general related to observable phenomena. The ‘layered’ way in which chemical and physical entities are related to each other within chemical theory can also be clarified in this way. To afford this picture, the philosophical concepts of supervenience and emergence are explained and applied to chemistry, as philosophers of chemistry have already done. The result provides a model for teaching chemistry that, if consistently applied, has the potential to greatly enhance fundamental understanding of the subject matter. (shrink)

Since its publication, the Psychopathic Personality Inventory and its revision (Lilien- feld & Andrews, 1996; Lilienfeld & Widows, 2005) have become increasingly popular such that it is now among the most frequently used self-report inventories for the assessment of psychopathy. The current meta-analysis examined the relations between the two PPI factors (factor 1: Fearless Dominance; factor 2: Self-Centered Impulsivity), as well as their relations with other validated measures of psychopathy, internalizing and externalizing forms of psychopathology, general personality traits, and antisocial (...) personality disorder symptoms. Across 61 samples reported in 49 publications, we found support for the convergent and criterion validity of both PPI factor 2 and the PPI total score. Much weaker validation was found for PPI factor 1, which manifested limited convergent validity and a pattern of correlations with central criterion variables that was inconsistent with many conceptualizations of psychopathy. (shrink)

Polarized unification grammar (PUG) is a linguistic formalism which uses polarities to better control the way grammar fragments interact. The grammar combination operation of PUG was conjectured to be associative. We show that PUG grammar combination is not associative, and even attaching polarities to objects does not make it order-independent. Moreover, we prove that no non-trivial polarity system exists for which grammar combination is associative. We then redefine the grammar combination operator, moving to the powerset domain, in a way that (...) guarantees associativity. The method we propose is general and is applicable to a variety of tree-based grammar formalisms. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal logic (...) in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

Exploratory factor analysis (EFA) of the Psychopathic Personality Inventory (PPI; S. O. Lilienfeld, 1990; S. O. Lilienfeld & B. P. Andrews, 1996) with a community sample has suggested that the PPI subscales may comprise 2 higher order factors (S. D. Benning, C. J. Patrick, B. M. Hicks, D. M. Blonigen, & R. F. Krueger, 2003). However, substantive and structural evidence raises concerns about the viability of this 2-factor model, particularly in offender populations. The authors attempted to replicate the S. D. (...) Benning et al. 2-factor solution using a large (N= 1,224) incarcerated male sample. Confirmatory factor analysis of this model resulted in poor model fit. Similarly, using the same EFA procedures as did S. D. Benning et al., the authors found little evidence for a 2-factor model. When they followed the recommendations of J.-W. van Prooijen and W. A. van der Kloot (2001) for recovering EFA solutions, model fit results provided some evidence that a 3-factor EFA solution could be recovered via confirmatory factor analysis. (shrink)

James Franklin has argued that the formal, mathematical sciences of complexity — network theory, information theory, game theory, control theory, etc. — have a methodology that is different from the methodology of the natural sciences, and which can result in a knowledge of physical systems that has the epistemic character of deductive mathematical knowledge. I evaluate Franklin’s arguments in light of realistic examples of mathematical modelling and conclude that, in general, the formal sciences are no more able to guarantee certainty (...) than the natural sciences. Yet the formal sciences are characterized by a ‘domain-independence’ that is philosophically interesting, and I argue that it is this property that Franklin actually employs to distinguish the formal from the natural sciences. I use Einstein’s ‘principle’/‘constructive’ theory distinction to contrast the domain-independence of physical theories with the domain-independence of formal mathematical theories, and show how both kinds of domain-independence function to generate the domain-independence that is observed in the complex systems sciences. © 1999 Elsevier Science Ltd. All rights reserved. (shrink)

Professor Franklin is correct to say that there are significant areas of agreement between his account of formal science (Franklin, 1994) and my critique of his account. We both agree that the domain-independence exhibited by the formal sciences is ontologically and epistemically interesting, and that the concept of ‘structure’ must be central in any analysis of domain-independence. We also agree that knowledge of the structural, relational properties of physical systems should count as empirical knowledge, and that it makes sense to (...) talk about an empirical ‘science’ of structure. Where we disagree is over the frequency of occasions where ‘practical certainty’ is actually attained: Franklin argues that practical certainty is not uncommon in the formal sciences, while I argue that there are barriers to practical certainty that Franklin fails to appreciate. In Franklin’s response, he briefly presents and offers criticisms of my two main arguments against his central thesis. Franklin asserts that the flaw in my first argument is that it does not appreciate that modern mathematical models exhibit structural stability, and thus that many of their predictions are robust under small variations in input or parameter values (and hence, insensitive to the inevitable gaps between estimates and actual values). Nevertheless, what I had in mind in using the term ‘realistic modelling situations’ were models of fairly complex natural systems, such as the dripping faucet, spruce budworm and ecosystem ecology examples. My objection is not that mathematical models of such systems cannot legitimately and accurately describe structural properties that are genuinely predicable of real-world systems, but simply that for.. (shrink)

Replies to Kevin de Laplante’s ‘Certainty and Domain-Independence in the Sciences of Complexity’ (de Laplante, 1999), defending the thesis of J. Franklin, ‘The formal sciences discover the philosophers’ stone’, Studies in History and Philosophy of Science, 25 (1994), 513-33, that the sciences of complexity can combine certain knowledge with direct applicability to reality.

This collection of papers in epistemic logic is oriented towards applications to game theory and individual decision theory. Most of these papers were presented at the inaugural conference of the LOFT (Logic for the Theory and Games and Decisions) conference series, which took place in 1994 in Marseille. Among the notions dealt with are those of common knowledge and common belief, infinite hierarchies of beliefs and belief spaces, logical omniscience, positive and negative introspection, backward induction and rationalizable equilibria in game (...) theory. (shrink)

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

Heidegger's notion of dasein, Understood as the pre-Conceptual togetherness of man and world, Is deepened by going back to the "beginnings" of this togetherness in the imaginal (archaic) psyche, Which archetypal psychology, Founded by james hillman, Envisions--In the wake of the platonic tradition--As part of the "anima mundi". As a result the phenomenological call "back to the things themselves" is redefined in the sense of "back to the images themselves." imagination in its fully creative import is seen as equivalent to (...) heidegger's "groundless ground" (or being) which he ultimately equates with dasein. (edited). (shrink)

This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into (...) its English version: Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Boston-London-Dordrecht 1991. (shrink)

The paper identifies defining characteristics of the principal models of problem-solving behavior which are useful in developing a general theory of problem-solving. An attempt is made both to make explicit those disagreements between theorists of different persuasions which have served as obstacles to an integrated approach, and to show that these disagreements have arisen from a number of conceptual confusions: The conflict between information processors and behavioral analysts has resulted from a common failure to understand theoretical sufficiency, and hence these (...) theorists have been at a loss to understand one another. Two directions of research in problem-solving, mechanical algorithmic problem-solving and the psychology of invention, have been thought to be divergent, but in fact complement one another once it is clear that problem-solving involves neither discovery nor invention, but rather is a matter of perceptual encoding and processing. Successful problem-solving behavior can be described as adaptive, learning behavior in which organization skills are effectively associated with situationally determined perceptual encoding processes of the individual mechanical or biological problem-solver. (shrink)

Ongoing and anticipated COVID-19 human challenge studies in the UK may advance our understanding of COVID-19 and facilitate the licensure of safe, effective, and easily deployable next-generation COVID-19 vaccines and boosters. We argue that international volunteer recruitment for COVID-19 human challenge trials can help promote diversity in these trials and ensure a sufficient number of eligible volunteers, both of which will increase the benefits of challenge research. We explore the ethical ramifications of dealing with unfair background conditions of global vaccine (...) injustice to expand medical research, and conclude that international recruitment for COVID-19 human challenge trials can be conducted ethically provided that several robust protections are in place for volunteers. (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy Time. Given (...) the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

Chain iteration methods are used to prove a fixed point theorem for set mappings. As an application, a general rule is constructed for finding in Kripke's theory of truth, based on Strong Kleene evaluation scheme for treating sentences lacking a truth-value, language interpretations containing their truth predicates.

Gao, Barzel, and Barabási attempted to devise a method to identify universal resilience in systems. This target was missed due to simplification in the methodology and to the confounding of the system-functions resilience and robustness. These two system-functions are distinct in both their form and in the roles they play in systems. There are many different kinds of both robustness and resilience. To clarify the difference between robustness and resilience, a short guide is provided consisting of six examples of robustness (...) and six examples of resilience. There is a concluding discussion concerning the manner in which robustness and resilience are confounded in the paper “Universal Resilience Patterns in Complex Networks.” -/- . (shrink)