Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a 'typical' dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light --a different light-- on philosophical debates on the laws of (...) nature. In the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The conditions required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such conditions might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens [2003], which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since (...) this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity. (shrink)

It is not uncommon in the history of science and philosophy to encounter crucial experiments or crucial objections the truth-value of which we are ignorant, that is, about which we suspend judgment. Should we ignore such objections? Contrary to widespread practice, I show that in and only in some circumstances they should not be ignored, for the epistemically rational doxastic attitude is to suspend judgment also about the hypothesis that the objection targets. In other words, suspension of judgment “propagates” from (...) the crucial objection to the hypothesis. In this paper I study under which conditions this phenomenon occurs, and discuss its significance for the topics of skepticism, scientific realism, and peer disagreement. (shrink)

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees of (...) belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur to fields (...) that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

Como introducción al monográfico sobre reduccionismo y emergencia brindamos aquí un contexto teórico al debate contemporáneo. Hablaremos primero del acercamiento naturalista en filosofía (§2), así como de dos de las características más importantes de la emergencia: autonomía y universalidad (§3). Finalmente, basándonos en la literatura contemporánea (principalmente en Patricia Palacios y Jessica Wilson, además de Mario Bunge y Alicia Juarrero) presentamos algunas de las definiciones y distinciones más importantes para entender mejor el debate sobre la emergencia (§4).

I summarize, in this informal interview, the main approaches to the ‘Past Hypothesis’, the postulation of a low-entropy initial state of the universe. I’ve chosen this as an open problem in the philosophical foundations of physics. I hope that this brief overview helps readers in gaining perspective and in appreciating the diverse range of approaches in this fascinating unresolved debate.

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis is supported by (...) examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

En esta entrada se mencionan las principales cuestiones en los fundamentos de la mecánica estadı́stica y la termodinámica, y las cuestiones filosóficas en las que repercuten estas áreas de la fı́sica. Al final se añaden lecturas recomendadas, enfatizando las traducidas al español.

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

Il concetto di relazione è colto come concetto antinomico e il valore è la coscienza di questa antinomia.

Review the Istvan Kiraly V.'s book: Death and History.

The notion of Providence is born with the Greek word prόnoia which, however, originally meant "premeditation" (of a crime) or "design" of an artefact, and had nothing to do with religion. It was Plato in the Timaeus who adopted the word from the common language to indicate the rational and benevolent principle that inspired the anonymous God, which he defined as dēmiourgόs (also this word originally meant a professional technician, for example, a doctor or an architect) in his work of (...) shaping the cosmos. The doctrine of divine Providence was taken up by Middle Platonism, and with it the need to "justify" the divinity for the presence of evil in the world, what Leibniz will call "theodicy". Stoicism also supported Providence, but here there is no "theodicy" because in Stoic philosophy rationality and beneficial purpose are intrinsic to the cosmic process and therefore there is no external architect to be charged and absolved. Christian authors of the first centuries recycled the arguments of the Platonists in support of Providence, despite the fact that the word prόnoia never appears in the New Testament, nor is there any Hebrew equivalent in the Tanak. Perhaps there is some compatibility problem between the philosophical theory of Providence and the biblical-Christian view of God. (shrink)

Todd and Rabern (2021) have argued that if we assume that future contingents are untrue and if we accept the Retro-closure principle (???? → PF(????)), then the existence of a temporal omniscient entity becomes metaphysically impossible. Since the truth of a metaphysical and theological theory should not be dependent on questions of temporal semantics, Todd and Rabern conclude that, if one wishes to maintain that future contingents are untrue, one must abandon the Retro-closure principle. The aim of this paper is (...) to propose a temporal semantics system in which future contingents are untrue, the Retro-closure principle is valid, and the possibility of the existence of an omniscient and temporal being is guaranteed. (shrink)

