In this article, author evaluated past/present perspectives about philosophy and branches of philosophy due to historical period, religious perspective, and due to their organized categories/branches or areas. Some types of interactions between some disciplines are given as an example. The purpose of this article is, to solve problems related with philosophy and past branches of philosophy, to define new philosophy perspective in the new system, to define new questions and questioning about philosophy or branches of philosophy, to define new or (...) re-constructed branches of philosophy, to define the relations between the philosophy branches, to define good and/or correct structure of philosophy and branches of philosophy, to extend the definition/limits of philosophy, others. Author considered R-Synthesis as a method for the evaluation of the philosophy and related past branches of philosophy. This R-Synthesis includes general/specific perspective with eight categories, 21-dimensions, and twelve general subjects for the past 12,000 years. It is a kind of synthesis of supernaturalism and naturalism, physics and metaphysics, others. In this article, author expressed 27 possible definitive/certain result cases of the new synthesis and defined the possible formation stages to express new theories, new disciplines, theory of interaction, theory of relation, hybrid theory, and others as constructional and/or complementary theories. These theories are considered for 21 major effective disciplines which are defined for a country and for the world. New philosophy perspective, branches of philosophy, and aims/purposes of R-Philosophy are defined to organize many inquiries about the name, number, and relation between special subject “X” and “philosophy of X” in some manner. This new perspective includes necessary and sufficient number of philosophy branches, and so it limits the number of “philosophy of X” in the philosophical system. New Era Philosophy is defined with its sub branches, its constructional philosophies, and with its 8D hybrid philosophy perspective. Ideal Philosophical System is defined with general/specific figure. Some of the new and/or re-constructed branches of philosophy explained with the new defined set of questions, new sub branches and constructional philosophies. Integration of the past/present branches of philosophy into the ideal philosophical system is explained generally. Philosophical interests of the some past philosophers and their relations with the ideal philosophical system expressed with table. (shrink)

In this work, author evaluated past theories and perspectives behind the definitions of science and/or branches of science. Also some of the philosophers of science and their specific philosophical interests were expressed. Author considered some type of interactions between some disciplines to determine, to solve the philosophical/scientific problems and to define the possible solutions. The purposes of this article are: (i) to define new synthesis method, (ii) to define new perspective for the philosophy of science, (iii) to define relation between (...) new philosophy perspective and philosophy of science, (iv) to define and organize name, number, relations, and correct structure between special science branches and philosophy of science, (v) to define necessary and sufficient number of branches for philosophy of science, (vi) to define and express the importance and place of new philosophy of science perspective in the new system, (vii) to extend the definition/limits of philosophy of science, (viii) to re-define meanings of some philosophical/scientific theories, (ix) to define systematic solution for the conflicts, problems, confusions about philosophy of science, sciences and branches of science, (x) to define new branches of science, (xi) to re-construct branches and hierarchy of science, (xii) to define new theories about science and branches of science. Author considered R-Synthesis as a method for the evaluation of the philosophy, philosophy of science, sciences and branches of science. This R-Synthesis includes evaluation of eight categories of general/specific perspective, 21-dimensions, and 12 general subjects (with related scope and contents) for the past 12,000 years. It is a kind of synthesis of science and non-science, physical science and non-physical science, religious science and non-religious science, and others. In this article, author defined 27 possible definitive/certain result cases for this new synthesis. Author defined the possible formation stages shortly to express new disciplines, new constructional and/or complementary theories. These theories are considered to define 21 major effective disciplines. New philosophy perspective is defined (R-Philosophy) shortly. New perspective and sub branches are defined for the philosophy of science. Major sciences are defined due to new basic philosophies. 42-basic components are defined for each science branch. New and/or re-constructed sciences, branches of science, basic sciences, and new hierarchy of science are defined with figure. Electromagnetic sciences, information sciences, and system sciences are defined specifically. Hybrid Sciences, New Era Science, and Ideal Scientific System are defined with general/specific figure. Relation between the some old branches and new branches of science was expressed generally due to new perspective of philosophy of science. (shrink)

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely (...) that Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these (...) are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

