For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Replicated architecture is widely used in the field of real-time collaborative text editor. The idea of address space transformation provides a new way for concurrency control. During concurrent processing, it retraces the document status back to the state when the operations are generated to maintain consistency. However the previous concurrency processes strategy is based on single characters, the transmission cost during processing is too high since every character is packaged and broadcasted to remote sites after they are created by local (...) site. When the network load is high, especially when the network is unstable, this shortage will be even more obvious. Due to this problem, this paper presents a consistency maintenance strategy based on string editing operations, and proposes the string splitting mechanism combined with the idea of the address space transformation in order to maintain consistency. This strategy increases the transmission efficiency while guaranteeing the consistency of the shared document. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Recalling Thomas Nagel’s discussion concerning the difficulties associated with developing a scientific explanation for the nature of experience, Nagel states that current reductionist attempts fail by filtering out any basis for consciousness and thus become meaningless since they are logically compatible with its absence. In this article we call into question the fundamental philosophy of the mind-brain identity hypothesis of Cognitive Theory: ‘What processes in the brain give rise to awareness?’ and the associated search for ‘neural correlates of consciousness’ (NCC). (...) The proper scientific manner of posing the query should simply be ‘What processes give rise to awareness?’. We begin to formalize the Eccles psychon and summarize one of fourteen empirical protocols to test this putative model. This requires a new science of Unified Field, UF Mechanics, entailing in terms of our current stage of development operationally completed forms of quantum theory, gravitation and cosmology arising from a unique derivation of the M-Theory (string theoretic) vacuum. Until now the quest for psychophysical bridging has typically been in the arena between brain and quantum geometry; and many have wondered if contemporary science is sufficient for the task. Nagel further asks ‘what would be left if one removed the viewpoint of the subjective observer’ and then suggests ‘that the remaining properties would be the physical processes themselves or states intrinsic to the experience of awareness’. We examine a new theoretical framework for introducing and experimentally testing the underlying physical cosmology of these noetic parameters. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

This work-in-progress paper consists of four points which relate to the foundations and physical realization of quantum computing. The first point is that the qubit cannot be taken as the basic unit for quantum computing, because not every superposition of bit-strings of length n can be factored into a string of n-qubits. The second point is that the “No-cloning” theorem does not apply to the copying of one quantum register into another register, because the mathematical representation of this copying (...) is the identity operator, which is manifestly linear. The third point is that quantum parallelism is not destroyed only by environmental decoherence. There are two other forms of decoherence, which we call measurement decoherence and internal decoherence, that can also destroy quantum parallelism. The fourth point is that processing the contents of a quantum register “one qubit at a time” destroys entanglement. (shrink)

