Standard possible world semantics for propositional modal languages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., "at" which some propositions lack a truth-value). In Section 2, I build a world semantics, the semantics of TV-models, for standard modal propositional languages, which agrees with the truth-clause for necessity previously (...) identified. Sections 3–5 are devoted to systematic concerns. In particular, in Section 4, Prior’s system Q (propositional version) is given a TV-models semantics and proved adequate (i.e., sound and complete) with respect to it. (shrink)

I introduce a proof system for the logic of relative fundamentality, as well as a natural semantics with respect to which the system is both sound and complete. I then “modalise” the logic, and finally I discuss the properties of grounding given a suggested account of this notion in terms of necessity and relative fundamentality.

Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations (...) are full-blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete. (shrink)

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and (...) which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments. (shrink)

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, (...) more specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

I compare the semantic approach to the logic of worldly grounding put forward in my “Grounding and Truth-Functions” (2010) with the approach developed by Fine in “Guide to Ground” (2012a) and “The Pure Logic of Ground” (2012b). I argue that both are defective in some respects, and offer an alternative approach in the same spirit but based on a new semantic framework, which combines the best aspects of the frameworks within which the previous approaches were developed.

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, (...) such as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

I give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

Consider two standard quantified modal languages A and P whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of A are actualist while those of P are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive-i.e., so that for each (...) sentence of one language there is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)

This paper presents a propositional version of Kit Fine's (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.

A possible world semantics for standard modal languages is presented, where the valuation functions are allowed to be partial, the truth--functional connectives are interpreted according to weak Kleene matrices, and the necessity operator is given a "weak" interpretation. Completeness and incompleteness results for some (axiomatic) systems are then established. Extensions of these modal logics in which figure "statability" operators are also examined.

A possible world semantics for standard modal languages is presented, where the valuation functions are allowed to be partial, the truth–functional connectives are interpreted according to weak Kleene matrices, and the necessity operator is given a “weak” interpretation. Completeness and incompleteness results for some (axiomatic) systems are then established. Extensions of these modal logics in which figure “statability” operators are also examined.

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.

In Ludwig Wittgenstein’s Philosophical Investigations, one can find a number of remarks that could be seen as antithetical to classic philosophical analysis. There are passages seemingly rejecting the ideas of concept decomposition, regression to first principles, and semantic substitution. The criticism, I argue, is aimed not at analysis in particular, but rather at some idealizations that pervade a certain picture of philosophy. This picture can be contrasted with Wittgenstein’s pragmatist view of explanations of meaning which, I believe, can inform a (...) different attitude towards philosophical method that aligns well with a vision of philosophy as conversation. If we think of philosophy as engaging in the development and exchange of explanations of meaning, we can see how various methods can coexist insofar as they are useful, and as long as the urge to sublimate them beyond our practices can be avoided. (shrink)

Despite a renewed interest in Richard Angell’s logic of analytic containment ), the first semantics for \ introduced by Fabrice Correia has remained largely unexamined. This paper describes a reasonable approach to Correia semantics by means of a correspondence with a nine-valued semantics for \. The present inquiry employs this correspondence to provide characterizations of a number of propositional logics intermediate between \ and classical logic. In particular, we examine Correia’s purported characterization of classical (...) logic with respect to his semantics, showing the condition Correia cites in fact characterizes the “logic of paradox” \ and provide a correct characterization. Finally, we consider some remarks on related matters, such as the applicability of the present correspondence to the analysis of the system \ and an intriguing relationship between Correia’s models and articular models for first degree entailment. (shrink)

We model Correia's hybrid algebraic/structural semantics within a form of the truthmaker semantics in which the propositions of the semantics are taken to to be closed under a well-behaved closure operation.

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F also makes it G. This approach is hyperintensional and possesses desirable logical and modal features. In particular, these sentences are reflexive, transitive, and symmetric, and (...) if they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I motivate my account over Correia and Skiles’ [11] prominent alternative and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

The COVID-19 outbreak has ravaged all societal domains, including education. Home confinement, school closures, and distance learning impacted students, teachers, and parents’ lives worldwide. In this study, we aimed to examine the impact of COVID-19-related restrictions on Italian and Portuguese students’ academic motivation as well as investigate the possible buffering role of extracurricular activities. Following a retrospective pretest–posttest design, 567 parents reported on their children’s academic motivation and participation in extracurricular activities. We used a multi-group latent change score model to (...) compare Italian and Portuguese students’: pre-COVID mean motivation scores; rate of change in motivation; individual variation in the rate of change in motivation; and dependence of the rate of change on initial motivation scores. Estimates of latent change score models showed a decrease in students’ motivation both in Italy and in Portugal, although more pronounced in Italian students. Results also indicated that the decrease in students’ participation in extracurricular activities was associated with changes in academic motivation. Furthermore, students’ age was significantly associated with changes in motivation. No significant associations were found for students’ gender nor for parents’ education. This study provides an important contribution to the study of students’ academic motivation during home confinement, school closures, and distance learning as restrictive measures adopted to contain a worldwide health emergency. We contend that teachers need to adopt motivation-enhancing practices as means to prevent the decline in academic motivation during exceptional situations. (shrink)