A CONSTRUCTIVE CRITIQUE OF THE FOUNDATIONS OF PHILOSOPHY: Abstract of the Ph.D. Dissertation By Ramesh N. Patel June, 1970 -/- Philosophy pursues a rational explication of our understanding, experiences, and values in terms of objective truth and reality. Conspicuously, its view of rationality has been rigid and preconceived. Application of the preconceived reason in the explication of the essential features of our world fails and issues in a network of dialectical tangles. These artificially created tangles pose a unique intellectual challenge, (...) but the perennial failure to resolve them limits the intellectual response of philosophers to remaining caught in the tangles, or to taking intuitively favorable sides, or to simply denouncing the tangles as meaningless. Each is understandable. -/- Superficially, traditional philosophical reason looks like a correct tool for the explication of our world of common sense, but its applications to the world result in logical tangles showing its inadequacy. The philosopher’s faith in such reason ends up in one of two positions: abandoning our world in the interests of such reason, or embodying itself in the world through a special form of reason. Plato took the first and Aristotle took the second position. My analysis shows that Plato failed to explicate the relation between his world of Forms and our world of particulars, and, more importantly, between the Forms and the intuitive reason which grasps them. Aristotle, in my analysis, cannot conceal that the law of noncontradiction is a mere exhortation and has no descriptive necessity with respect to thought, things, or meaning. We also find such dialectical difficulties in Augustine, Hume and Strawson. -/- “Microphilosophical feasibilism” is our proposal for the best treatment, if not the definitive solution, of these problems. Instead of separating philosophical method into logic, epistemology, axiology, and metaphysics on the one side, and partitioning the projected results of philosophizing into validity, truth, valuation, and reality on the other, we need to start philosophizing with a general distinction between “method employed” and “intended result.” This distinction is not pre-colored by claims to ultimate verities. It is a direct aid to understanding. I consider the basic inevitable paradox that a philosopher should explain not only our understanding of experience but also his philosophizing itself. The circularity between “method employed” and “intended result” needs to be admitted as an initial fact about reason rather than circumvented by an implausibly claimed capacity of philosophical reason to formally transcend everything including this circularity. -/- Presuppositions are reduced to a minimum inevitable number. Being our primary microphilosophical criteria, they are reason, experience, and value in their minimal sense. They cannot be plausibly substituted or further reduced. They cannot be preferred one or more to others arbitrarily. We show how, in microphilosophy they coincide or synchronize. Jointly and basically, they form the minimum method employed. The initial, basic, intended result is called minimum feasibility. The fundamental circularity between method and result leaves no way out but to ground self-reference in such a manner that method and result “logico-genetically” coincide. Two extreme situations are avoided: “the logical zero-situation” where nothing is true or real, and “the credulous open situation” where everything is true or real. Finding a mean manifests a basic value. If the meaning of truth and reality is to be preserved, the basic value must have a clear impact and express descriptive rather than revisionary reason. -/- Several other stringent demands are raised as conditions which microphilosophy should fulfil to achieve feasibility. The final, joint, outcome of both “method” and “result,” in the thesis of microphilosophical feasibilism, is formulated thus: Self refers freely and symbolically to itself, own person, own body, material bodies, other persons’ bodies, other persons, and other selves. -/- Ramesh N. Patel Doctor of Philosophy in Philosophy conferred in June, 1970 University of New Mexico, Albuquerque, N.M. (shrink)

This is a review of David Chalmers's /Constructing the World/. The short, short version: there are issues, but you should definitely read the book.

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...) Stone’s representation theorems. The representational program inaugurated by Stone’s theorems was one of the success stories of 20th century’s mathematics. This suggests that representational constructions à la Stone could also be important for epistemology and philosophy of science. More specifically it is argued that the issues proposed by Russellian definite descriptions, logical constructions, and structural representations still have a place on the agenda of contemporary epistemology and philosophy of science. Finally, the representational interpretation of Russell’s logical constructivism is used to shed some new light on the recently vigorously discussed topic of his structural realism. (shrink)

In this article, the results of conceptualization of the definition of mind as an object of interdisciplinary applied research are described. The purpose of the theoretical analysis is to generate a methodological discourse suitable for a functional understanding of the mind in the context of the problem of natural language processing as one of the components of developments in the field of artificial intelligence. The conceptual discourse was realized with the help of the author's method of structural-ontological analysis, and (...) developed in the mainstream of the system-methodological tradition of the school of G.P. Shchedrovitsky and intended for descriptive research of subject areas of interdisciplinary objects of scientific study. As a result of the structural and ontological analysis of the super-system, the relevant place and role of the directly studied system (mind) are determined, and its primary process and material are localized and structural and functional connections are described. At the basic level, the mind is conceptualized as an energy process unfolding in a spatio-temporal environment and accompanied by archetypal structuring of neural impulses into images. The genesis of the system is separately analyzed by constructing a structural-ontological matrix that reflects the initial stage of the development of the mind. The primary process is concretized with the help of hetero- and homeostatic dichotomy, and also the most significant features of the consistent transformation of the material of the system and its ascent to verbal morphology are described. The structural-ontological comparison of the functioning of the verbal intelligence with the preverbal level has been carried out. The transformation of neural impulses of needs into words, as verbal units fixing semiotic values is analyzed. Structural-ontological connections that determine the reactive and prospective characteristics of the functioning of the system are disclosed. The position of the chronological primacy of "semiotic readiness" for language with respect to the debut of the latter as an information-sign model of the environment is argued. The hypothesis of domination at the initial stage of the development of the mind of exopsychic functions over endopsychic ones is formulated. The theoretical substantiation of the hypothesis of the inevitability of the ontology of language in the functional understanding of the mind is given, corresponding structural and ontological arguments are given, including those based on the ideas about the information relationship between affects and needs, according to the views of P.V. Simonov. The arguments are presented in favor of the non-alternative methodology of A. Turing in studies of artificial intelligence. (shrink)