Revista Cunoașterea Științifică este o publicație trimestrială din domeniile științei și filosofiei, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIALE / EDITORIALS -/- Dan D. FARCAȘ Limite ale cunoașterii în cuvânt, logică, matematică și teorii Limits of knowledge in words, logic, mathematics and theories Nicolae SFETCU Cunoașterea științifică – Metodologii Scientific knowledge – Methodologies Nicolae SFETCU Știința schimbărilor climatice The science of climate change Nicolae SFETCU Știință sau pseudoștiință? Science or Pseudoscience? -/- ȘTIINȚE NATURALE / NATURAL SCIENCE (...) -/- Nicolae SFETCU Epistemologia gravitației cuantice Epistemology of Quantum Gravity Nicolae SFETCU Fabrica de apă grea Drobeta Turnu Severin: Construcția Drobeta Turnu Severin Heavy Water Plant: Construction Nicolae SFETCU Fabrica de apă grea Drobeta Turnu Severin: Funcționarea și oprirea Drobeta Turnu Severin Heavy Water Plant: Functioning and Shutting Down Albert TORMA PandemiA: Femei și polițiste Pandemia: Women and Policewomen Adrian KLEIN, Robert Neil BOYD Interacțiuni între creier, biocâmpuri și lumea fizică Interactions between the brain, the biofields, and the physical Adrian KLEIN Conectivitatea psiho-neuronală The Psycho-Neural Connectivity Nicolae SFETCU Probleme cu teoria corzilor din gravitația cuantică Problems with String Theory in Quantum Gravity -/- ȘTIINȚE SOCIALE / SOCIAL SCIENCE -/- Miriam MIRCEA Manipularea ca fenomen corelativ al puterii politice – o sinteză Manipulation as a correlative phenomenon of political power – a synthesis Daniela Georgiana GOLES, Oana Ștefania COȘA Repetabilitatea istorica a problemelor de securitate manageriale și noile cerințe in contextul economic actual The historical repeatability of managerial security issues and the new requirements in the current economic context Ionuț IORDACHE Reglementări internaționale privind falimentul International bankruptcy regulations Vlad BARBU, Ionuț IORDACHE, Adrian-Călin CUCULIS, Naciu Costin MERGEANE Rolul statului în relațiile de muncă The Role of the State in Labour Relations Tiberiu TĂNASE 24 Ianuarie, o zi cu dublă semnificație națională January 24, a day with double national significance Stan PETRESCU Iuliu Maniu – Lumini și umbre: O viață închinată Marii Uniri și propășirii României Mari Iuliu Maniu – Lights and shadows: A life devoted to the Great Union and the prosperity of Greater Romania Dumitru MAZILU Parohia în textul sfintelor canoane și în practică bisericească The parish in the text of the holy canons and in church practice Dumitru MAZILU Despre calitatea de paroh-administrator în funcționarea unei unități parohiale moderne About the quality of parish administrator in the operation of a modern parish unit Alexandra MOCANU Cultura anime în România Anime culture in Romania Alexandra MOCANU Abandonul școlar în România School dropout rate in Romania Emilian M. DOBRESCU Importanța pământurilor rare pentru economia mondială The Importance of the Rare Earths for the World Economy Nicolae SFETCU Modele ale inteligenței emoționale în cercetare și educație Models of Emotional Intelligence in Research and Education Nicolae SFETCU Aventurile lui Pinocchio – Educația The Adventures of Pinocchio – Education Dan D. FARCAȘ Câteva opinii privind etnogeneza românilor (1) Some opinions regarding the ethnogenesis of the Romanians (1) Denisa Oana PĂTRAȘCU Sancțiunile internaționale, măsură suprastatală de coerciție International sanctions, supra-state measure of coercion Tiberiu TĂNASE Puncte de vedere asupra proiectului de democratizare a Orientului Mijlociu Extins Viewpoints on the project of democratization of Middle East Extended -/- ȘTIINȚE FORMALE / FORMAL SCIENCE -/- Alida Monica Doriana BARBU Aplicații ale AI, machine learning, deep learning și big data în domeniul militar Applications of AI, machine learning, deep learning and big data in the military field Nicolae SFETCU Identitatea și inteligența artificială în Aventurile lui Pinocchio Identity and Artificial Intelligence in The Adventures of Pinocchio Sebastian BIDAȘCĂ Etica în inteligența artificială: provocări și perspective Ethics in Artificial Intelligence: Challenges and Prospects Nicolae SFETCU Măsurarea formei populației pentru înțelegerea tendințelor demografice Measuring population shape to understand demographic trends -/- FILOSOFIE / PHILOSOPHY -/- Adrian KLEIN Legea karmică – O abordare sinoptică Karmic Law – A Synoptic Approach Adrian KLEIN, Robert Neil BOYD Principiile subcuantice ale vieții și conștiinței Subquantum Principles of Life and Consciousness Silviu PETRE Pentru un realism al secolului XXI For a 21st century realism Dan D. FARCAȘ Câteva reflecții privind contactele extrasenzoriale Some reflections on extrasensory contacts Nicolae SFETCU Teorii cauzale ale referinței Causal theories of reference Nicolae SFETCU Filosofia inteligenței emoționale Philosophy of Emotional Intelligence -/- RECENZII CĂRȚI / BOOK REVIEWS -/- Traian OSTAHIE Nicolae Mavrocordat – disimulare și prudență la început de secol XVIII - Răgazurile lui Filotheu Nicolae Mavrocordat - concealment and prudence at the beginning of the 18th century - Răgazurile lui Filotheu Nicolae SFETCU Reconstrucția rațională a științei prin programe de cercetare The rational reconstruction of science through research programs Nicolae SFETCU Umanism, devenire și demiurgul în Aventurile lui Pinocchio Humanism, Becoming and the Demiurge in The Adventures of Pinocchio -/- ISSN 2971 – 9070 ISSN-L 2821 – 8086, DOI: 10.58679/CS49741. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a (...) second which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

