During the first few decades of the twentieth century, legal theory on both sides of the Atlantic was characterized by a tremendous amount of skepticism toward the private law concepts of property and contract. In the United States and France, Oliver Wendell Holmes and François Gény led the charge with withering critiques of the abuse of deduction, exposing their forebears' supposedly gapless system of private law rules for what it was, a house of cards built on the ideological foundations of (...) laissez faire capitalism. The goal was to make the United States Constitution and the French civil code more responsive to the realities of industrialization. Unlike the other participants in this transatlantic critique, François Gény simultaneously insisted on the immutability of justice and social utility. His “ineluctable minimum of natural law” would guide judges and jurists toward the proper social ends, replacing deduction with teleology. The problem was that nearly all of Gény's contemporaries were perplexed by his conception of natural law, which lacked the substance of the natural rights tradition of the eighteenth and nineteenth centuries and the historicist impulse of the early twentieth. No one was more perplexed than Oliver Wendell Holmes, whose more thorough going skepticism led him to see judicial restraint as the only solution to the abuse of deduction. The ultimate framework for this debate was World War I, in which both Holmes and Gény thought they had found vindication for their views. Events on the battlefield reaffirmed Gény's commitment to justice just as they reignited Holmes' existential embrace of the unknown. In a sense, the limits of their skepticism would be forged in the trenches of the Great War. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

El trabajo consiste en una elucidación de los elementos que conforman el concepto de pena natural (poena naturalis) en el Derecho penal. Se puede caracterizar la pena natural como el daño o sufrimiento que recae sobre el autor de un delito, producto de la comisión del mismo, que debe ser descontado de la pena legal que ha de aplicársele. Si bien existe un mínimo acuerdo sobre esto, tanto en la jurisprudencia como en la doctrina penal se observan serios desacuerdos acerca (...) de los requisitos que se deben cumplir para reconocer que se está frente a una pena natural. Para elucidar los elementos, se utilizará el constructivismo conceptual de Ronald Dworkin, a fin de describir el desacuerdo y sus implicancias, reconocer los elementos principales de la pena natural y justificarlos bajo su mejor luz moral. ABSTRACT This study focuses on the clarification of the conceptual elements of poena naturalis in criminal law settings. The poena naturalis is the damage or suffering that falls on the convict for its commission. This damage must be deducted from the poena forensis to be applied. Although there is a minimum agreement about the concept of poena naturalis, in the jurisprudence and among legal scholars, there are serious disagreements about the elements of poena naturalis. To elucidate the elements, I will adopt Ronald Dworkin’s conceptual constructivism to describe the disagreement and its implications. At last, I will justify the main elements of the poena naturalis by their best moral light. (shrink)

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

This memoir consists of two parts, of which the first deals with the foundations of the theory of the struggle for existence, and begins with the introduction of the important concept of quantity of life, besides that of population. The fundamental equations are then established for the case where the individuals of a biological association mutually devour each other, the reasoning being based on the principle of encounters and on the fundamental hypothesis of the existence of equivalents of the individuals (...) constituting the different species which form the association.Having now obtained the equations which determine the rates of change of the numbers of individuals and of the quantities of life of the species, the memoir proceeds to find the equations relating to the stationary state, by establishing theorems which are afterwards applied for the purpose of obtaining the three general laws of the fluctuations. This investigation of the equilibrium state is then followed by the determination of the integrals of the fluctuation equations, and the deduction from these of their most important consequences.The second part of the memoir contains the enumeration and demonstration of the general laws of the struggle for existence, which flow from the discussion of the principles and the integrals obtained in the first part. In this way there is established a new sort of dynamics, demographic dynamics, which, though substantially different from the dynamics of material systems, is developed from an analogous point of view.The second part begins with the principle of the conservation of demographic energy, according to which there are two sorts of energy, one actual and one potential, which transform mutually the one into the other. This principle is the analogue of the principle of conservation of mechanical energy. It is followed by the enunciation of the three laws relating to the biological fluctuations, the experimental verification of which has been investigated by several naturalists. The success which has attended their efforts is well known.Everybody knows the importance ofHamilton's principle in mechanics and in all the domains of physical science. An analogous variation principle can be found in biology, and from it one can deduce the fluctuation equations in the canonical Hamiltonian form and also in the form of a Jacobian partial differential equation. Their integrals in involution from the subject next studied, and in this way are found cases where the integration is reducible to quadratures.Hamilton's principle leads to the principle of least action . There exists also in biology a closely related principle, which may be called the principle of least vital action. Its analytical form is such that it requires the existence of a true minimum, a state of affairs which does not always hold good in the analogous case in mechanics.Die Abhandlung besteht aus zwei Teilen: Der erste ist den Grundlagen der Theorie des Kampfes ums Dasein gewidmet. Man beginnt damit, neben der Bevölkerung die Menge des Lebens einzuführen, welche eine sehr wichtige Rolle spielt. Man geht dann dazu über, die Grundgleichungen für den Fall aufzustellen, in welchem die Individuen einer biologischen Assoziation sich gegenseitig auffressen. Man wendet das Prinzip der Begegnungen an und stützt sich auf die Grundhypothese der Existenz von Individuenäquivalenten der verschiedenen Arten, welche die Assoziation bilden.Wenn man die Gleichungen, welche die Variationen der Individuenzahlen und der Lebensmengen der Arten liefern, gefunden hat, so schreitet man zu den statischen oder Gleichgewichtsgleichungen fort und findet so die Theoreme, die man alsdann benutzt, um die drei allgemeinen Gesetze der Fluktuationen zu erhalten.Nach dem Studium des Gleichgewichtes geht man dazu über, die verschiedenen Integrale der Fluktuationengleichungen zu finden und zieht endlich aus ihnen die wichtigsten Folgerungen.Im zweiten Teile werden die allgemeinen Gesetze des Kampfes ums Dasein, welche aus der Diskussion der Prinzipien und der im ersten Teil gewonnenen Integrale stammen, ausgesprochen und bewiesen. Man baut so eine neue Dynamik auf: die demographische Dynamik, welche, obschon sie wesentlich verschieden von derjenigen der materiellen Systeme ist, sich nach einem analogen Gesichtspunkt entwickelt.Man beginnt in diesem zweiten Teil mit dem Prinzip der Erhaltung der demographischen Energie, nach welchem zwei Energien, die aktuelle und die potentielle, sich ineinander verwandeln. Wir haben hier eine Analogie zum Prinzip der Erhaltung der mechanischen Energie. Dann werden die drei Gesetze der biologischen Fluktuationen formuliert. Für sie haben verschiedene Naturforscher experimentelle Bestätigungen gesucht. Man kennt den Erfolg ihrer Bemühungen.Alle Welt kennt die Bedeutung des Prinzips vonHamilton in der Mechanik und in allen Gebieten der Physik. Man kann ein dem Variationskalkül analoges Prinzip in der Biologie finden. Aus ihm kann man die Fluktuationsgleichungen in der kanonischen Form vonHamilton und in der Gestalt einer Gleichung mit partiellen Differentialquotienten vonJacobi herleiten. Ihre Integrale bilden den Gegenstand der folgenden Studien. Man findet Fälle, in denen die Integration sich auf Quadraturen reduziert.Das Prinzip vonHamilton zieht das Prinzip der kleinsten Wirkung oder das Prinzip vonMaupertuis nach sich. Auch in der Biologie gibt es ein mit dem vorgenannten zusammenhängendes Prinzip, welches man das Prinzip der kleinsten vitalen Wirkung nennen kann. Seine analytische Form ist derart, dass es sich um ein wahres Minimum handelt, das im analogen Fall in der Mechanik nicht immer zutrifft. (shrink)