Abstract In this chapter, we challenge the presupposed concept of innovation in the responsible innovation literature. As a first step, we raise several questions with regard to the possibility of ‘responsible’ innovation and point at several difficulties which undermine the supposedly responsible character of innovation processes, based on an analysis of the input, throughput and output of innovation processes. It becomes clear that the practical applicability of the concept of responsible innovation is highly problematic and that a more thorough inquiry (...) of the concept is required. As a second step, we analyze the concept of innovation which is self-evidently presupposed in current literature on responsible innovation. It becomes clear that innovation is self-evidently seen as (1) technological innovation, (2) is primarily perceived from an economic perspective, (3) is inherently good and (4) presupposes a symmetry between moral agents and moral addressees. By challenging this narrow and uncritical concept of innovation, we contribute to a second round of theorizing about the concept and provide a research agenda for future research in order to enhance a less naïve concept of responsible innovation. (shrink)

The analysis of moral subject in consequentialist ethics (as a kind of nonutilitaristic consequentialism) aims to show, that moral subject is of basie importance for it - regardeless to the fact, that its analysis focuses predominantly on action and its concequences. It is the moral subject, which enables the action and its consequences to be performed. So understanding the conditions of moral subjecťs action means understanding the moral subject itself. This understanding draws upon the typology of moral subjects that makes (...) the prediction of certain kinds of action as well as oftheir consequencies possible. (shrink)

The species concept is one of the central concepts in biological science. Although modern systematics speculates about the existence of a complex hierarchy of nested taxa, biological species are considered particularly important for the active role they play in evolution. However, neither theoretical biologists nor philosophers of biology have come to an agreement about what a species is. In this chapter, we address two questions pertaining to biological species: (1) are they individuals or universals? and (2) are they bona fide (...) or fiat entities? In section The Species-as-Individuals View, we illustrate the reasons that have led many scholars to support the view that species are individuals. In the next two sections, we show that the relational concepts of species – on which the species-as-individuals view is based – provide neither necessary nor sufficient conditions for species membership. This seriously undermines the species-as-individuals view. In the section A Conceptualist Model for the Metaphysics of Species, we advance the proposal that species are fiat concepts (and thus, universal entities partially dependent on the human mind) carved in a multi-dimensional space representing the properties that the biological organisms possess. The final section concludes. (shrink)

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, (...) our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience. (shrink)

In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to be conceptualized (...) as wicked problems or sustainability-related ecosystem failures. Because all actors involved in the entrepreneurial process are characterized by their epistemic insufficiency regarding the solving of these problems, the role of information in the sustainable entrepreneurial process changes. On the one hand, the reduction of information asymmetries primarily aims to enable actors to become critical of sustainable entrepreneurs’ actual business models. On the other hand, the epistemic insufficiency of sustainable entrepreneurs guarantees that information asymmetries remain as a source of new sustainable business opportunities. Three further characteristics of sustainable entrepreneurs are distinguished: sustainability and entrepreneurship-related risk-taking; sustainability and entrepreneurship-related self-efficacy; and the development of satisficing and open-ended solutions, together with multiple stakeholders. (shrink)

Contrary to the tendency to harmony, consensus and alignment among stakeholders in most of the literature on participation and partnership in corporate social responsibility and responsible innovation practices, in this chapter we ask which concept of participation and partnership is able to account for stakeholder engagement while acknowledging and appreciating their fundamentally different judgements, value frames and viewpoints. To this end, we reflect on a non-reductive and ethical approach to stakeholder engagement, collaboration and partnership, inspired by the philosophy of Emmanuel (...) Levinas. We contrast a cognitive approach with an ethical approach to stakeholder engagement, collaboration and partnership, and explore four characteristics of this ethical approach. Based on the ethical approach to stakeholder engagement, collaboration and partnership, we also provide a three-stage framework for partnership formation in CSR and RI practices. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. (shrink)