The relation between Hume’s constructive and skeptical aims has been a central concern for Hume interpreters. Hume’s two definitions of ‘cause’ in the Treatise and first Enquiry apparently represent an important constructive achievement, but this paper argues that the definitions must be understood in terms of Hume’s skepticism. The puzzle I address is simply that Hume gives two definitions rather than one. I use Don Garrett’s interpretation as a foil to develop my alternative skeptical interpretation. Garrett claims the definitions exhibit (...) a general susceptibility to two kinds of definition that all “sense-based concepts” share. Against Garrett, I argue that the definitions express an imperfection Hume finds only in our concept of causation. That imperfection is absent from other sense-based concepts, and prompts skeptical sentiments in Hume’s conclusion to the Treatise’s Book 1. I close by comparing my interpretation with those of Helen Beebee, Stephen Buckle, Galen Strawson and Paul Russell. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

Reviews of studies on sexual orientation reveal that researchers have not developed a clear conceptual definition of sexual orientation and that most researchers have failed to provide a theoretical framework for their studies. While some scholars recognize the conceptual confusion that has plagued the development of a theory of sexual orientation, most researchers study sexual orientation as if it were an immutable, essential nature of an individual without questioning how social context influences categorization. The problem with this approach is (...) that components have been hypothesized to be part of the construct, but there has been no systematic study of how to judge the accuracy of the construct. The present study suggests that, because categories of sexual orientation are socially constructed, the study of sexual orientation would benefit from an understanding of how the ordinary language community defines and categorizes sexual orientation. The purpose of the present study was to test the semantics of various category labels of sexual orientation used in ordinary language. Three hypothesized components of sexual orientation , involving either same-sex or opposite-sex oriented behavior, along with a fourth stimulus condition were manipulated in a 2 x 2 x 2 x 2 factorial design. Subjects were 371 college students who completed a questionnaire in which they were asked to give a one-word description in response to written statements about hypothetical individuals described as male or female who engage in various same- or opposite-sex behavior. Contrary to what was hypothesized, results demonstrate that there were some necessary and sufficient conditions for categorizing sexual orientation. Also contrary to a proto-behavioral hypothesis, the results of the relative strength of the three components in predicting category label indicate that sexual attraction was the strongest predictor, followed by overt sexual behavior, and sexual fantasy, respectively. The most impressive finding was the overwhelming support for the impurity hypothesis in which descriptions with any same-sex oriented behavior appeared to be judged to contaminate the individual's sexual orientation resulting in greater frequencies of responses of "homosexual" compared to other category labels. Finally, as predicted, overt sexual behavior was least predictive of the sexual orientation of females with sexual fantasy being the most predictive. For descriptions of males, sexual attraction was the most important predictor. Provided in the discussion are possible explanations for the current findings, a description of the limitations and implications of the study, and recommendations for future research. (shrink)

Structuralism can be defined as an important concept of using “units” as elements of form and space-giving, where the whole form is made not only up of a “texture”, a certain flexible grid, or an algorithm of shape-giving, but it depends also on the relationships created and how people use it. The hypothesis of this study is that “Modular Construction” can also have an aesthetically pleasing outlook and that modular housing can definitely have increasing importance in the future. Modular housing (...) due to its cheap, and manufactural way of construction can be replicable in various locations. Structuralism and Modular Construction have been at the core of the Modernist movement. Although postmodernism marked the decline of modular construction adopting methods known for a more close sense of place, vernacular, and locality, which differs from the ubiquitous model of modernism, it is the universality of space and habitation seen since the times of Hippodamus Grid, Japanese Tattami systems, and rational universal space in housing known in Europe that make grid and modular design an excellent system in obtaining, rationality, functionality, flexibility, and energy efficiency, including quick construction and possibility for replication. In this regard, modular construction has a future, especially in times of crisis and economic instability. (shrink)

This paper defends the claim that social scientists who are interested in the study of institutions should not conduct fights about the meaning of the terms "institution", "organization" and the other terms that are used in the theory of institutions. They should instead concentrate on constructing theories in order to explain the phenomena they are interested in. Defining the terms that one wants to use is a legitimate part of the theoretical endeavor, but it is by no means as important (...) as most institutional theorists tend to think. The paper argues in favor of this claim by drawing on a relevant discussion in the philosophy of science which deals with the role of definitions in the process of constructing a theoretical system. (shrink)

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

Various understandings and definitions of time will be reviewed. The nature and structure of time will be reviewed and the concepts of time and passage of time will be refreshed. The fundamental role played by energy and four natural forces in the actions, reactions and interactions concerning matter, anti-matter, energy in space and time will be critically analyzed. The reality how time is constructed during the construction of materials will be presented and discussed. The classical and quantum ideas in this (...) regard will be comprehensively studied. How these ideas will give us a fresh insight about the nature, structure and role of time in the construction of materials through natural scientific and manmade processes will be highlighted. The relations among matter, anti-matter, energy and time will be freshly stated. The milli-, micro-, nano, pico-, femto-, atto-times will be qualitatively analyzed considering physical, inorganic, organic and bio-materials and their construction and structure. The physics of timelessness also will be put forward. -/- . (shrink)