A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...) the minimum, the hypercube is a “multiplication table” of dyadic computations and produces values in a way that shortens the time to do operations that normally would take longer using conventional truth table methods. It also can serve as a theorem prover and creator. With the hypercube comes a deductive system without the need for axioms. The main significance of the 3-D hypercube at this point is that it is the most fundamental way of displaying all dyadic computations in binary space, thus serving as a way of normalizing the rendition of uninterpreted, or raw, binary space. The hypercube is a dimensionless entity, a standard by which in binary spaces can be measured and classified, analogous to a meter stick. (shrink)

We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization of the standard game for negation-less logic programs introduced by van Emden [M.H. van Emden, Quantitative deduction and its fixpoint theory, Journal of Logic Programming 3 37–53] in which two players, the Believer and the Doubter, compete by trying to prove a query. The standard game is equivalent to the minimum Herbrand model semantics of logic programming in the (...) sense that a query succeeds in the minimum model semantics iff the Believer has a winning strategy for the game which begins with the Doubter doubting this query. The game for programs with negation that we propose follows the same rules as the standard one, except that the players swap roles every time the play “passes through” negation. We start our investigation by establishing the determinacy of the new game by using some classical tools from the theory of infinite-games. Our determinacy result immediately provides a novel and purely game-theoretic characterization of the semantics of negation in logic programming. We proceed to establish the connections of the game semantics to the existing semantic approaches for logic programming with negation. For this purpose, we first define a refined version of the game that uses degrees of winning and losing for the two players. We then demonstrate that this refined game corresponds exactly to the infinite-valued minimum model semantics of negation [P. Rondogiannis,W.W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic 6 441–467]. This immediately implies that the unrefined game is equivalent to the well-founded semantics. (shrink)

The article attempts to analyse the position of schematism in Kant's theory of empirical knowledge. The view suggested in the article is that it is the idea of schematism and not the idea of the transcendental deduction which is Kant's real reply to Hume's question. Empirical knowledge according to Kant is possible because time itself, being the mediating link between concepts and data, contains a minimum of order and hence a minimum of rationality. The article deals with the (...) position of time in Parmenides and Spinoza on the one hand and with its position in Kant on the other. While Parmenides and Spinoza related rationality with overcoming the attachment to time, Kant related rationality precisely with time. Actually the problem behind schematism in Kant is that of mediation between two worlds. The last part of the article deals with the place of Kant's position within the development of the Platonic problem. (shrink)

The research aims to investigate the characteristics and risks associated with the handling of sensitive data in the implementation of public policies within the digital government model. To achieve this, a hypothetical-deductive method and bibliographic and documentary procedures are employed, proposing an interdisciplinary discussion on technological advancement, data protection, transparency, and public policies. The justification revolves around the importance of a comprehensive, cohesive system that genuinely protects sensitive personal data, considering the need to keep pace with technological developments and (...) maintain a minimum level of security in the digital age at both national and international levels. There is no doubt that the judicious and strategic use of data has the potential to drive substantial improvements in policy evaluation, decision-making, and the relationship between government and citizens. However, dealing with personal data also means addressing risks with responsibility, transparency, and respect for individual rights. (shrink)