Because the techno-economic paradigm of contemporary conceptualizations of innovation is often taken for granted in the literature, this chapter opens up this self-evident notion. First, the chapter consults the work of Joseph Schumpeter, who can be seen as the founding father of the current conceptualization of innovation as technological and commercial. Second, we open up the concept by reflecting on two aspects of Schumpeter’s conceptualization of innovation, namely its destructive and its constructive aspect, based on findings in the history of (...) innovation. Finally, we synthesize our findings and propose an ontic-ontological conceptualization of innovation as ontogenetic process and outcome with six dimensions—newness, political dimension, economic dimension, temporal dimension, human dimension and risk—that moves beyond its technological and commercial orientation. (shrink)

In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).

Smart Farming Technologies raise ethical issues associated with the increased corporatization and industrialization of the agricultural sector. We explore the concept of biomimicry to conceptualize smart farming technologies as ecological innovations which are embedded in and in accordance with the natural environment. Such a biomimetic approach of smart farming technologies takes advantage of its potential to mitigate climate change, while at the same time avoiding the ethical issues related to the industrialization of the agricultural sector. We explore six principles of (...) a natural concept of biomimicry and apply these principles in the context of smart farming technologies. (shrink)

In this paper, I draw the fundamental structures of the phenomenology of the person, on the basis of a precise theoretical assumption: to introduce to phenomenology of the person is to introduce to the eidetic phenomenology. So, my paper explores the fundamental questions of the Husserlian phenomenology, and traces a path towards the contemporary questions of the phenomenology of the person: what is a person in the era of social networks and liquid society?

The pacemaker-accumulator model provides a framework in which the results of different duration estimation tasks are commonly accounted for. Nevertheless, the model remains abstract and it does not provide proper explanations nor predictions for duration estimations in various experimental set-ups. This paper aims to address these shortcomings by explicating an experiential pacemaker-accumulator model that supplements the standard pacemaker-accumulator model with two claims. Both of them concern the role that experiences play in duration estimation tasks and are also partly supported by (...) studies not directly related to duration estimation. First, the internal responses based on which the switch between the pacemaker and the accumulator operates are the same as the neural processes that realize conscious access to experiences. Second, the processes that realize the experiences of stimuli realize the function of the pacemaker. By supplementing the standard pacemaker-accumulator model with these claims, the model affords proper explanations for the systematic errors and empirically testable predictions in duration estimations tasks. One likely consequence of the model is that the experience of duration and the duration of experience can differ. (shrink)

Faust is one of the most famous literary character: reshaped in different ways throughout the centuries, my goal here is to reformulate its figure with the tools of Kantian transcendentalism. This reinterpretation brings home the possibility to investigate in a new way the transhumanist logic: if Faust is a character that desperately wants to overcome in a trascendental way its condition for a more complete perspective of things, transhumanists can be seen as Fausts and, therefore, logical transcendentalists.

dolce, the first top-level (foundational) ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, (...) and is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources (e.g. CIDOC CRM, DBpedia and WordNet). Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

Cải cách tiền lương là một trong những nội dung quan trọng sẽ được thảo luận tại Kỳ họp thứ 6, Quốc hội khóa XV và đây cũng là một trong những chìa khoá để mở ra các chính sách đãi ngộ nhằm góp phần xây dựng, phát triển đội ngũ trí thức nước nhà, đáp ứng yêu cầu phát triển đất nước nhanh và bền vững trong giai đoạn mới như nội dung mà Hội nghị Trung ương 8 khoá (...) XIII, Ban Chấp hành Trung ương Đảng đã thảo luận. (shrink)

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

Attempt of trans-disciplinary analysis of the evolutionary value of bioethics is realized. Currently, there are High Tech schemes for management and control of genetic, socio-cultural and mental evolution of Homo sapiens (NBIC, High Hume, etc.). The biological, socio-cultural and technological factors are included in the fabric of modern theories and technologies of social and political control and manipulation. However, the basic philosophical and ideological systems of modern civilization formed mainly in the 17–18 centuries and are experiencing ever-increasing and destabilizing risk-taking (...) pressure from the scientific theories and technological realities. The sequence of diagnostic signs of a new era once again split into technological and natural sciences’ from one hand, and humanitarian and anthropological sciences’, from other. The natural sciences series corresponds to a system of technological risks be solved using algorithms established safety procedures. The socio-humanitarian series presented anthropological risk. Global bioethics phenomenon is regarded as systemic socio-cultural adaptation for technology-driven human evolution. The conceptual model for meta-structure of stable evolutionary strategy of Homo sapiens (SESH) is proposes. In accordance to model, SESH composed of genetic, socio-cultural and techno-rationalist modules, and global bioethics as a tool to minimize existential evolutionary risk. An existence of objectively descriptive and value-teleological evolutionary trajectory parameters of humanity in the modern technological and civilizational context (1), and the genesis of global bioethics as a system social adaptation to ensure self-identity (2) are postulated. -/- . (shrink)