: This article aims to show that although the apostle Paul did not call himself a prophet, still makes his presentation in his letters in the same way that the Old Testament prophets. The article points out the many similarities between Paul and the prophets. It seeks to analyze and interact with Scripture and literature concerning the matter.We conclude that the Apostle founded the authority of his call, highlighting the prophetic aspect of his apostolate. It is evident that the Apostle (...) had a awareness of the prophetic character of his person, mission and message. It is called and sent directly by God, records the Scripture inspired by the Spirit and has a fruitful ministry of preaching and teaching. Este artigo tem como objetivo mostrar que embora o apóstolo Paulo não chame a si mesmo de profeta, ainda assim faz sua apresentação em suas cartas nos mesmos moldes que os profetas do Antigo Testamento. O artigo aponta as várias semelhanças entre Paulo e os profetas. Procura-se fazer uma análise e interação com a Escritura bem como literatura pertinente ao tema. Conclui-se que o Apóstolo fundamenta a autoridade de seu chamado, destacando o aspecto profético de seu apostolado. Evidencia-se que o Apóstolo possuía uma consciência do caráter profético de sua pessoa, missão e mensagem. É chamado e enviado diretamente por Deus, registra a Escritura de maneira inspirada pelo Espírito e tem um profícuo ministério de pregação e ensino. (shrink)

We argue that sensitivity to the distinction between the tensed notion of being something and the tensed notion of being located at the present time serves as a good antidote to confusions in debates about time and existence, in particular in the debate about how to characterise presentism, and saves us the trouble of going through unnecessary epicycles. Both notions are frequently expressed using the tensed verb ‘to exist’, making it systematically ambiguous. It is a commendable strategy to avoid using (...) that verb altogether in these contexts and to use quantification and a location predicate instead. (shrink)

Realism about tense is the view that the contrast between what was, what is and what will be the case is real, and not merely a projection of our ways of thinking. Does this view entail realism about temporal passage, namely the view that time really passes, in the same sense of ‘real’? We argue that the answer is affirmative for many versions of tense realism, and indeed for all sensible versions. We thereby address an important conceptual issue regarding these (...) two forms of realism and rebut recent claims that tense realism is compatible with anti-realism about temporal passage. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently (...) plausible principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Normative theories of argumentation tend to assume that logical and dialectical rules suffice to ensure the rationality of argumentative discourse. Yet, in everyday debates people use arguments that seem valid in light of such rules but nonetheless biased and tendentious. This article seeks to show that the rationality of argumentation can only be fully promoted if we take into account its ethical dimension. To substantiate this claim, I review some of the empirical evidence indicating that people’s inferential reasoning is systematically (...) affected by a variety of biases and heuristics. Insofar as these cognitive illusions are typically unintentional, it appears that arguers may be biased despite their well-intended efforts to follow the rules of critical argumentation. Nevertheless, I argue that people remain responsible for the rationality of their arguments, given that there are a number of measures that they can (and ought to) take to avoid such distortions. I highlight the importance of argumentational virtues and critical thinking to rational debates, and describe a set of indirect strategies of “argumentative self-control”. (shrink)

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the (...) first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts (...) have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views. (shrink)

Background Ethical conflict is a problem with negative consequences, which can compromise the quality and ethical standards of the nursing profession and it is a source of stress for health care practitioners’, especially for nurses. Objectives The main aim of this study was to analyze Spanish critical care nurses’ level of exposure to ethical conflict and its association with sociodemographic, occupational, and COVID-19–related variables. Research Design, Participants, and Research context: This was a quantitative cross-sectional descriptive study conducted among 117 nurses (...) working in critical care units. Data collection tools were sociodemographic, occupational, and COVID-19–related questionnaires and previously validated Spanish version of Ethical Conflict in Nursing Questionnaire-Critical Care Version. Ethical Considerations We obtained permission from the Ethics Committee and participants' informed consent. Findings Data indicates a moderate level of exposure to ethical conflicts. The most frequent ethical conflicts were related to situations about "treatment and clinical procedures." The most intensity of ethical conflicts was related to situations about "treatment and clinical procedures" and "dynamics of the service and working environment." No statistical significance was identified between the socio-demographic variables and level of exposure to ethical conflicts. However, for critical care nurses working in ICU, nurses with perceived worked stress had a higher level of exposure to ethical conflicts. Likewise, critical care nurses whose family/friends were infected with COVID-19 had a higher level of exposure. Conclusions Critical care nurses experience a moderate level of exposure to ethical conflicts which is consistent with the results of previous studies. A deeper understanding of ethical conflicts in conflictive situations allows recognition of the situations that occur in everyday clinical practice, identification of the ethical conflicts, and facilitation of the nurses working in the challenging clinical situation. (shrink)