In Fact, Fiction and Forecast, Nelson Goodman claims that the problem of justifying induction is not something over and above the problem of describing valid induction. Such claim, besides suggesting his commitment to the collapse of the distinction between the context of description and the context of justification, seems to open the possibility that the new riddle of induction could be addressed empirically. Discoveries about psychological preferences for projecting certain classes of objects could function as a criterion for determining which (...) predicates are after all projectible. In this paper, I argue that Goodman's claim must be construed within his project for constructional definitions, which is methodologically oriented by reflective equilibrium. The description of inductive practice is committed to the articulation of the extension of the class selected by the predicate ‘valid induction’. The mutual adjustment between theoretical considerations and inductive practice involved in the proposal of a definition of ‘valid induction’ must preserve that practice as much as possible, there is no way to get rid of entrenchment. Empirical discoveries about the psychological mechanism that underlies projections may help that adjustment but they cannot substitute the role played by the entrenchment of predicates. (shrink)

The book "Theory of Forms: The Construction of Plato and Aristotle’s Criticism" focuses on two main aspects, construction and criticism. The constriction of Forms theory is the basis on which Plato built all of his philosophy and which influenced all forms of ideas philosophy that emerged after Plato. The research topic was completed by adding Aristotle's critique of the theory of Forms in order to put a clear picture in front of the reader, which was presented by Plato himself and (...) Aristotle's criticism of this theory. -/- Therefore, the book consists four chapters, the first chapter covers the following topics; The philosophical roots of Plato's theory of Forms, The numbers in the Pythagorean school, The Heraclitus' idea of change, Anaxagoras’ idea of Mind, Sophists. Chapter two, Plato's theory of Forms. Definitions of the Forms. The importance of the Forms, The existential and logical significance, Evidence of Forms, Evidence that knowledge is remembering. Chapter Three, Forms and Levels of Knowledge, Dialectic ,Inferential knowledge, Mental knowledge The fourth chapter, The nature of the Forms existence and its being Causes. Forms as numbers and their relationship to movement. The problem of Participation. The final Evaluation of Forms. (shrink)

The current definition of Constructive mathematics as “mathematics within intuitionist logic” ignores two fundamental issues. First, the kind of organization of the theory at issue. I show that intuitionist logic governs a problem-based organization, whose model is alternative to that of the deductive-axiomatic organization, governed by classical logic. Moreover, this dichotomy is independent of that of the kind of infinity, either potential or actual, to which respectively correspond constructive mathematical and classical mathematical tools. According to this view a mathematical (...) theory is based on the choices regarding these two dichotomies. As an example of this kind of foundation, arithmetic is rationally re-founded on constructive mathematical tools and the model of the problem-based organization. In conclusion, constructive mathematics is not only mathematics making use of constructive tools in intuitionist logic but also organized according to around a basic problem, solved by a method discovered using intuitionist logic. (shrink)

What follows is a summary of basic principles pertaining to the definitions used in constructing an ontology. A definition is a statement of necessary and sufficient conditions. What this means in the simplest case can be understood as follows. To say that ɸ‐ing is a necessary condition for being an A is just another way of saying that every A ɸ’s; to say that ɸ‐ing is a sufficient condition for being an A is just another way of saying that (...) everything that ɸ’s is an A. The goal in writing a definition is to specify a set of conditions of this sort which are all necessary, and which are jointly sufficient. (shrink)

Any philosophy of science ought to have something to say about the nature of mathematics, especially an account like constructive empiricism in which mathematical concepts like model and isomorphism play a central role. This thesis is a contribution to the larger project of formulating a constructive empiricist account of mathematics. The philosophy of mathematics developed is fictionalist, with an anti-realist metaphysics. In the thesis, van Fraassen's constructive empiricism is defended and various accounts of mathematics are considered and rejected. Constructive empiricism (...) cannot be realist about abstract objects; it must reject even the realism advocated by otherwise ontologically restrained and epistemologically empiricist indispensability theorists. Indispensability arguments rely on the kind of inference to the best explanation the rejection of which is definitive of constructive empiricism. On the other hand, formalist and logicist anti-realist positions are also shown to be untenable. It is argued that a constructive empiricist philosophy of mathematics must be fictionalist. Borrowing and developing elements from both Philip Kitcher's constructive naturalism and Kendall Walton's theory of fiction, the account of mathematics advanced treats mathematics as a collection of stories told about an ideal agent and mathematical objects as fictions. The account explains what true portions of mathematics are about and why mathematics is useful, even while it is a story about an ideal agent operating in an ideal world; it connects theory and practice in mathematics with human experience of the phenomenal world. At the same time, the make-believe and game-playing aspects of the theory show how we can make sense of mathematics as fiction, as stories, without either undermining that explanation or being forced to accept abstract mathematical objects into our ontology. All of this occurs within the framework that constructive empiricism itself provides the epistemological limitations it mandates, the semantic view of theories, and an emphasis on the pragmatic dimension of our theories, our explanations, and of our relation to the language we use. (shrink)

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's paper 'What (...) Theories of Truth Should be Like (but Cannot be)'. (shrink)

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of life: (...) this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