After more than 60 years, Shannon’s research continues to raise fundamental questions, such as the one formulated by R. Luce, which is still unanswered: “Why is information theory not very applicable to psychological problems, despite apparent similarities of concepts?” On this topic, S. Pinker, one of the foremost defenders of the widespread computational theory of mind, has argued that thought is simply a type of computation, and that the gap between human cognition and computational models may be illusory. In this (...) context, in his latest book, titled Thinking Fast and Slow, D. Kahneman provides further theoretical interpretation by differentiating the two assumed systems of the cognitive functioning of the human mind. He calls them intuition (system 1) determined to be an associative (automatic, fast and perceptual) machine, and reasoning (system 2) required to be voluntary and to operate logical-deductively. In this paper, we propose a mathematical approach inspired by Ausubel’s meaningful learning theory for investigating, from the constructivist perspective, information processing in the working memory of cognizers. Specifically, a thought experiment is performed utilizing the mind of a dual-natured creature known as Maxwell’s demon: a tiny “man–machine” solely equipped with the characteristics of system 1, which prevents it from reasoning. The calculation presented here shows that the Ausubelian learning schema, when inserted into the creature’s memory, leads to a Shannon-Hartley-like model that, in turn, converges exactly to the fundamental thermodynamic principle of computation, known as the Landauer limit. This result indicates that when the system 2 is shut down, both an intelligent being, as well as a binary machine, incur the same minimum energy cost per unit of information (knowledge) processed (acquired), which mathematically shows the computational attribute of the system 1, as Kahneman theorized. This finding links information theory to human psychological features and opens the possibility to experimentally test the computational theory of mind by means of Landauer’s energy cost, which can pave a way toward the conception of a multi-bit reasoning machine. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Parmenides: The Road to Reality A New Verse Translation RICHARD MCKIM introduction i. In the history of Presocratic Greek philosophy, the poetry of Parmenides seems to loom up suddenly out of the blue like a spectral mountain peak. Depicting a vision of ultimate reality that transcends the sensory world, his towering verse manifesto revolutionized both how philosophers thought and what they thought about, with profound repercussions that still reverberate (...) today. Parmenides has not, however, been well served by his English translators. He wrote poetry and yet is almost always translated into prose. His poem describes a divinely inspired revelation and yet is persistently translated as if it were an exercise in deductive logic. His Greek can be strange and difficult but is never unintelligible, which is more than can be said for the Anglo-gibberish his translators too often force him to speak. Too many subscribe to the misguided notion that a “literal” translation, as close as possible to word-forword, best represents the original. In fact, the painful English that results, so far from being faithful to the Greek, actually betrays it, creating the obscurities it purports to reflect. Parmenides ’ reputation for being hard to understand is largely his translators’ fault, not his. I’ve undertaken to make amends by translating his poem as a poem, in a loose English approximation of the same meter. My goal is to capture some of what gets lost in prose—to mirror, however dimly, the vital role of poetic form in shaping Parmenides’ vision. The demands of meter make literal translation impossible—not at all a bad thing— while paradoxically freeing the translator to be more faitharion 27.2 fall 2019 ful. I’ve tried to use this freedom to demonstrate that Parmenides is not the obscurantist would-be logician of so many other translations but a philosopher who thinks in poetry, and whose thought is as clear and accessible as it is astonishing. ii. parmenides was a citizen of Elea, a Greek colonial town on the west coast of the ankle of Italy’s boot. Born around 515 BCE, he was an older contemporary of Socrates, who was born in 470 (according to Plato, the two men met when Parmenides was sixty-five). Several other so-called Presocratics were active even later—Democritus for one was Socrates’ junior by a decade. But the label is still useful: while Socrates reoriented philosophy toward moral values and politics, the later Presocratics maintained their predecessors’ focus on physics and cosmology. Their project was to account for the physical workings of the universe—its origins, its elements, and the forces or laws that govern its behavior— without falling back on the gods of traditional myth. But Parmenides splits their story in two. Before him, Presocratics took the reality of the sensory world for granted— a world of multiplicity and variety, motion and change, becoming and passing away. Parmenides radically rejected this assumption. The sensory world, he declared, is an illusion. What really exists is what he calls “being,” whose true nature can be perceived only by the mind. And by clearly perceiving what being must be like, the mind perceives that it can’t be anything like the world as our senses perceive it. Being is the exact opposite of the sensory world in every respect. It is timeless, motionless, changeless and imperishable, an eternal and indivisible One. After Parmenides, the reality of the sensory world needed defending. Subsequent Presocratics had to explain, at a minimum, how it could circumvent his ban on multiplicity and motion. Most notably, he provoked Leucippus and Democri106 parmenides: the road to reality tus into developing their theory of atomism—that the universe consists entirely of atoms in a void. Atoms are microscopic Parmenidean beings insofar as they’re indivisible, indestructible and immutable, but they can be infinite in number, they can move, collide and combine, thanks to the roominess of the infinite void, defined as the absence of being. Never mind that Parmenides ruled out the existence of such an absence—by inspiring atomism, he became, in his otherworldly way, the unwitting godfather of modern physics. As for metaphysics, it may be debatable whether he arrived at the idea... (shrink)