Signalling games are popular models for studying the evolution of meaning, but typical approaches do not incorporate vagueness as a feature of successful signalling. Complementing recent like-minded models, we describe an aggregate population-level dynamic that describes a process of imitation of successful behaviour under imprecise perception and realization of similar stimuli. Applying this new dynamic to a generalization of Lewis’s signalling games, we show that stochastic imprecision leads to vague, yet by-and-large efficient signal use, and, moreover, that it unifies evolutionary (...) outcomes and helps avoid sub-optimal categorization. The upshot of this is that we see ‘as-if’-generalization at an aggregate level, without agents actually generalizing. _1_ Introduction _2_ Background _2.1_ Sim-max games and conceptual spaces _2.2_ Vagueness in sim-max games and conceptual spaces _2.3_ Vagueness, functional pressure, and transmission biases _3_ Imprecise Imitation _3.1_ Replicator dynamic in behavioural strategies _3.2_ Noise-perturbed conditional imitation _4_ Exploring Imprecise Imitation _4.1_ Setting the stage _4.2_ Simulation set-up _4.3_ Measures of interest _4.4_ Results _5_ Discussion _5.1_ Levels of vagueness _5.2_ Evolutionary benefits of imprecision _5.3_ Related work _6_ Conclusion Appendix. (shrink)

The purpose of the book is to clarify the notion of existential dependence and cognate notions, such as supervenience and the notion of an internal relation. I defend the view that such notions are best understood in terms of the concept of metaphysical grounding, i.e. the concept of one fact obtaining in virtue of other facts, where ‘in virtue of’ has a distinctively metaphysical meaning.

SIRThere are some important flaws in Michael Ardagh's reasoning.11. Cardiopulmonary resuscitation is a “blanket term” for different interventions. Curative and supportive treatments have different ethical contexts and cannot be discussed at the same level. It is imperative to ascribe curative interventions within CPR the same status as any other curative intervention, such as antibiotics for infections or surgery for appendicitis. Then we will be able to discuss the ethical context of purely supportive measures such as chest compressions. To address the (...) “ethics of CPR” is a dangerous misnomer.The preferences of emergency personnel2 suggest the willingness to undergo curative interventions early during CPR, but not protracted supportive interventions. Conversely, withholding curative interventions during CPR should only be considered when any curative treatments would also be withheld.2. Cardiopulmonary resuscitation is performed to offer the patient a benefit. However, CPR as a whole is only marginally effective. …. (shrink)

‘Intentionalist’ approaches portray self-deceivers as “akratic believers”, subjects who deliberately choose to believe p despite knowing that p is false. In this paper I argue that the intentionalist model leads to a number of paradoxes that seem to undermine it. I claim that these paradoxes can nevertheless be overcome in light of the rival hypothesis that self-deception is a non-intentional process that stems from the influence of emotions upon cognitive processes. Furthermore, I propose a motivational interpretation of the phenomenon of (...) ‘hyperbolic discounting bias’ which highlights the role of emotional biases in akratic behavior. Finally, I argue that we are not the helpless victims of our irrational attitudes, insofar as we have the ability – and arguably the epistemic obligation – to counteract motivational biases. (shrink)

Social influence and persuasion are not synonyms. This paper traces back the different approaches and distinctions constituting the two concepts and argues that the two research traditions focused respectively on social influence in group processes and on individual attitude change through persuasive communication, could be re-examined from a different vantage point, casting a new light on the continuities between them.

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...) formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...) assumption can be derived. (shrink)

Arts, Real-Time Video and Interactivity for Sustainability is an ongoing collaborative research project investigating how real-time video, DIY surveillance technologies and sensor data can be used as a tool for environmental awareness, activism and artistic explorations. The project consists of a series of digital contexts for aesthetic contemplation of nature and civic engagement, aiming to foster awareness and empowerment of local populations through DIY surveillance. At the core of the ARTIVIS efforts are a series of interactive installations, that make use (...) of surveillance technologies and real-time video as raw material to promote environmental awareness through the emotion generated by real-time connections with nature. Throughout the project development, the surveillance concept has been shifting from the use of surveillance technology in a centralized platform, to the idea of veillance with distributed peer-to-peer networks that can be used for science and environmental monitoring. In this paper we present the history of the ARTiVIS project, related and inspiring work, describe ongoing research work and explore the present and future challenges of appropriating surveillance technology for artistic, educational and civic engagement purposes. (shrink)

This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is deduced through a simple and axiomatic methodology. Moreover, the distinction between immediate and mediate inferences disappears, which reinstitutes the unity of Aristotelian logic.

Living organisms have long since been a source of inspiration for humans to build artifacts mimicking their behaviour. Usually models used are quite simple by comparison to their natural sources of inspiration. However, on computers, we have the freedom to test approaches both realistic and outnght speculative, from the biological point of view. This article overviews several Artificial Life (ALife) models and their application areas. On the one hand we have models that are currently used as tools in engineeering, especially (...) for optimisation, and on the other hand we have environments and models that exhibit properties alike those observed in bio-organisms, that are useful to study and develop biological theories. Therefore, we will describe computer based models, such as artificial neural networks, evolutionary algonthms, artificial immune systems, swarm based algonthms as bio-inspired tools and artificial life environments and autonomous robots in the perspective of artificial beings. A bnef reference to biochemistry research, with the nickname of wet ALife, especially onented to build artificial cells will complete this review. The paper ends with a discussion on the implications of natural versus artificial life. (shrink)