A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

The extremely rapid evolution of portable technologies and children's receptiveness to constantly accessing the latest information creates the conditions for a number of new developments in most areas of activity. Moreover, their attraction to real-time visualisation of various events and competitions projects a certain level of perception and imitation of certain behaviours. Therefore, special attention should be paid to them from the earliest stages, i.e., from the time they are selected to play various sports. Also, the complementarity of some sports (...) must be taken into account when it is desired to obtain positive results. Age group adaptation and the investigation of some of the parameters relevant to different age groups have generated values that can support positive outcomes in the long term and thus increase motivation to participate in sport at a competitive level. (shrink)

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

In this paper we define the polyadic Pavelka algebras as algebraic structures for Rational Pavelka predicate calculus . We prove two representation theorems which are the algebraic counterpart of the completness theorem for RPL∀.

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras,, (which are well-understood) to the more general category \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal L}$$\end{document}Mn of Łukasiewicz–Moisil Algebras. Furthermore, the relationships of LMn-algebras to other many-valued logical structures, (...) such as the n-valued Post, MV and Heyting logic algebras, are investigated and several pertinent theorems are derived. Applications of Łukasiewicz–Moisil Algebras to biological problems, such as nonlinear dynamics of genetic networks – that were previously reported – are also briefly noted here, and finally, probabilities are precisely defined over LMn-algebras with an eye to immediate, possible applications in biostatistics. (shrink)

In A Treatise of Artificial Magnets, John Michell observes, Not being aware of this property [i.e. the equality of attraction and repulsion], he [Gilbert] concluded from some experiments he had made, not very irationally [sic], that the Needle was not attracted by the magnet, but turned into its position by, what he calls, a disponent virtue […]. For Michell, the disponent virtue 1 is the underlying cause of magnetic phenomena in Gilbert’s treatment. He is not alone. Ridley and Carpenter also (...) read Gilbert’s magnetism as positing a disponent virtue.2 I agree. In this paper, I show what it would entail to treat Gilbertian magnetism as... (shrink)

This book examines the philosophical and scientific achievements of Sir Kenelm Digby, a successful English diplomat, privateer and natural philosopher of the mid-1600s. Not widely remembered today, Digby is one of the most intriguing figures in the history of early modern philosophers. Among scholars, he is known for his attempt to reconcile what perhaps seem to be irreconcilable philosophical frameworks: Aristotelianism and early modern mechanism. This contributed volume offers the first full-length treatment of Digby’s work and of the unique position (...) he occupied in early modern intellectual history. It explores key aspects of Digby’s metaphysics, epistemology, and philosophical method, and offers a new appraisal of his contributions to early modern natural philosophy and mathematics. A dozen contributors offer their expert insight into such topics as Body, quantity, and measures in Digby's natural philosophy Ecumenism and common notions in Digby Aristotelianism and accidents in Digby's philosophy Digby on body and soul Digby on method and experiments This book volume will be of benefit to a broad audience of scholars, educators, and students of the history of early modern science and philosophy. (shrink)

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

The lack of double negation and de Morgan properties makes fuzzy logic unsymmetrical. This is the reason why fuzzy versions of notions like closure operator or Galois connection deserve attention for both antiotone and isotone cases, these two cases not being dual. This paper offers them attention, comming to the following conclusions: – some kind of hardly describable ‘‘local preduality’’ still makes possible important parallel results; – interesting new concepts besides antitone and isotone ones (like, for instance, conjugated pair), that (...) were classically reducible to the first, gain independency in fuzzy setting. (shrink)

In The Sea–Mans Kalendar, Henry Bond predicted that magnetic declination would be 0° in 1657, and would then increase westerly for 30 years. Based on these predictions, Bond went on to claim in The Longitude Found that, by using his model of magnetism, he can offer a technique for determining longitude. This paper offers an assessment of Bond’s method for longitude determination and critically evaluates Thomas Hobbes’s so–far neglected response to Bond’s proposal in Decameron physiologicum, in which Hobbes complains about (...) what he takes to be Bond’s implicit natural philosophy and about his use of spherical trigonometry. (shrink)