This paper will examine poetry and rhythm in relation to biological and evolutionary models in order to develop a hypothetical methodology by which certain aspects of literature may be examined through an evolutionary lens. It is by no means an attempt at a finalizing or totalizing way of examining literature, but as such attempts have largely been ignored or assaulted, there is a rather large niche to fill. Hence this article will attempt to redefine literature as a ‘Third Level Darwin (...) Machine’ and parallel the science/culture/Theory debate with that in physics/string theory and then it will connect poetry to Boyd’s idea of ‘rhythm and attention’ along with 'motor resonance', mirror neurons and music theory. It will then look at the influence of Emily Dickinson’s rhythmic and metaphoric compression on the poetry of Hart Crane as a mimetic function following Boyd’s notion of attention, pattern and play as functions of a Third Level Darwinian Machine which will be the operative foundation for a naturalized (but not totalized) account of poetic effect and its relation to the human species’ evolved history. (shrink)

Compared to the COP26 summit in Glasgow last year, the COP27 summit in Sharm el-Sheikh has been distinguished by greater inclusion of voices from the Global South, as evidenced by the acceptance of a proposal to create a ‘loss and damage’ fund for developing countries that are suffering from climate disasters. However, it remains to be seen how the mechanisms for the implementation of this fund will be worked out. Western developed countries were vocal in their opposition to the fund (...) throughout the summit, and it was only due to relentless pressures by developing countries that they eventually relented. If past events are anything to go by, then it is highly unlikely that the most vulnerable countries will get to have a substantial say in how the climate fund is operated. In fact, the Western developed countries are already trying to use this as an opportunity to drive a wedge between developing countries and China, whose lending and investment policy presents a favourable alternative to ‘strings-attached’ IMF funding. This is precisely one of the hallmarks of ‘climate colonialism’: a concept that refers to the deployment of justifications ostensibly related to the need to bring the causes of anthropogenic climate change under control, but which in fact serve to legitimize the domination of weaker, poorer states in the periphery of the world-system by stronger wealthier states in the core. What this means is that those who are most responsible for the impending catastrophe will get to dictate the terms of the response (even if ineffective) in a manner that would ensure they can externalize the costs to those who are least culpable. It is well known that poorer countries in warmer climates will be the most severely affected as the plant continues to warm. (shrink)

In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of (...) theory assessment given the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

Eternalism, the view that what we regard locally as being located in the past, the present and the future equally exists, is the best ontological account of temporal existence in line with special and general relativity. However, special and general relativity are not fundamental theories and several research programs aim at finding a more fundamental theory of quantum gravity weaving together all we know from relativistic physics and quantum physics. Interestingly, some of these approaches assert that time is not fundamental. (...) If time is not fundamental, what does it entail for eternalism and the standard debate over existence in time? First, I will argue that the non-fundamentality of time to be found in string theory entails standard eternalism. Second, I will argue that the non-fundamentality of time to be found in loop quantum gravity entails atemporal eternalism, namely a novel position in the spirit of standard eternalism. (shrink)