Epistemology mirrors reality but notperfectly, and in the process molds reality butnot exactly as intended or anticipated. Horizontal interconnections also exist betweenand among epistemology, ideology, theory andpraxiology. However, these relations areneither deductive nor deterministic in naturebut are merely resonant, and then unclear,ambiguous and confounded. In this paper, thepoint is made that we need a grand reflectionon both our paradigms of reality and ourpredicaments of life as lived, to deal with thediscontent of humanity at this moment of thehistory of our (...) civilization, and to engage inpraxis ``to act on our world and to reconstructit'' to make it moral, just and more humane. Toundertake such a grand reflection, we need apractical philosophy of knowledge – that is, apractical epistemology – to bridge across themultiple epistemological approaches nowcrowding our discussions. An epistemictriangle formed by systems thinking,constructivist thinking, and dialecticalthinking is offered to serve as the startingpoint of crystallization for building a commonground for epistemologies. It is shown how suchan epistemological diagram could be first usedto develop a minimum ideological consensus andthen to bring orderliness to the chaos ofcontemporary themes of our civilization andissues of education and culture within andacross nations. Finally, an agenda foreducational leadership for educational practiceis offered to fit the needs of the globalcommunity of nations as we enter thetwenty-first century. (shrink)

In the first part of the article S. Les´niewski’s system of ontology is characterized. It is a name system, one of the broadest systems of this type built in the first half of the 20th century. Ontology is built on the basis of only one axiom; hence definitions play such an important role in this system.The second part of the article is devoted to a characteristic of definitions in ontology. Two kinds of definitions are most often mentioned in ontology: protothetic (...) and ontological ones. This division results from the kind of functor that the given definition introduces into the system. Protothetic definitions introduce functors that generate propositions and ontological ones introduce functors that generate names.In the third part of the article comments are made on creative definitions in ontology. An important feature of definitions in ontology is their creativity. A definition is creative if after it is included in a system it allows proving such a theorem that could not be proved without this definition. The most important motive for selecting creative definitions for building a deduction system is the postulate of formulating a minimum number of the strongest axioms and primary rules. In ontology some of the protothetic and ontological definitions are distinguished by the creative property. (shrink)

1. The structure and evolution of our universe are sometimes spoken of as being the subject oif modem cosmology. The problem, when a certain cosmological theory may be called evolutionary, is considered.Definition 1: A physical theory T describing a system U of physical objects u1, u2,... un,... is evolutionary, if theory T represents a system U as variable in time and if one can define a constant direction of this variability. A condition demanding that the system U must develop from (...) simpler to more perfect forms (as sometimes postulated in biology) is in physics meaningless.According to def. 1. all relativistic world models satisfying the perfect cosmological principle, so called stationary models, ipso facto are not evolutionary. Oscillating models may.be regarded as evolutionary only in limited time intervals: from R-minimum to R-maximum and from R-maximum to R-iminimuim. Considering longer time intervals, one cannot indicate a constant direction of world’s variability. All other nonstationary models are evolutionary ones.2. A chief ideas of SMW-theory (first published in this Journal, XV (1967) fasc. 3, p. 73—88) are briefly presented. The possibility of influence of extragravita- tional factors on cosmic structure and evolution once admitted by SMW, there exists a definite probability that the universe will pass (’’passages hypothesis”) from the state defined by one model to the state defined by another one. SMW then replaces deterministic evolution of singular relativistic model into a 'kind of cosmological indétermination of model series. Owing to this fact, in SMW one cannot define a constant direction of world variability.Definition 2: We shall call a physical theory T describing a system U of physical objects u1, u2,... un,... an evolutionary theory in a probabilistic sense, if this theory represents a system U as variable in time and if one can define the probable direction of this variability.SMW-theory can be considered as evolutionary in the sense of def. 2 only.3. The moment, from which starting, we can speak of the world evolution in the direction, that it is holding up to day, we shall call "the beginning” of the universe. According to Lemaître, the same deterministic laws, which could predict the future (by deduction from initial conditions describing "the beginning”), could as well be used for computing some more distant conditions, from which ’’the beginning” might have been evolved. But, as we know, in relativistic cosmology such ’’predictions” backwards beyond the point of "beginning” (the point, which mathematically speaking forms a singularity in space-time) is quite impossible. This is a modern formulation of one of Kant’s famous antinomies. In SMW this antinomy disapears entirely. The universe is described as an assembly of potential states, which can be, or not, occupied. Now ”the beginning” is not a singular point but it is as ’’good” a state as other states of the universe. Only observational tests can indicate the real moment (if such existed) from which the cosmic evolution had begun. (shrink)

An important link between model theory and proof theory is to construe a deductive disproof of S as an attempted construction of a countermodel to it. In the function logic outlined here, this idea is implemented in such a way that different kinds of individuals can be introduced into the countermodel in any order whatsoever. This imposes connections between the length of the branches of the tree that a disproof is and their number. If there are already n individuals (...) in the countermodel that is being constructed, the next individual has to be considered in its relations to each of the n old ones, creating 2^n different cases and accordingly at least 2^n different branches. Hence a disproof procedure of a polynomial length is normally not equivalent with an exponential one. Because every computation can be represented as a deduction with the same number of constant terms, the same holds for nondeterministic computations. Apparent exceptions seem to come about if a branch created by a new individual i is redundant. But when the disproof is a shortest one (contains the minimum number of different constant terms) then not introducing that idle term at all would result in an even shorter disproof, violating the shortness assumption. (shrink)

The third edition of _Essentials of Symbolic Logic_ is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations (proofs) in this (...) system. An instructor’s website is available with solutions to all the exercises in the text, including the many new exercises which have been added to this new edition. (shrink)