We introduce the notion of n-nuanced MV-algebra by performing a Łukasiewicz–Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz–Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, n-nuanced MV-algebras amalgamate two distinct approaches to many valuedness: that of the infinitely valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil n-nuanced logic, which is more concerned with nuances of truth rather than (...) truth degree. We study n-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of n-nuanced ordered group via an extension of the Γ construction is also analyzed. (shrink)

Chang algebras as algebraic models for Chang's modal logics [1] are defined. The main result of the paper is a representation theorem for these algebras.

In previous work, we have introduced and studied a lifting property in congruence–distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence–distributive algebras; in this paper we introduce and study this property, which we have called the Factor Congruence Lifting Property. We also define the Boolean Lifting Property in varieties (...) with \ and \ having Boolean Factor Congruences and no skew congruences, and prove that it coincides to the Factor Congruence Lifting Property in the congruence–distributive case; we particularize this result to bounded distributive lattices and residuated lattices. (shrink)

We study the forcing operators on MTL-algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t -norm based logic . At logical level, they provide the notion of the forcing value of an MTL-formula. We characterize the forcing operators in terms of some MTL-algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL-formula.

Power structures are obtained by lifting some mathematical structure (operations, relations, etc.) from an universe X to its power set ${\mathcal{P}(X)}$ . A similar construction provides fuzzy power structures: operations and fuzzy relations on X are extended to operations and fuzzy relations on the set ${\mathcal{F}(X)}$ of fuzzy subsets of X. In this paper we study how this construction preserves some properties of fuzzy sets and fuzzy relations (similarity, congruence, etc.). We define the notions of good, very good, Hoare good (...) and Smith good fuzzy relation and establish some connections between them, generalizing some results of Brink, Bošnjak and Madarász on power structures. (shrink)

The paper explores the links between philosophy and learning with a view to highlight some of the today’s most influential philosophical “paradigms” of education. The concepts of “paradigm” and “philosophical paradigm of education” are discussed – and nuanced - based on some explicit references to them in the current philosophical and pedagogical literature. While taking into account all the different ways in which philosophy may be inquired with regard to its influence on education, the paper focuses merely on philosophical contributions (...) to the understanding of specific issues such as the human potential for learning; the concepts of cognition and learning; epistemological and value assumptions in teaching and learning; and psycho-social aspects exploring the relationshipsbetween the self and the “other” via communication and other forms of social interaction. While assuming that the relationships between philosophy and education are not unidirectional (in the sense that not only philosophy impacts on education, but also vice-versa, education issues may trigger philosophical reflection and debates), the paper analyses how different contemporary influential philosophical orientations (i.e. Pragmatism and Neo-pragmatism; The Critical Theory; Post-modern and Relativistic approaches; Constructivism) paved their way into educational thinking, policy making and teaching and learning practices. Whereas acknowledging that philosophy is not the only strong “foundation” for education, the paper stresses nevertheless the benefits of a reflective attitude ineducation with regard to its main (philosophical) assumptions. Choices in education are not always following a reflective pattern and changes are very often introduced because they are fashionable. Recurrent interrogations on important philosophical assumptions of educational theories, policies and practices may yet bring about a better balance between “innovation” and “tradition” and/or between “change” and “stability” while avoiding the many pitfalls of new andattractive, yet ephemeral, education fashions. (shrink)

This paper is a contribution to the algebraic logic of probabilistic models of Łukasiewicz predicate logic. We study the MV-states defined on polyadic MV-algebras and prove an algebraic many-valued version of Gaifman’s completeness theorem.