The strings of physics’ string theory are the binary digits of 1 and 0 used in computers and electronics. The digits are constantly switching between their representations of the “on” and “off” states. This switching is usually referred to as a flow or current. Currents in the two 2-dimensional programs called Mobius loops are connected into a four-dimensional figure-8 Klein bottle by the infinitely-long irrational and transcendental numbers. Such an infinite connection translates - via bosons being ultimately composed of (...) 1’s and 0’s depicting pi, e, √2 etc.; and fermions being given mass by bosons interacting in matter particles’ “wave packets” – into an infinite number of 8-Kleins. Each Klein 1) is one of the universe’s subuniverses (our own is 13.7 billion years old), 2) is made flexible through its binary digits which seamlessly, or almost seamlessly, join it to surrounding subuniverses and eliminate its central hole, and 3) possesses warped time and space because its foundation is the programmed curves in its mathematical Mobius loops (along with the twists they generate [p.7]). The universe functions according to the rules of fractal geometry. So the Mobius does not exist only at the cosmic level. It also manifests at the quantum scale, giving us photons and protons etc. Space and time are no longer separate, but are an indivisible space-time. So if space and the universe are infinite, how can time not be eternal? The past and the future must both extend forever (the idea of time being finite arises from confusion of our subuniverse with the one infinite universe). -/- BITS (Binary digiTS) only suggest existence of the divine if time is linear. Although a non-supernatural God is proposed via the inverse-square law coupled with eternal quantum entanglement, Einstein taught us that time is warped. Warped time is nonlinear, making it at least possible that the BITS composing space-time and all particles originate from the computer science of humans. -/- I suspect many readers will be content with reading this abstract. While there are more details, and mathematics, in the content; my natural style of writing is to avoid jargon and maths. I also tend to get philosophical. While I personally feel that there’s a lot of precious information in the content, I realize it won’t all be to everyone’s liking. Other subjects dealt with in this article are - the “Pioneer anomaly”, refinement of gravitational physics, dark energy and dark matter, quantum phenomena like mass and electric charge and quantum spin, Kepler’s laws of planetary motion, deflection of starlight by the sun, tides, falling bodies, Earth’s orbit, ancient Greek philosophers, Newton, Kepler, Galileo, Aristotle, Parmenides, Zeno of Elea, time travel into the past as well as the future, the elimination of distances in space, humanity’s construction of this universe we live in, The Law of Conservation of Matter-Energy, and support for the science-fiction-like idea of the electronic binary digits of 1 and 0 being the building blocks of our universe. (shrink)

I argue that David Lewis is too quick to deny the presentist the right to employ span operators. There is no reason why the presentist could not help herself to both primitive tensed slice operators and primitive span operators. She would then have another device available to eliminate ambiguities and explain why sentences with embedded contradictions may nevertheless be true.

Our examination of universal origins and fine-tuning will begin with a discussion of infl ationary scenarios grafted onto Big Bang cosmology and the proof that all infl ationary spacetimes are past-incomplete. After diverting into a lengthy critical examination of the “different physics” offered by quantum cosmologists at the past-boundary of the universe, we will proceed to dissect the inadequacies of infl ationary explanations and string-theoretic constructs in the context of three cosmological models that have received much attention: the Steinhardt-Turok (...) cyclic ekpyrotic model (which does not invoke inflation), the Gasperini-Veneziano pre-Big Bang infl ationary model, and the inflationary string landscape model advanced by Susskind, Polchinski, Bousso, and Linde. We will argue that none of these highly speculative string cosmologies removes the necessity of a beginning to the process of universe generation, and we will emphasize the implications of this fact. Then, since the inflationary “mechanism” only really addresses the fi ne-tuning of the initial conditions of the universe and not the conditions embodied in its finely tuned laws and constants, we will analyze the adequacy of the string multiverse in its three versions (cyclic ekpyrotic, pre-Big Bang, and landscape) for explaining the nomological structure and values of these precisely tuned life-compatible universal parameters. When all is said and done, it will be clear that transcendent intelligent agency is not just the only causally suffi cient and therefore metaphysically sound explanation for universal origins and fine-tuning, but it is also much more parsimonious, elegant, and resonant with meaning than all of the ad hoc machinations of multiverse cosmology. (shrink)