This article presents a model of the production of human behaviour, grounded in a pragmatist perspective. The model has two components: a small set of considered behaviours, and a set of motivators which I group into four subsets: material, reproductive, and two sets of attributional motivators. The model is based on a minimum principle. A person performs that considered behaviour which comes closest to ideal in light of the person's motivators. I show that both declining marginal utility and satisfying (...) follow as deductions from the model. In addition, especially with the inclusion of attributional motivators, the model accounts for a variety of findings in social science. I also show how it can generate theory and testable empirical predictions. (shrink)

This article begins with four situations, the first three of which are common to many businesspeople and persons in the United States today and the fourth, unfortunately, is growing: Setting the minimum level at which workers are paid; going bankrupt to avoid paying for credit card purchases, claiming a questionable deduction in calculating one's federal income tax liability, and violating the law in every state by a major U.S. corporation.These cases support the idea that positive law is the operative (...) ethic for persons in a commercial setting. Reasons advanced for this phenomenon are ethical ambiguity, lack of personal responsibility, increasing technicality of contemporary society, and the fact that the law is now seen as the most that is expected of businesspersons. In arriving at the paper's conclusions, positive law theory is discussed. Data are presented to explain why these illustrations are not mere anecdotal examples but represent broad contemporary occurrences in the U.S. (shrink)

Modern science relies largely on method or, rather, on the claim that by employing a systematic, impersonal method, human reasoning can transcend the mind’s subjective experience of reality and discover the true, external causes of experience. In the early stages of modern science’s emergence out of medieval and Renaissance nature philosophy, Francis Bacon argued that this method was to be based on induction and experiment, without a priori mental input and with a minimum of mathematics. Rene Descartes argued that (...) the required method was to be based on deduction, mathematics, and a priori and innate ideas, with a minimum of experiment. For Descartes, experiment served primarily as a check on deductive reasoning; for Bacon, experiment was a source of knowledge and constrained our inductive reasoning about empirical facts. Despite their differing styles, Descartes and Bacon together concretized the idea that a systematic method of reasoning could give us knowledge of the world. (shrink)

Having considered why a democratic polity might have reason to limit philanthropy’s reach, the book moves to consider the conditions under which such a polity might have reason to offer donations affirmative support. Policies that subsidize philanthropic donations are a fixture of the public finance regimes of most democratic societies. Most instantiations of this policy make subsidies available on a neutral basis, with no special priority accorded to specific categories of nonprofit activity. Numerous critics find this policy wanting, contending that (...) public support for philanthropy can only be justified as a way of responding to poverty. The chapter affirms that a society’s least advantaged members have powerful claims on collective resources but notes serious limitations with using philanthropy to satisfy them. Meanwhile, it proposes that public support for citizens’ varied philanthropic commitments is valuable as a way of mediating the limitations of majority rule and securing the organizational foundations of democratic deliberation. (shrink)

The paper advocates an epistemological interpretation of the Peano School axiomatics. The construction of axiom systems is presented as a cognitive enterprise unveiling the internal dynamics, evolution, and architecture of axiomatic systems as well as connections to applications. This approach reveals that the study of the relation between axioms and theorems not only serves to reduce a theory to a minimum number of principles and increase the certainty or justification of the latter, but also to study alternative settings of (...) a given mathematical theory. The paper explains why the Peanian conception of axiomatics differs from axiomatic deductivism, if-thenism and scientific deductivism, and analyzes Peano’s conception of rigor. The paper also postulates that Peano had a set-theoretic but also an algorithmic conception of function, and prioritized functions over relations. Two seemingly contradictory aspects of Peano’s axiomatics, global and local reasoning, are illustrated through the examples of rigor and simplicity. Finally, the paper claims that Peano’s axiomatics was a dynamic mathematical enterprise rather than an a priori axiomatization grounded on logical principles, which explains the difference with respect to Frege’s project. (shrink)

Minimum deterrence, though consistent with the nonaggression principle, is inadequate to deter states from invading anarchist territory and provides inadequate means of territorial defense when deterrence fails. In order to be effective, and thus attract clients, private defense agencies may want to adopt a military posture that incorporates first-strike counterforce and second-strike countervalue capabilities. To this end, they must acquire weapons of mass destruction—including tactical and strategic nuclear weapons—and long-range delivery vehicles capable of penetrating deep into enemy territory. They (...) must also decline to extend the nonaggression principle to states and individuals outside the voluntary defense network. Paradoxically, advertising such a posture while possessing a nuclear arsenal will save lives on both sides by minimizing the probability that anarchists must ever wage a defensive war at all. (shrink)

This article discusses interactive minimum cost spanning tree problems and argues that the standard approach of using a transferable utility game to come up with a fair allocation of the total costs has some flaws. A new model of spillover games is presented, in which each player’s decision whether or not to cooperate is properly taken into account.

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (3) There is (...) no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

The aim of this paper is to present and discuss the issue of the adequacy of the Minimum Intelligent Signal Test (MIST) as an alternative to the Turing Test. MIST has been proposed by Chris McKinstry as a better alternative to Turing’s original idea. Two of the main claims about MIST are that (1) MIST questions exploit commonsense knowledge and as a result are expected to be easy to answer for human beings and difficult for computer programs; and that (...) (2) the MIST design aims at eliminating the problem of the role of judges in the test. To discuss these design assumptions we will present Peter D. Turney’s PMI-IR algorithm which allows for MIST-type questions to be answered. We will also present and discuss the results of our own study aimed at the judge problem for MIST. (shrink)