This book presents G. A. Cohen's Gifford Lectures, delivered at the University of Edinburgh in 1996. Focusing on Marxism and Rawlsian liberalism, Cohen draws a connection between these thought systems and the choices that shape a person's life. In the case of Marxism, the relevant life is his own: a communist upbringing in the 1940s in Montreal, which induced a belief in a strongly socialist egalitarian doctrine. The narrative of Cohen's reckoning with that inheritance develops through a series of sophisticated (...) engagements with the central questions of social and political philosophy. In the case of Rawlsian doctrine, Cohen looks to people's lives in general. He argues that egalitarian justice is not only, as Rawlsian liberalism teaches, a matter of rules that define the structure of society, but also a matter of personal attitude and choice. Personal attitude and choice are, moreover, the stuff of which social structure itself is made. Those truths have not informed political philosophy as much as they should, and Cohen's focus on them brings political philosophy closer to moral philosophy, and to the Judeo-Christian ethical tradition, than it has recently been. (shrink)

A highly original reading of Immanuel Kant that demonstrates his interest in the social realm of human interaction.

Containing selected papers on the fundamentals and applications of Complexity Science, this multi-disciplinary book presents new approaches for resolving complex issues that cannot be resolved using conventional mathematical or software models. Complex Systems problems can occur in a variety of areas such as physical sciences and engineering, the economy, the environment, humanities and social and political sciences. Complexity Science problems, the science of open systems consisting of large numbers of diverse components engaged in rich interaction, can occur in a variety (...) of areas such as physical sciences and engineering, the economy, the environment, humanities and social and political sciences. The global behaviour of these systems emerges from the interaction of constituent components and is unpredictable but not random. The key attribute of Complex Systems is the ability to self-organise and adapt to unpredictable changes in their environment. (shrink)

A leading figure in neuroaesthetics makes the case that aesthetic experience can be meaningfully measured by the tools of neuroscience.

G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best. The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are: * A Defense of Common Sense * Certainty * Sense-Data * External and Internal Relations * Hume's Theory Explained * Is Existence a Predicate? * Proof of an External World (...) In addition, this collection also contains the key early papers in which Moore signals his break with idealism, and three important previously unpublished papers from his later work which illustrate his relationship with Wittgenstein. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

This chapter contains section titled: I II III IV V VI VII VIII IX X XI XII Coda Appendix Acknowledgements.

Background: Using the power of Internet, crowdfunding platforms are currently changing the traditional landscape of fundraising. Social media-based IT platforms in particular are bringing the creators of crowdfunding projects closer than ever to potential investors. A large variety of factors function as determinants of individuals' intention to participate in crowdfunding and have an intertwined impact on funding as the ultimate project goal.Objectives: For a better understanding of investor behavior in social media-based crowdfunding projects, this paper covers identifying, analyzing, and classifying (...) general and specific factors of investor motivation, based on the literature in the field.The main focus is the relationship between the affordances provided by social media-based crowdfunding platforms and the psychological determinants of investor motivation in innovative start-up projects.Methods: Using IEEE Explore, Clarivate Web of Science, ScienceDirect, and Scopus, we conducted a systematic review of the existing research on the emerging role of crowdfunding as a disruptive technology in financing the start-up innovative projects. The paper explores the main determinants of investor motivation and aims to streamline the success factors in crowdfunding campaigns.Results: A total of 1,216 publications were identified after searching the aforementioned databases and, upon refining the results, 515 articles were considered for the final sample. After reading the titles and abstracts, the sample was reduced to 78 articles that were read in-depth and synthesized in accordance with the defined research questions. The selected articles were clustered into three main categories: general studies, determinants of investor behavior, and success factors.Conclusions: In the new global economy, crowdfunding platforms have become the nexus between the emerging creators of innovative products and services and the necessary funding sources. This connection is possible via a cumulative collection of contributions from multiple investors recruited from the audience of the selected platform, without time or space constraints. However, the determinants of the investment decision are very different in the case of social media-based crowdfunding platforms compared to determinants in the mainstream environment. This paper surveys these motivators and reveals how platform features can be used to persuade individuals to make a financial contribution toward the success of a project. (shrink)