To construct a synthetic cell we need to understand the rules that permit life. A central idea in modern biology is that in addition to the four entities making reality, matter, energy, space and time, a fifth one, information, plays a central role. As a consequence of this central importance of the management of information, the bacterial cell is organised as a Turing machine, where the machine, with its compartments defining an inside and an outside and its metabolism, reads and (...) expresses the genetic program carried by the genome. This highly abstract organisation is implemented using concrete objects and dynamics, and this is at the cost of repeated incompatibilities (frustration), which need to be sorted out by appropriate «patches». After describing the organisation of the genome into the paleome (sustaining and propagating life) and the cenome (permitting life in context), we describe some chemical hurdles that the cell as to cope with, ending with the specific case of the methionine salvage pathway. (shrink)

Kant maintains that the only thing that is good in itself, and therefore good without limitation or qualification, is a good will. This is an objectionable claim in support of a controversial position. The problem is not just that the good will is not the only thing that is good in itself, which indeed it is not, but more importantly, that the good will is not so much a thing that is good in itself as it is the good kind (...) of a thing that is otherwise neither good nor bad in itself. The goodness of a good will is no more intrinsic than the goodness of a good act, good outcome, good attitude, good character, or good person. Nor is it even any more so than something as commonplace as a good laugh or a good cup of coffee. A good will, whatever else it may be, is a will that is good, much like how a good act is an act that is good, a good outcome is an outcome that is good, and so on with the other examples, not one of which is good for any reason other than the goodness predicated of the corresponding subject. This paper thus challenges Kant’s position on ontological grounds. It questions the validity of claiming intrinsic goodness for a complex construct whose goodness is, in fact, extrinsic to its substance. The objection is not that the good will might not turn out to be good after all, which is impossible by definition, designation, or stipulation, but that its goodness is axiomatic and derivative rather than intrinsic or fundamental. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

The Yogyakarta Principles for the application of human rights to sexual orientation and gender identity define gender identity as “each person’s deeply felt internal and individual experience of gender, which may or may not correspond with the sex assigned at birth, including the personal sense of the body and other expressions of gender, including dress, speech, and mannerisms.” This definition and its acknowledgment within human rights politics is a key step in the fight of trans people for legal protection. (...) Our aim is to analyze this definition both historically and systematically to find out how the Western liberal conception of rights fosters specific trans politics and limits the options for others. Specifically, we claim that political liberalism and the form of subjective rights that it brings about influence concepts of identity and political strategies. While we analyze the limits of the liberal framework, our aim is to think about how it is possible that even within this framework, non-normative bodies and queer identities can be acknowledged and supported through law. (shrink)

The Oxford English Dictionary (OED) lists 1571 as the year of the first recorded use of the English word ‘masculinity’; the Ancient Greek ανδρεια (andreia), usually translated as ‘courage’, was also used to refer to manliness. The notion of manliness or masculinity is undoubtedly older still. Yet, despite this seeming familiarity, not only is the notion proving to be highly elusive, its understanding by the society being in a constant flux, but also one which is at the root of bitter (...) division and confrontation, and which has tangible and far-reaching real-world effects. At the same time, while masculinity has been attracting an increasing amount of attention in academia, the large body of published work seldom goes to the very foundations of the issue, failing to explicitly and with clarity reach a consensus as to how masculinity ought to be understood. Herein I critique the leading contemporary thought, showing it to be poorly conceived and confounded, and often lacking in substance which would raise it to the level of the actionable and constructive. Hence, I propose an alternative view which is void of the observed deficiencies, and discuss how its adoption would facilitate a conciliation between the currently warring factions, focusing everybody’s efforts on addressing the actual ethical, deconfounded of specious distractions. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

Progress in addiction science is hampered by disagreements and ambiguity around its core construct: addiction. Addiction Ontology (AddictO) offers a path to a solution of the kind that has addressed similar problems in other areas of science: a set of clearly and uniquely defined entities to which terms such as ‘addiction’, addictive disorder’ and ‘substance dependence ’can be applied for ease of reference while recognizing that it is the construct definitions and their unique IDs that are central, not the terms.

Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...) are caused by a vicious circularity in definitions; adherence to predicativity was therefore proposed as a systematic method for preventing such problematic circularity. In the following, I sketch the origins of predicativity, review the fundamental contributions by Russell and Weyl and look at modern incarnations of this notion. (shrink)