Since string theory has not been able to explain phenomena to date, it may seem that this confirms Feyerabend's view that there is no "method" of science. And yet, string theory is still the most active research program for quantum gravity. But, compared to other non-falsifiable theories, this has something extra, especially mathematical language, with a clear logic of deductions. Up to a point it can reproduce classical gauge theories and general relativity. And there is hope that in (...) the not too distant future experiments can be developed to test the theory. DOI: 10.13140/RG.2.2.28892.33920. (shrink)

Прись И. Е. Бозон Хиггса, квантовые струны и философия физики / И. Е. Прись. - СПб: Алетейя, 2021. - 192 с. - (Тела мысли). -/- ISBN: 978-5-00165-271-7 -/- Аннотация: -/- Книга состоит из четырёх частей. В первой части даётся общее представление о бозоне Хиггса и механизме спонтанного нарушения симметрии. Поднимаются философские вопросы относительно понятия научной теории, концепта частицы, классификации и реальности элементарных частиц и, в частности, реальности виртуальных частиц. Во второй части рассматривается вопрос онтологии теорий струн, связанных между собой преобразованиями (...) дуальности. Дуальные теории определяются как теории, которые являются инстанциациями одного и того же витгенштейновского правила – понятие, извлекаемое из философии позднего Витгенштейна. В третьей части показано, каким образом конструктивный эмпирицизм Бас ван Фраассена может быть преобразован в контекстуальный (критический) научный реализм – позицию, отстаиваемую на протяжении всей книги. В четвёртой части устраняются проблемы, с которыми сталкиваются репрезентационализм, реляционизм, перспективизм и феноменологический подход в определении понятия научных данных. -/- . (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

In quantum field theory, the main obstacle is the occurrence of the untreatable infinities in the interactions of the particles due to the possibility of arbitrary distances between the point particles. Strings, as extended objects, provide a better framework, which allows finite calculations. String theory is part of a research program in which point particles in particle physics are replaced by one-dimensional objects called strings. It describes how these strings propagate through space and interact with one another. The purpose (...) of string theory was to replace elementary particles with one-dimensional strings in order to unify quantum physics and gravity. DOI: 10.13140/RG.2.2.18894.82240. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

We trace the difference between the ways in which apes and humans co–operate to differences in communicative abilities, claiming that the pressure for future–directed co–operation was a major force behind the evolution of language. Competitive co–operation concerns goals that are present in the environment and have stable values. It relies on either signalling or joint attention. Future–directed co–operation concerns new goals that lack fixed values. It requires symbolic communication and context–independent representations of means and goals. We analyse (...) these ways of co–operating in game–theoretic terms and submit that the co–operative strategy of games that involve shared representations of future goals may provide new equilibrium solutions. (shrink)

The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...) relation between strategic and operational planning and crises management. In spite this relation existence, it need more improvement and expanding. Also there are shortcomings in the way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggests that UNRWA must invest in more resources to enhance strategic and operational palming and improve other methods to face potential crises in the future. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