A minimum voting age is defended as the most effective and least disrespectful means of ensuring all members of an electorate are sufficiently competent to vote. Whilst it may be reasonable to require competency from voters, a minimum voting age should be rejected because its view of competence is unreasonably controversial, it is incapable of defining a clear threshold of sufficiency and an alternative test is available which treats children more respectfully. This alternative is a procedural test for (...) minimum electoral competence. A procedural test for minimum electoral competence also succeeds in fulfilling adults’ duties to promote children’s rational and moral engagement with democracy. A minimum voting age should therefore be rejected, all things considered. A procedural test for minimum literacy and independent voting is the most justified means to ensure competency from voters and to promote the democratic agency of children. (shrink)

We examine a number of investigations of perceptual economy or, more specifically, of minimum tendencies and minimum principles in the visual perception of form, depth, and motion. A minimum tendency is a psychophysical finding that perception tends toward simplicity, as measured in accordance with a specified metric. A minimum principle is a theoretical construct imputed to the visual system to explain minimum tendencies. After examining a number of studies of perceptual economy, we embark on a (...) systematic analysis of this notion. We examine the notion that simple perceptual representations must be defined within the "geometric constraints" provided by proximal stimulation. We then take up metrics of simplicity. Any study of perceptual economy must use a metric of simplicity; the choice of metric may be seen as a matter of convention, or it may have deep theoretical and empirical implications. We evaluate several answers to the question of why the visual system might favor economical representations. Finally, we examine several accounts of the process for achieving perceptual economy, concluding that those which favor massively parallel processing are the most plausible. (shrink)

The minimum wageMinimum wage policy is an important labor policy that has been implemented in many countries worldwide to ensure the survival of workers. The Chinese minimum wageMinimum wage policy was first promulgated in 1993. Using national longitudinal survey dataLongitudinal survey data from the China Family Panel StudiesChina Family Panel Studies (CFPS) from 2010 to 2020 and employing the Neumark modelNeumark model, this study examines the impact of minimum wageMinimum wage on wage distributionWage distribution in ChinaChina. Three (...) key conclusions emerge. First, the minimum wageMinimum wage significantly increases the wage levels of the low-wage group that earns less than the minimum wageMinimum wage. This suggests the persistence of the minimum wageMinimum wagespike effectSpike effect in ChinaChina. Second, the minimum wageMinimum wage increases the wages of individuals earning two to three times the minimum wageMinimum wage, indicating a spillover effectSpillover effect. Third, the effects of minimum wageMinimum wage on wage distributionsWage distribution vary among heterogeneous groups. For instance, the minimum wageMinimum wagespike effectSpike effect among women, urban hukouHukou workers, public sectorPublic sector workers, and those in the service or retail sectors is more pronounced than that among their counterparts (men, rural migrantsMigrants, private sectorPrivate sector workers, and those in the manufacturing sectorManufacturing sector). Conversely, the spillover effectSpillover effect is notably more significant among men, rural migrantsMigrants, private-sector workers, and those in the service or retail sectors than their counterparts. (shrink)

The minimum-uncertainty states for systems with many degrees of freedom are investigated. The limiting situation, relevant to the electromagnetic field, is discussed and it is pointed out that the states that minimize Δp Δq do not tend to the coherent states. These latter, including the vacuum state, are minimum-uncertainty states for the transverse electric and magnetic fields. In an appendix a direct method to obtain the wave functional for the vacuum is presented.

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data (...) sets them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

In this chapter, we’ll focus on global poverty and the reasons why we should be concerned about it. This chapter examines the ethical causes of poverty and potential solutions based on Oruka’s idea of the Human Minimum. It attempts to address the fundamental query of whether or not wealthy people or governments have any duty to the underprivileged. How can Oruka’s ideas about the Human Minimum be used to address the issue of poverty? In order to rectify the (...) imbalance and enhance stability and advancement in society, programs for the effective support of the poor on a humane and practical basis must be devised. The chapter discusses poverty in depth, focusing on how it affects underdeveloped countries and their citizens in relation to the principles of the irreducible Human Minimum with the intention of putting Oruka’s theory into practice. In this chapter, I’ll contend that a large portion of the world’s current inequality is unfair, and that this injustice extends beyond the fact that reducing inequality could help achieve the crucial objective of reducing poverty. I believe preserving humanhuman dignity has equitable restorative implications on the state of the global economy. The injustice of the current institutional structure is a justification for altering the global institutional structure in order to reduce inequality and poverty. The author largely agrees in concluding that there is a human right to be free from poverty and that this right is massively violated by the present world economy which creates huge unfair imbalances in income and wealth among and within countries. (shrink)

We prove that the problem of determining the minimum propositional proof length is NP- hard to approximate within a factor of 2 log 1 - o(1) n. These results are very robust in that they hold for almost all natural proof systems, including: Frege systems, extended Frege systems, resolution, Horn resolution, the polynomial calculus, the sequent calculus, the cut-free sequent calculus, as well as the polynomial calculus. Our hardness of approximation results usually apply to proof length measured either by (...) number of symbols or by number of inferences, for tree-like or dag-like proofs. We introduce the Monotone Minimum (Circuit) Satisfying Assignment problem and reduce it to the problems of approximation of the length of proofs. (shrink)

What are the worst conditions under which someone can be virtuous and happy? In this paper, I argue that a minimum threshold of favorable circumstances is necessary for moral virtue and human flourishing or happiness. Stoic and Aristotelian traditions make different and important claims about the role of external circumstances in our moral lives. Retrieving the ancient dispute benefits contemporary ethics. For one, the relevance of external circumstances is an important question for the development of present-day virtue ethics. For (...) another, identifying the minimal ingredients for virtue and happiness is helpful for wider ethical concerns such as discussions of our moral obligations to future generations. After explaining the ancient dispute, I describe categories of circumstances that seem intuitively relevant to virtue and happiness. Then, I investigate which are necessary and examine commonsense examples. I conclude that a minimum threshold of favorable circumstances from the following categories is necessary: the necessities for biological life, cognitive ability, and moral education. (shrink)