This work aims at an initial description of prepositionless genitives in the Romance variety of San Marco in Lamis, spoken in the Southern Italian region of Apulia. The construction will be compared with other Romance, Semitic, Albanian, and Iranian varieties whereby the expression of possession is connected to the presence of D elements, or to morphology stemming from them. The paper deals, in particular, with the behaviour of the construction with elements such as definite and indefinite articles, demonstratives, proper names, (...) and with how pre-nominal adjectival modification of genitives and post-nominal adjectival modification of heads can only occur in the prepositional kind of the construction. This is also the case with demonstratives preceding heads and genitives in the form raised nominals. It will be seen that genitives are only interpreted as such when they are non-raised, i.e. when they are articled. The pre-genitival article is thus understood to be a pivotal element in the interpretation of the second DP as genitival. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

New definitions are proposed for communication and language. Communication is defined as the evolution of physical, biochemical, cellular, community, and technological information exchange. Language is defined as community communication whereby the information exchanged comprises evolving individual and group-constructed knowledge and beliefs, that are enacted, narrated, or otherwise conveyed by evolving rule-governed and meaningful symbol systems, that are grounded, interpreted, and used from within evolving embodied, cognitive, ecological, sociocultural, and technological niches. These definitions place emphasis on the evolutionary aspects of communication (...) and language, and they are here differentiated from four older paradigms that instead focus either on the referential or social aspects of language, or the informational or semantic aspects of communication. In contrast with these paradigms, the definitions proposed here for communication and language are in line with a pluralistic evolutionary worldview, one that necessitates the recognition that a multitude of units, levels, mechanisms and processes are involved in bringing forth communication and language. (shrink)

[ENGLISH] This article discusses the potential of synthetic biology to address fundamental questions in the philosophy of biology regarding the nature of life and biological functions. Synthetic biology aims to reduce living organisms to their simplest forms by identifying the minimal components of a cell and also to create novel life forms through genetic reprogramming, biobrick assembly, or novel proteins. However, the technical success of these endeavors does not guarantee their conceptual success in defining life. There is a lack of (...) consensus among researchers on how to define and classify the entities produced in the lab, whether they should be considered living or categorized differently. The criteria for minimal cells and minimal life are subject to arbitrary choices and varying interpretations. The concept of function, crucial to synthetic biology, is also difficult to define. The article highlights the need to consider the minimal set of functions that characterize life before determining the smallest genomes that code for those functions. The arbitrary nature of defining both life and function complicates the understanding and classification of these entities. The article suggests that the traditional dichotomy between the living and the non-living may no longer be valid and that the concept of life itself may not require precise scientific definition. As synthetic biology advances, the article emphasizes the importance of redefining or constructing new categories to encompass the expanding possibilities and creations in the field. The ability to create new life forms raises questions about recognition, identification, and ethical implications, requiring a conceptual and philosophical engagement beyond the technical achievements of synthetic biology. -/- [FRENCH] L'article aborde le potentiel de la biologie synthétique pour répondre à des questions fondamentales de la philosophie de la biologie concernant la nature de la vie et des fonctions biologiques. La biologie synthétique vise à réduire les organismes vivants à leurs formes les plus simples en identifiant les composants minimaux d'une cellule et à créer de nouvelles formes de vie grâce à la reprogrammation génétique, à l'assemblage de biobriques ou à des protéines nouvelles. Cependant, le succès technique de ces approches ne garantit pas leur réussite conceptuelle dans la définition de la vie. Il n'y a pas de consensus parmi les chercheurs sur la façon de définir et de classer les entités produites en laboratoire, qu'elles doivent être considérées comme vivantes ou catégorisées différemment. Les critères des cellules minimales et de la vie minimale sont soumis à des choix arbitraires et à des interprétations variables. La notion de fonction, essentielle en biologie synthétique, est également difficile à définir. L'article met en évidence la nécessité de prendre en compte l'ensemble minimal de fonctions qui caractérisent la vie avant de déterminer les plus petits génomes qui codent ces fonctions. La nature arbitraire de la définition de la vie et de la fonction complique la compréhension et la classification de ces entités. L'article suggère que la dichotomie traditionnelle entre le vivant et le non-vivant pourrait ne plus être valable et que le concept même de vie ne nécessite pas une définition scientifique précise. À mesure que la biologie synthétique progresse, l'article souligne l'importance de redéfinir ou de construire de nouvelles catégories pour englober les possibilités et créations croissantes dans le domaine. La capacité à créer de nouvelles formes de vie soulève des questions de reconnaissance, d'identification et d'implications éthiques, nécessitant une réflexion conceptuelle et philosophique au-delà des avancées techniques de la biologie synthétique. (shrink)

