The study analyzes the theory presented in the book Critical Theory and Social Media: Between Emancipation and Commodification by Thomas Allmer. The primary goal of the study is to place this work in the broader context of the critical theory of technology. The first part analyzes the context and the requirement for the philosophy of technology in the current digital age. Subsequently, Allmer’s methodology is described as an offshoot of critical theory. This theory is set in the context of the (...) book’s primary sources of thought, especially the critical theory of technology and Andrew Feenberg’s theory. Based on this theoretical understanding, research areas in critical media and technology theory are defined. The critical theory of technology shows that in the society of big data, there are similar contradictions of capitalism as we can find in the material world. Finally, there requirement for a political theory of technology is theorized, contrary to the widespread view that the current contradictions of digital capitalism can be solved by the ethics (design) of new technologies. In this context, critical theory is compared with the – so-called – ethics of new technologies. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

There are two main theoretical frameworks in statistical mechanics, one associated with Boltzmann and the other with Gibbs. Despite their well-known differences, there is a prevailing view that equilibrium values calculated in both frameworks coincide. We show that this is wrong. There are important cases in which the Boltzmannian and Gibbsian equilibrium concepts yield different outcomes. Furthermore, the conditions under which equilibriums exists are different for Gibbsian and Boltzmannian statistical mechanics. There are, however, special circumstances under which it is true (...) that the equilibrium values coincide. We prove a new theorem providing sufficient conditions for this to be the case. (shrink)

This study examines whether corporate social responsibility performance is associated with corporate tax avoidance. Employing a matched sample of 434 firm-year observations from the Kinder, Lydenberg, and Domini database over the period 2003–2009, our logit regression results show that the higher the level of CSR performance of a firm, the lower the likelihood of tax avoidance. Our results indicate that more socially responsible firms are likely to display less tax avoidance. Finally, the results from our additional analysis show that the (...) CSR categories community relations and diversity represent particularly important elements of CSR performance that reduce tax avoidance. (shrink)

We introduce a tool for analysing models of$\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of$\text {CT}^-$are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of$\text {CT}^-$carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a nonstandard cut which cannot be (...) extended to a full truth predicate satisfying$\text {CT}^-$. (shrink)

Williams’s famous argument against immortality rests on the idea that immortality cannot be desirable, at least for human beings, and his contention has spawned a cottage industry of responses. As I will intend to show, the arguments over his view rest on both a difference of temperament and a difference in the sense of desire being used. The former concerns a difference in whether one takes a forward-looking or a backward-looking perspective on personal identity; the latter a distinction between our (...) normal desire to continue living and the kind of desire implied in desiring immortality. Showing that there is some sense of identity and desire that support Williams’s conclusion goes some way toward providing support for his argument, if not a full-fledged defense of it. (shrink)

This study examines the impact of board of director gender diversity on corporate tax aggressiveness. Based on a sample of 418 U.S. firms covering the 2006–2009 period, our ordinary least squares regression results show a negative and statistically significant association between female representation on the board and tax aggressiveness after controlling for endogeneity. Our results are consistent across several measures of tax aggressiveness and additional robustness checks.

We show that the stabilizer of an element a of a countable recursively saturated model of arithmetic M is a maximal subgroup of Aut iff the type of a is selective. This is a point of departure for a more detailed study of the relationship between pointwise and setwise stabilizers of certain subsets of M and the types of elements in those subsets. We also show that a complete type of PA is 2-indiscernible iff it is minimal in the sense (...) of Gaifman. (shrink)

The article explores specificities of thematization of science and scientific rationality in Martin Heidegger’s fundamental ontology. This analysis focuses on the concept of scienticity, character- istic for Heidegger’s “early” line of thought, as well as continuation and divergence of exposition of “science” and the nature of “theoretical attitude” as the subject of interpretation of transcen- dental phenomenology of E. Husserl. This research places an emphasis on particularity of Hei- degger’s explication of existential concept of science as opposed to prevailing logico-epistemolog- (...) ical philosophy of science, and foundation of thematization of scientific “subject matters” and theoretical attitude upon the universe of ontological understanding of being of entities (regional ontologies). It also focuses on Heidegger’s assertion of fundamental ontological projection in a status of a peculiar “science of knowledge”, which gives ground for a priori pre-conditions of specific sciences. Separate attention is paid to a specifically Heideggerian approach to explication of the rooting of initial scientific orientation in the sphere of pre-scientific experience, which ar- ticulates itself in so called “fundamental concepts”, as well as positioning of contemplative ‘present-at-hand’ paradigm of theoretical knowledge as a derivative modus of a primary use of ‘ready-to-handness’ as a phenomenological founding basis of everydayness’ experience. The author came to the attention that scientific knowledge is a project Dasein. It is within the framework of self-design that Dasein thematizes what happens to another region of being that is the subject of scientific knowledge. In other words, making things available in researching, applying themes, provided that the design allowed late as the systematic development of the most modern buildings, such as is done in the world, and possibly everyday greeting improvised performance. (shrink)