Following the 2019 amendment to the Greek Constitution, the Greek State is obligated to ensure decent living conditions for all citizens through a system of minimum guaranteed income (Greek Constitution, Art. 21, para. 1b). This income functions as a cornerstone of the social welfare system, designed to secure decent living standards. Moreover, the minimum guaranteed income plays a pivotal role in European Union policies aimed at poverty prevention, aligning with the Union’s objectives as outlined in primary EU law.The (...) chapter aims to explore and evaluate the ways of the implementation of the minimum guaranteed income in the Greek legal system, during the financial crisis of the past decade and the recent immigration crisis, while taking into consideration the scope of the new constitutional provision and its convergences and deviations from the EU context and obligations. (shrink)

In order to demonstrate how Human Minimum principle can be used as basis for humanhuman rights, this chapter critically examines and discusses some of Ubuntu’s core beliefs. This chapter explains Ubuntu and highlights its key fundamental ideals, which prioritize people in connection to the Oruka concept of the Human Minimum. Traditional African civilizations have a moral philosophy known as Ubuntu. A conceptual study of Ubuntu is first offered in order to frame the chapter. This analysis helps readers comprehend (...) the idea in a way that will help them appreciate the moral philosophy that united traditional African communities. The objective of reviewing the concept of Ubuntu is to advance understanding of the Human Minimum as envisioned by Odera Oruka in the pursuit of offering a workable answer to Oruka’s ethical theory. Later, it is proposed to combine Human Minimum with Ubuntu in the hopes of forging a unified front against social problems like inequality that obstruct the application of Oruka’s ethical philosophy. (shrink)

Abstract This paper explores brutality and torture in the history of British counter-insurgency campaigns. Taking as a pretext the British government's announcement in January 2012 to scrap a judicial review into the rendition and torture of UK citizens at Guantanamo Bay by American intelligence operatives with the complicity of British intelligence agencies, the paper posits that the actions this review was supposed to evaluate are not restricted to counter-terrorism. By examining the historical usage of interrogation methods by the British in (...) counter-insurgency campaigns against suspected IRA members in the first decade of the ?Troubles? in Northern Ireland, this article builds a wider frame of reference for the recent controversies surrounding the treatment of detainees during the British occupation of southern Iraq. Although the detention and interrogation of suspects in counter-insurgency campaigns is a necessary security measure, the oft-heralded British adherence to ?minimum force? is heavily mythologised given the prevalence of the brutal treatment of detainees. Considering the detrimental impact (in an ethical, legal and security context) that the existence of torture during detention and interrogation had in these cases, the article upholds an absolutist position on the prohibition of torture. (shrink)

Theoretical and experimental studies on prey–predator systems where predator is supplied with alternate sources of food have received significant attention over the years due to their relevance in achieving biological conservation and biological control. Some of the outcomes of these studies suggest that with appropriate quality and quantity of additional food, the system can be steered towards any desired state eventually with time. One of the limitations of previous studies is that the desired state is reached asymptotically, which makes the (...) outcomes not easily applicable in practical scenarios. To overcome this limitation, in this work, we formulate and study optimal control problems to achieve the desired outcomes in minimum (finite) time. We consider two different models of additional food provided prey–predator systems involving Holling type IV functional response (with inhibitory effect of prey). In the first scenario, additional food is incorporated implicitly into the predator’s functional response with a possibility of achieving biological conservation through co-existence of species and biological control by maintaining prey at a level that is least harmful to the system. In the second, the effect of additional food is incorporated explicitly into the predator’s compartment with the goal of pest management by maintaining prey density at a very minimal damaging level. For both cases, appropriate optimal control strategies are derived and the theoretical findings are illustrated by numerical simulations. We also discuss the ecological significance of the theoretical findings for both models. (shrink)

Reasons for taking1/2h/c 2 in cgs units as an equivalent in grams for the photon “rest mass” are given. Its numerical value of3.68×10 −48 g corresponds to the minimum mass equivalent energy for one half-cycle of an electromagnetic dipole field distribution, which is discontinuous. For the fluid models that are discussed, this field distribution corresponds somewhat to a hydrodynamic toroidal vortex which is stationary—if we use toroidal coordinates and assume that the ring origin has the radial velocity c, that (...) the gauge is defined by the ring origin diameter, and that free space is represented by a two-fluid model (the fluids oppositely charged). There are mappings which can transform such toroidal entities (photons) into spherical ones. The toroidal entities are possible candidates for the role of “hidden variables.”. (shrink)

This book is part of aaThe Minimum You Need to Knowaa family of books by Logikal Solutions. As the family expands they will cover an increasing variety of topics. This book is designed to be used as a text book for classes in logic from high school to college level. It should be one of the first courses you have on IT and this should be one of the first books you read when starting in IT. Not only does (...) this book cover flow charting and pseudocode, it teaches the reader to think before they start mapping out the logic to solve a problem. The author of this book is an industry veteran with nearly 20 years in the field. It has been his experience that recent graduates, from any country, are nearly useless at problem solving. If they cannot point, click, and drag, they cannot solve the problem. This book is an attempt to teach them how to solve the problem. An instructoraas guide is available for schools looking to make this book the basis of coursework. (shrink)