Research on epistemic circularity has focused more on the problem of whether circular arguments are able to justify their conclusions rather than on the nature of circularity itself, and has kept a sharp delimitation from other types of circularities (logical, linguistic, and of definition). In this paper, I aim to move the focus toward the general concept of circularity, which I relate to the concept of ‘epistemic worry’. Through a brief overview on the known types of circularities, I show (...) that circularity has multiple natures (not only that associated with its type), and the linguistic aspect is essential in qualifying a construct as circular, which in turn raises the problem of genuineness of a circularity. Within an extensional approach, I suggest generalizing the meaning of the key epistemological terms referred to in the classical definition of epistemic circularity to also cover additional associated concepts specific to other theoretical disciplines beyond epistemology. The proposed concepts and ideas are reflected in a structural unificatory account of circularity in terms of epistemic determination, which raises a challenge to the relational accounts of determination in regard to the transitivity of the determination relation. (shrink)

This text examines the socio-professional guidance of Comorian migrants residing on La Réunion Island. It mainly questions the process whereby guidance is constructed as a professional situation. To apprehend the complexity of the process, we have drawn on an ethnographical procedure (Woods, 1990) based on a dual source of data—that of the guide and that of the guided—as well as a micro-sociological approach (Thomas, 1923 ; Goffman, 1993 ; Lapassade, 1997) allowing us to link the concepts of situation definition (...) and conflict in situation definition. Finally, the article mobilizes an intercultural approach (Abdallah-Pretceille, 2003 ; Clanet, 1990 ; Camilleri, 1993) which, in reference to a threefold subjectivist, interactionist and situational perspective, aims to shed light on the dimensions of guidance that are otherness and heterogeneity. Ce texte traite de l’accompagnement socioprofessionnel des migrants comoriens résidant dans l’île de La Réunion. Il questionne principalement le processus de construction de l’accompagnement en tant que situation professionnelle. Pour appréhender la complexité de ce processus, nous avons convoqué une démarche ethnographique (Woods, 1990) privilégiant une double entrée : celle de l’accompagnateur et celle de l’accompagné, une approche microsociologique (Thomas, 1923 ; Goffman, 1993 ; Lapassade, 1997) permettant d’articuler les concepts de définition de la situation et de conflit de définition de la situation et enfin une approche interculturelle (Abdallah-Pretceille, 2003 ; Clanet, 1990 ; Camilleri, 1993) visant à élucider, en référence à une triple perspective : subjectiviste, interactionniste et situationnelle, les dimensions altéritaire et hétérogène de l’accompagnement. (shrink)

The definition of thinking in general form is given. The constructive logic of thinking is formulated. An algorithm capable of arbitrarily complex thinking is built.

The aim of this dissertation is an analysis of agreement in relation to genitival constructions. It proposes that the Apulian non-prepositional enitives of San Marco in Lamis can be described as regulated by a definiteness agreement mechanism manifesting itself in the necessity of articled heads (excluding vocatives) and genitival nouns, coupled with an adjacency requirement which limits the realization of post-nominal modifiers of the head in a post-genitival position, where they might only refer to the genitive noun. This work thus (...) proposes that such agreement for definiteness is the same holding in Romanian non-al genitives which result in the linker construction when agreement is disrupted. In chapter 1 we thus introduce Kartvelian genitives by Suffixaufnahme which notoriously represent a genitive-head noun morphological agreement phenomenon. Plank (1995) also shows that in a series of genitives, Suffixaufnahme shows up only on the last one, demonstrating that when it comes to agreement in genitives, local dynamics of sorts are often at stake (as it happens with the Costruct State). In 2 we move to linkers; linkers have been connected to agreement in Suffixaufnahme genitives at least since Plank (1995) and later works such as Larson and Yamakido (2006), Manzini et al (2016), and Manzini (2018), according to which linkers can be assimilated to agreement. In fact, in synthetic systems such as Romanian and Aromanian, Albanian and Arbëresh, and Kurdish varieties, linkers agree for φ with either the head or the genitive noun. Giurgea and Dobrovie-Sorin (2013: 126) further show that in Romanian non-linker constructions possessives agree for case with the head noun. In linker constructions, agreement for case is not present: it’s the linker itself which agrees with the head noun, this time for φ. Chapter 3 deals with genitival modification in Hebrew and a number of Arabic varieties. It proposes that the pseudoprepositions found in Arabic varieties are nouns in the Construct State. This was previously proposed for Palestinian Arabic in Mohammad (1999), which also shows that such elements agree for φ with the modified noun. 3.2 takes into account the Semitic preposition l-, dealing with the question of whether this lement can be characterized as possessive and locative as it happens for Romance a. 4 analyzes Apulian non-prepositional genitives and proposes as anticipated that the necessity of articled nouns in the construction is to be linked to an agreement relation taking place via D. Lastly, 5 subsumes the conclusions of this work. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In view of the publication of the DSM-V researchers were asked to discuss the theoretical implications of the definition of mental disorders. The reasons for the use, in the DSM-III, of the term disorder instead of disease are considered. The analysis of these reasons clarifies the distinction between the general definition of disorder and its implicit, technical meaning which arises from concrete use in DSM disorders. The characteristics and limits of this technical meaning are discussed and contrasted to (...) alternative definitions, like Wakefield’s harmful/dysfunction analysis. It is shown that Wakefield’s analysis faces internal theoretical problems in addition to practical limits for its acceptance in the DSM-V. In particular, it is shown that: a) the term dysfunction is not purely factual but intrinsically normative/evaluative; b) it is difficult to clarify what dysfunctions are in the psychiatric context (the dysfunctional mechanism involved being unknown in most cases and the use of evolutionary theory being even more problematic); c) the use of conceptual analysis and commonsense intuition to define dysfunctions leaves unsatisfied empiricists; d) it is unlikely that the authors of the DSM-V will accept Wakefield’s suggestion to revise the diagnostic criteria of any single DSM disorder in accordance with his analysis, because this is an excessively extensive change and also because this would probably reduce DSM reliability. In conclusion, it is pointed up in which sense DSM mental disorders have to be conceived as constructs, and that this undermines the realistic search for a clear-cut demarcation criterion between what is disorder and what is not. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