Physical information is a property of nature. How does physical information persist over time? Does it do so as an object, process, or event, which are things considered in the current persistence theories? Physical information is none of these, however, this implies that persistence theories cannot explain the persistence of information. We therefore study the persistence of snowflakes, ephemeral natural structures, to better understand the persistence of natural things, such as physical information. The transitory nature of snowflakes suggests that physical (...) information persists as nature’s latent order, therefore, it is associated with natural structures, but it is not identical to them. This interpretation preserves the properties attributed to physical information, particularly its foundational character. The concept of physical information as latent order accords with Burgin’s General Theory of Information (GTI), which is currently the most comprehensive conceptualization of information that has been proposed. (shrink)

Commentary on the first Ukrainian translation of Thomasius’ work entitled “Nucleus disputationis de plagio literario maxime theoreticus, thesibus paucis & brevibus comprehensus”, which is one of the Appendices to the famous “Philosophical dissertation on literary plagiarism”.

This study examines the impact of corporate tax avoidance on board of directors and chief executive officer reputation. Our regression results show that when firms engage in tax avoidance, both directors and CEOs, on average, are rewarded by improvements in their reputations as proxied by an increased number of outside board seats. In particular, both independent directors and non-CEO executive directors undergo positive changes in reputation. We also find that CEOs of tax-aggressive firms experience enhanced reputations by gaining extra board (...) seats. Our main regression results hold based on additional analyses. Overall, this study provides important empirical evidence confirming an association between tax avoidance and the individual reputations of directors and CEOs. (shrink)

Looking into the future is always a risky endeavour, but one way to anticipate the possible future shape of AI-driven societies is to examine the visionary works of some sci-fi writers. Not all sci-fi works have such visionary quality, of course, but some of Stanisław Lem’s works certainly do. We refer here to Lem’s works that explore the frontiers of science and technology and those that describe imaginary societies of robots. We therefore examine Lem’s prose, with a focus on the (...) Cyberiad stories, to see what challenges our future technological societies may face when they entrust their lives to AI technology. For example, what questions should we ask, and what questions do we forget to ask, when developing AI systems and allowing these systems to control our lives. The technologically honed minds of our current technocrats are perhaps too limited to guide us into this future, because AI-based technology is relatively unchartered territory, as any new, complex technology is by nature. Lem’s visions of future societies oriented around AI and robotics portray AI technology in a deeper and more nuanced way than the current technological visions offered by our leading technological prophets. Based on Lem’s visions, what is to come may not turn out to be an AI-driven nirvana. (shrink)

Heidegger, like Kierkegaard, has recently been claimed as a narrativist about selves. From this Heideggerian perspective, we can see how narrative expands upon the psychological view, adding a vital teleological dimension to the understanding of selfhood while denying the reductionism implicit in the psychological approach. Yet the narrative approach also inherits the neo-Lockean emphasis on the past as determining identity, whereas the self is fundamentally about the future. Death is crucial on this picture, not as allowing for the possibility of (...) a final meaning to our lives, but as determining Dasein as ‘pure unactualizable possibility.’ Ultimately, therefore, narrative is not what constitutes selfhood – but this does not mean that narrative is not relevant to personal identity, because narrative allows identity to be expressed in action. (shrink)

This study investigates the negative influence of consumer’s perceptions of online retailer’s deceptive practices on consumer’s relational variables. Also, the moderating role of product type, consumer’s attitude toward the Internet, and consumer’s demographics in the deception-relational outcomes link is considered. Data from 398 online consumers revealed that satisfaction totally mediated the influence of deception on loyalty. Furthermore, the deception-satisfaction link was moderated by all the hypothesized variables. Interestingly, a direct effect of deception on loyalty was found among more educated consumers, (...) consumers who had a more positive attitude toward the Internet and consumers who had purchased a physical product. Implications for theory and management are discussed. (shrink)

We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...) in the standard nomenclature above, even the monadic two-variable fragments turn out to be undecidable. (shrink)

Social robotics are autonomous robots or Artificial Moral Agents (AMA), that will interact respect and embody human ethical values. However, the conceptual and practical problems of building such systems have not yet been resolved, playing a role of significant challenge for computational modeling. It seems that the lack of success in constructing robots, ceteris paribus, is due to the conceptual and algorithmic limitations of the current design of ethical robots. This paper proposes a new approach for developing ethical capacities in (...) robotic systems, one based on the concept of Aristotelian phronesis. Phronesis in principle reflexes closer human ethics than the ethical paradigms we employ today in ethical robotics. This paper describes the essential features of phronesis and proposes a high-level architecture for implementing phronetic principles in autonomous robots. Phronetic robotics is in its early stages of conceptualization, so many of the presented ideas are speculative and require further research.2. (shrink)

We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...) required a completely novel approach to deal with two independent sources of non-termination in the proof search present in the case of transitive and Euclidean logics. (shrink)

As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order (...) fragments can be used for constructing a tableau algorithm for the corresponding monodic fragment of FOTL. Some example instantiations of the framework are presented. (shrink)