Cognitive archaeologists attempt to infer the cognitive and cultural features of past hominins and their societies from the material record. This task faces the problem of _minimum necessary competence_: as the most sophisticated thinking of ancient hominins may have been in domains that leave no archaeological signature, it is safest to assume that tool production and use reflects only the lower boundary of cognitive capacities. Cognitive archaeology involves selecting a model from the cognitive sciences and then assessing some aspect of (...) the material record through that lens. We give examples to show that background theoretical commitments in cognitive science that inform those models lead to different minimum necessary competence results. This raises an important question: what principles should guide us in selecting a model from the cognitive sciences? We outline two complementary responses to this question. The first involves using _independent_ lines of evidence to converge on a particular capacity. This can then influence model choice. The second is a broader suggestion. Theoretical diversity is a good thing in science, but is only beneficial over a limited amount of time. According to recent modelling work, one way of limiting diversity is to introduce extreme priors. We argue that having a broad spectrum of views in the philosophy of cognitive science may actually help cognitive archaeologists address the problem of minimum necessary competence. (shrink)

Is the minimum wage ethically justifiable? In this chapter, we attempt to answer this question from an order-ethical perspective. To this end, we develop two simple game theoretical models for different types of labour markets and derive policy implications from an order-ethical viewpoint. Our investigation yields a twofold conclusion. Firstly, order ethicists should prefer a tax-funded wage subsidy over minimum wages, if they assume that labour markets are perfectly competitive. Secondly, order ethics suggests that the minimum wage (...) can be ethically justified if employers have monopsony power in the wage setting process. As it turns out, then, order ethics neither favours nor disfavours the minimum wage. Rather, it implies conditions under which this form of labour market regulation is justified and, hence, allows empirical science to play a great role in answering the ethical questions that arise in the context of the minimum wage debate. This illustrates one of order ethics’ strengths, viz. the fact that it tends to de-ideologize the debate about ethical issues. (shrink)

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

The purpose of this research is to adapt to the monopsony theory and disregard the neoclassical economic theory with regard to minimum wage policy. The other purposes of this study are to analyze the present minimum wage policy in Bangladesh. Is minimum wage system really effective? If so, what should be the standard for effective application of minimum wage legislation? The methodology of this study is qualitative. I have created a theoretical debate and developed hypotheses in (...) this scholarship. The hypothesis developed from the debate of neoclassical theory clarified that the minimum wage law might not have an adverse effect. Instead, a standard minimum wage law, along with an appropriate implementation process, may have a positive effect on society. This study finds inadequate mechanisms to implement minimum wage provisions under the Bangladesh labor legislation. Therefore, the present minimum wage policy has not been implemented to its fullest as required to protect workers’ right in Bangladesh. This paper also shows that a minimum wage policy will have an effect if strict adherence to the standard of ILO Conventions is complied with. This study also creates a balancing test between neoclassical theory and monopsony theory on the application of the minimum wage system. Finally, this manuscript has taken a stanch with monopsony theory favoring the application of minimum wage law in the garment manufacturing industry. It is an original research paper. The strength of this type of research is that it benefits the practitioner and the pertinent stakeholder to gain new insight. (shrink)

Dogmatism holds that an experience or seeming that p can provide prima facie immediate justification for believing p in virtue of its phenomenology. Dogmatism about perceptual justification has appealed primarily to proponents of representational theories of perceptual experience. Call dogmatism that takes perceptual experience to be representational "representational phenomenal dogmatism." As we show, phenomenal seemings play a crucial role in dogmatism of this kind. Despite its conventional appeal to representational theorists, dogmatism is not by definition committed to any particular view (...) of perceptual experience. Naive realists and disjunctivists who hold that perceptual experience is a perceptual relation of direct acquaintance can also endorse dogmatism. Indeed, we argue that they ought to do so. Otherwise, they cannot maintain that relationalism about perceptual experience has an epistemic advantage compared to the representational view. We then show that even if we grant that relationalism has this advantage, only dogmatism that takes perceptual experience to be representational can be extended to account for non-deductive inferential justification. As an account of the latter is required to avoid succumbing to skepticism, relationalism, we argue, does not have the epistemic advantage its defenders claim it has. (shrink)

“Evidence” in the form of data collected and analysis thereof is fundamental to medicine, health and science. In this paper, we discuss the “evidence-based” aspect of evidence-based medicine in terms of statistical inference, acknowledging that this latter field of statistical inference often also goes by various near-synonymous names—such as inductive inference (amongst philosophers), econometrics (amongst economists), machine learning (amongst computer scientists) and, in more recent times, data mining (in some circles). Three central issues to this discussion of “evidence-based” are (i) (...) whether or not the statistical analysis can and/or should be objective and/or whether or not (subjective) prior knowledge can and/or should be incorporated, (ii) whether or not the analysis should be invariant to the framing of the problem (e.g. does it matter whether we analyse the ratio of proportions of morbidity to non-morbidity rather than simply the proportion of morbidity?), and (iii) whether or not, as we get more and more data, our analysis should be able to converge arbitrarily closely to the process which is generating our observed data. For many problems of data analysis, it would appear that desiderata (ii) and (iii) above require us to invoke at least some form of subjective (Bayesian) prior knowledge. This sits uncomfortably with the understandable but perhaps impossible desire of many medical publications that at least all the statistical hypothesis testing has to be classical non-Bayesian—i.e. it is not permitted to use any (subjective) prior knowledge. (shrink)