Purpose of the present work is to attempt to give a glance at the problem of existential and anthropological risk caused by the contemporary man-made civilization from the perspective of comparison and confrontation of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap present between the represented social reality and its representation in perception of works of art (...) and in the political doctrines as well. Methodology of the research is evolutionary anthropologicalcomparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the described semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules. Evolutionary trajectory of all anthropogenesis components including civilization cultural and social-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability, i.e. preservation in the context of consequential transformations of some invariants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature depends not only on the rationalist principles of ethics of Homo species, but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social risk in the evolutionary civilization risk. (shrink)

Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in perception (...) of works of art and in the political doctrines as well. Methodology of the research is evolutionary anthropological comparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the de- scribed semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules (genetic, cultural and techno-rational). Evolutionary trajectory of all anthropogenesis components including civilization cultural and so- cial-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability (sameness), i.e. preservation in the context of consequential transformations of some invari- ants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary (adaptive) strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature de- pends not only on the rationalist principles of ethics of Homo species (the archaism of Jurgen Habermas), but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume (NBIC) technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social (man-made) risk in the evolutionary civilization risk. (shrink)

Stable adaptive strategy of Homo sapiens (SESH) is a superposition of three different adaptive data arrays: biological, socio-cultural and technological modules, based on three independent processes of generation and replication of an adaptive information – genetic, socio-cultural and symbolic transmissions (inheritance). Third component SESH focused equally to the adaptive transformation of the environment and carrier of SESH. With the advent of High Hume technology, risk has reached the existential significance level. The existential level of technical risk is, by definition, an (...) evolutionary risk as possible leads to the genesis of disappearance of humanity as a species. The emergence of bioethics has to consider as a form of modern (transdisciplinary) scientific concept and sociocultural adaptation for regulate human identity in the global-evolutionary transformation and performs the function of self-preservation. (shrink)

This chapter explores the opportunities and limitations of the ideal of transparency in responsible innovation, by consulting the virtual case of "The Circle", a company which appears in Dave Eggers' novel The Circle. The Circle is a high-tech company with the main purpose of being responsive to societal needs. They want to eradicate unethical behaviour in society, enhance public health and make a positive impact on the environment. The ultimate goal of The Circle is to reach 100% full transparency in (...) the world, which is impossible without any societal desirability. In first instance, it is free choice of people to accept and embrace the products and services of The Circle, who invest resources in keeping customers happy and in raising awareness about the dangers of privacy. The chapter concludes that The Circle meets the requirements regarding the outcomes of responsible innovation, at least to a certain extent, while at the same time, one feels unease about certain activities they undertake. (shrink)

The sociobiological and socio-political aspects of human existence have been the subject of techno-rationalistic control and manipulation. The investigation of the mutual complementarity of anthropological and ontological paradigms under these circumstances is the main purpose of present publication. The comparative conceptual analysis of the bio-power and bio-politics in the mentality of the modern technological civilization is a main method of the research. The methodological and philosophical analogy of biological and social engineering allows combining them in the nature and social implications (...) as part of a High Hume technologies class. As result of the transformation of somatic foundations of the human being and his behavior, stereotypes in the object of control and management the technogenic risk reached the existential level. The rapidly growing status of biopower and biopolitics in the conceptual field of contemporary political science becomes by phenomenological expression of these processes. (shrink)