Consider the claim: Our actions are free if and only if we could have done otherwise; or the claim, We are essentially mental substances because we can exist without our bodies. Both of these claims, along with countless others, employ a notion of possibility. If this notion is to have a place in philosophy, we must be able to justify our modal claims. We need an epistemology of possibility. It is often assumed that the imagination is the key here. The (...) assumption is this; if I can imagine that a proposition is the case, then p is possible. Suppose I am wondering whether Kant Critique could float above my desk; if I can imagine this book floating, then it is possible. But is the imagination a guide to the modal status of propositions? ;To answer this question we must first consider what it is to imagine a proposition. We can distinguish five main methods of imagining: to imagine is to form a mental image, to evoke experiences, to suppose, to pretend, or it is to tell a story. Can any of these methods provide us with a guide to possibility? I contend that only the last two methods are up to this task insofar as they provide us with evidence of p's modal status. Moreover, how good that evidence is depends on our ability to satisfy the requirements of completeness, coherence, and accuracy. Finally, I argue that we will have the best evidence for the possibility of p, if we combine these two methods. For by combining our evoked experiences with a story, we will generate experiences of p, the best possible explanation of a world in which p is true, and an account of p's truth that complements this explanation. Thus, given explanationist standards, we will have what we need to be justified in concluding that p is possible. (shrink)

A model M of PA has the omega-property if it has a subset of order type omega that is coded in an elementary end extension of M. All countable recursively saturated models have the omega-property, but there are also models with the omega-property that are not recursively saturated. The papers is devoted to the study of structural properties of such models.

La doctrina mariana de san Juan de Ávila se encuentra recogida en sus sermones en su mayor parte, lo cual imprime en su exposición un fuerte carácter parenético, es decir, exhortativo e interpelante. En consecuencia, los temas mariológicos que trata procuran la conmoción del oyente para llamarle a la conversión.

Millions of animals are used every year in oftentimes extremely painful and distressing scientific procedures. Legislation of animal experimentation in modern societies is based on the supposition that this is ethically acceptable when certain more or less defined formal (e.g. logistical, technical) demands and ethical principles are met. The main parameters in this context correspond to the “3Rs” concept as defined by Russel and Burch in 1959, i.e. that all efforts to replace, reduce and refine experiments must be undertaken. The (...) licensing of animal experiments normally requires an ethical evaluation process, oftentimes undertaken by ethics committees. The serious problems in putting this idea into practice include inter alia unclear conditions and standards for ethical decisions, insufficient management of experiments undertaken for specific (e.g. regulatory) purposes, and conflicts of interest of ethics committees’ members. (shrink)

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Part I, Logic Sets, and Numbers, shows how mathematical logic is used to (...) develop the number structures of classical mathematics. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. The added Part III to the book is closer to what one finds in standard introductory mathematical textbooks. Definitions, theorems, and proofs that are introduced are still preceded by remarks that motivate the material, but the exposition is more formal, and includes more advanced topics. The focus is on the notion of countable categoricity, which analyzed in detail using examples from the first two parts of the book. This textbook is suitable for graduate students in mathematical logic and set theory and will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. (shrink)

We prove a number of results concerning the variety of first-order theories and isomorphism types of pairs of the form $(N,M)$ , where $N$ is a countable recursively saturated model of Peano Arithmetic and $M$ is its cofinal submodel. We identify two new isomorphism invariants for such pairs. In the strongest result we obtain continuum many theories of such pairs with the fixed greatest common initial segment of $N$ and $M$ and fixed lattice of interstructures $K$ , such that $M\prec (...) K\prec N$. (shrink)

We discuss Robinson's model theoretic proof of Tarski's theorem on undefinability of truth. We present two other “diagonal-free” proofs of Tarski's theorem, and we compare undefinability of truth to other forms of undefinability in nonstandard models of arithmetic.

Der Autor untersucht als Berufspadagoge, Technologe und Technikphilosoph die gegenwartig zu losenden Erziehungs- und Bildungsproble- me unter dem Aspekt des Wesens der Technik. Die mit der Technikent- wicklung entstandenen Grundfragen des individuellen und gesellschaft- lichen Lebens und die notwendig gewordene Regelung desselben werden unter soziotechnischen und bildungsintentionalen Gesichtspunkten analysiert und in systemtheoretische Blickwinkel geruckt. Die Untersuchung richtet sich an alle, die aktiv an der Menschenbildung, an kulturpolitischen Entscheidungen und an der technikphilosophischen Diskussion beteiligt sind.".

Embryonic stem cells (ESCs) are now classified into two types of pluripotency: “naïve” and “primed” based upon their differing characteristics. Conventional human ESCs have much more in common with mouse epiblast stem cells and are now deemed to be primed. Naïve human ESCs that resemble mouse ESCs have recently been generated from their primed counterpart by cellular reprogramming. Isolation of naïve hESCs from human embryos has proven to be difficult. Is the inability to capture naïve hESCs the result of suboptimal (...) derivation conditions or because they are so transient they cannot be “captured” in vitro? Prevailing evidence surrounding this issue are inconclusive and require additional human embryo research. However, negative public opinion regarding human embryo research, may make this an uphill battle. The solution may come from cellular reprogramming. (shrink)