The overarching goal of this book is to differentiate and provide a highly detailed descriptive account of a specific class of arguments. To simplify, let us consider the following example: suppose one aims to persuade that “Julius Caesar was a criminal.” To support that claim various arguments may be formulated, such as: a) Joseph Stalin murdered his political opponents who openly opposed him, thus he was a criminal. Julius Caesar did the same. Therefore, if Stalin was a criminal, then Caesar (...) was also a criminal. b) Most historians studying the history of the Roman Empire consider Julius Caesar to be a criminal, so he was one. c) The majority of people believe Julius Caesar was a criminal, so he was one. d) Anyone who murders or orders the killing of others is a criminal—regardless of whether it’s in defense of the country or to maintain power. Julius Caesar issued orders resulting in thousands of deaths, so he was a criminal. Argumentation theory distinguishes and extensively describes different types of arguments, each with its own definition, argumentation scheme, subtypes, and criteria for evaluation. We may, therefore, identify that: example (a) employs the argument from analogy, (b) is an argument from authority (ad auctoritate), and (c) is an argument from popular opinion (ad populum). What about (d)? Is there a theory for such arguments? Argument in the example (d) establishes the meaning of “criminal” by extending it to those who lead troops into battle or kill in self-defense, and in this way, Caesar can also be included in the extension of a “criminal” (regardless of whether he committed genocide or simply won battles). Although there are many concepts in argumentation theory and informal logic that explain various aspect of such arguments (e.g., persuasive definitions and persuasive quasi-definitions, attributions, classification arguments, etc.) there is no theory for such arguments—or rather—there was no until now. This book is aimed to provide a concept, classification, and assessment criteria for arguments which fix the meaning to support persuasion—namely, semantic arguments. Semantic arguments manifest themselves as a common and very powerful means of persuasion in various areas of human activity, including political discourse, advertising, science, law, and philosophy. This can be illustrated through an analysis of some examples: e.g., the redefinition of “planet” proposed in 2008 to exclude Pluto from the scope of this concept, the redefinition of the term “wetland” put forward by G.W. Bush in 1988, modifications of the definition of “human being” in disputes about abortion, or the definition of “vehicle” in cases of accidents involving electric scooters. The book’s goal is to provide a model of semantic argument—differentiating arguments that fix meaning for persuasive purposes, providing definition and scheme, constructing a comprehensive classification, and developing assessment criteria. This broader aim also fills a gap in argumentation theory regarding our understanding of semantic arguments and their actual and potential applications. (shrink)

A step towards constructing an ethics of international activism is proposed by formulating a series of constraints on what would constitute morally permissible agency in the context that involves delivering services abroad, directly or indirectly. Perhaps surprisingly, in this effort the author makes use of the concept of ‘force multiplier’. This idea and its official applications have explanatory importance in considering the correlation between the post-Cold War phenomenal growth in the number of international non-governmental organizations and the emergence of the (...) US as the sole, unchallenged superpower. Four moral constraints useful for morally assessing international activism are formulated and defended. The final outcome is an argument in favor of an overarching duty for any activist-minded Westerner to go local, while developing nations are urged to closely regulate, even criminalize, activities by international activists and ‘human rights organizations’ on their territory when not in solidarity or in support of local movements. The position defended, urging the normative primacy of local over international activism, also finds support in Immanuel Kant’s Third Definitive Article for A Perpetual Peace. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

Amartya Sen has made a major contribution to the theory of social justice, and of gender justice, by arguing that capabilities are the relevant space of comparison when justice-related issues are considered. This article supports Sen's idea, arguing that capabilities supply guidance superior to that of utility and resources (the view's familiar opponents), but also to that of the social contract tradition, and at least some accounts of human rights. But I argue that capabilities can help us to construct a (...) normative conception of social justice, with critical potential for gender issues, only if we specify a definite set of capabilities as the most important ones to protect. Sen's "perspective of freedom" is too vague. Some freedoms limit others; some freedoms are important, some trivial, some good, and some positively bad. Before the approach can offer a valuable normative gender perspective, we must make commitments about substance. (shrink)