The notion of consciousness has been studied in many ways out of which, there could be a scientific approach of studying it using string theory which enjoys the mathematical coherence. The paper aims to study consciousness using string theory in which the role of graviton will be discussed. The notion of parallel universes given by string theory would be tackled to understand consciousness and make an attempt to clarify the notion of other world or universe and parallel (...) universes, the problems of time travel, soul and death in the universe or universes of strings which gets twisted and compactified. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the debate (...) in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...) to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Рассматривается вопрос онтологии теорий струн, связанных между собой преобразованиями дуальности. Дуальные теории определяются как теории, которые являются инстанциациями одного и того же витгенштейновского правила – понятие, извлекаемое из философии позднего Витгенштейна. Дуальные теории как различные употребления, или аспекты, некоторого общего правила (нормы), рассматриваются как относящиеся к исключающим друг друга контекстам, между которыми, однако, устанавливается связь в рамках более широкого контекста – контекста оценки, то есть контекста самой дуальности. Онтология контекстуальна – каждая теория струн имеет свою онтологию в своём собственном контексте (...) – и, соответственно, плюралистична, но в контексте оценки существует единственная онтология, определяемая общим правилом – дуальностью (М-теорий). В рамках предлагаемой позиции контекстуального реализма и плюрализма проблема эмпирической недоопределённости теории не возникает. Не возникают также проблемы, с которыми сталкивается метафизический плюрализм при рассмотрении дуальных теорий: проблема теоретической сверхдетерминации и проблема онтологической фрагментации мира. ISBN-13: 978-620-2-66939-9 . (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

In the author’s previous contribution to this journal (Rosen 2015), a phenomenological string theory was proposed based on qualitative topology and hypercomplex numbers. The current paper takes this further by delving into the ancient Chinese origin of phenomenological string theory. First, we discover a connection between the Klein bottle, which is crucial to the theory, and the Ho-t’u, a Chinese number archetype central to Taoist cosmology. The two structures are seen to mirror each other in expressing the psychophysical (...) (phenomenological) action pattern at the heart of microphysics. But tackling the question of quantum gravity requires that a whole family of topological dimensions be brought into play. What we find in engaging with these structures is a closely related family of Taoist forebears that, in concert with their successors, provide a blueprint for cosmic evolution. Whereas conventional string theory accounts for the generation of nature’s fundamental forces via a notion of symmetry breaking that is essentially static and thus unable to explain cosmogony successfully, phenomenological/Taoist string theory entails the dialectical interplay of symmetry and asymmetry inherent in the principle of synsymmetry. This dynamic concept of cosmic change is elaborated on in the three concluding sections of the paper. Here, a detailed analysis of cosmogony is offered, first in terms of the theory of dimensional development and its Taoist (yin-yang) counterpart, then in terms of the evolution of the elemental force particles through cycles of expansion and contraction in a spiraling universe. The paper closes by considering the role of the analyst per se in the further evolution of the cosmos. (shrink)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, Fogelin (...) and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that (...) every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations. (shrink)

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. This chapter analyses the nature and derivation of spacetime topology and geometry according to string theory.

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

While immigrants are at liberty to start self-help financial associations (referred to as stokvels in South Africa) to cater for their unfufilled need for capital, the benefits of this laudable effort are seldom maximised due to a number of shortcomings. Aim: This paper seeks to ascertain the operational obstacles that immigrant-run stokvels face and to suggest solutions accordingly. Method: Aiming to complement each other, quantitative and qualitative research approaches were utilised to conduct this study. Quantitative and qualitative data were collected (...) through a self-administered questionnaire and one-on-one in-depth interviews. Purposive sampling technique was employed to reach the 123 participants who responded to the survey questionnaire and the 10 that took part in oneon-one in-depth interviews. Results: The typical immigrant African entrepreneur who participates in a stokvel, is a married male between ages of 30 and 46, and is fairly educated. While most of the respondents conceded that their stokvels faced operational problems, they also noted that the default on loan repayment and unskilled personnel on the loan management team were the issues of a greater concern. Hence, providing training and practical management skills becomes paramount to the smooth functioning of these stokvels. Uniqueness and implications: Though presumed to be a possible source of finance for immigrant-owned businesses, most studies have not explored the operational challenges that stokvels in South Africa face. The lessons drawn from this study may be of benefit to the respondents, policy-makers and academics. (shrink)