Risultati ricerca

Abstract/Sommario: The sentential logic - The first-order predicate logic - The second-order predicate logic. Theory of definition - The natural numbers - The real numbers - Axiomatic set theory - Incompleteness. Undecidability.

Abstract/Sommario: Interest rate determinations and oversimplifying parables: a summing up - On a change in the notion of equilibrium in recent work on value and distribution: a comment on Samuelson - On the rates of return on investment - The rate of profit in intertemporal equilibrium - Characterizations of technology in capital theory - Real Wicksell effects and regular economies - The Hamiltonian representation of static competitive or efficient allocation - Capital theory in the short run - Substitu ...; [Leggi tutto...] Interest rate determinations and oversimplifying parables: a summing up - On a change in the notion of equilibrium in recent work on value and distribution: a comment on Samuelson - On the rates of return on investment - The rate of profit in intertemporal equilibrium - Characterizations of technology in capital theory - Real Wicksell effects and regular economies - The Hamiltonian representation of static competitive or efficient allocation - Capital theory in the short run - Substitution along the time axis - Marx from a von Neumann viewpoint.

Abstract/Sommario: On gaming - A game theory background for gaming - Analytical and behavioral models - Past, present and future games.

Abstract/Sommario: Introduction - Causal relations among events - Qualitative theory of causal relations - A causal algebra - Causal relations among quantitative properties - General philosophical issues - Appendix on probability.

Abstract/Sommario: Weakly definable relations and special automata - Determinacy and prewellorderings of the continuum - Initial segments of the degrees of unsolvability - Some applications of almost disjoint sets - On local arithmetical functions and their application for constructing - Definable sets of minimal degree - Definability in axiomatic set theory II.

Abstract/Sommario: This essay has been written in the convinction that the methods of formal logic can be profitably used in the organization of social, political and legal thought. The author employs the basic ideas and techniques of currend modal logic in the construction of a general theory of action and interaction. The theory is applied to the investigation of a variety of related types of social or interpersonal power. The topics treated include social control and influence, punitive and normative ...; [Leggi tutto...] This essay has been written in the convinction that the methods of formal logic can be profitably used in the organization of social, political and legal thought. The author employs the basic ideas and techniques of currend modal logic in the construction of a general theory of action and interaction. The theory is applied to the investigation of a variety of related types of social or interpersonal power. The topics treated include social control and influence, punitive and normative action, and forms of power which pertain to both influence and normative action. There is also a full examination of rights on the basis of Hohfeld's analysis of fundamental legal concepts.
In the models advanced, exercise of power is viewed under certain hypotheses of consistency or rationality. These yield for example, such principles as that 'Ought' entails 'May' and that 'May' entails 'Can', and in combination with the logic of action they provide the tools by means of which interaction systems are analysed. Emphasis is throughout on the common logical structure of power relations in different systems. These reveal a systematic unity of thought in a field which has so far received little attention among logicians. The main results are presented in conveniently ordered diagrams which facilitate comparison and permit rapid reviews.

Abstract/Sommario: Targets and instruments - Macroeconomic analysis of problems in fiscal policy - The public debt - The state budget and the state account - The extent of collective consumption and public activity - Forms of taxation and their effects - The economics of local authorities.

Abstract/Sommario: Disputation - Arithmetic - Spreads and species - Algebra - Plane pointspecies - Measure and integration - Logic - Controversial subjects.

Abstract/Sommario: Theory and observation - A network model of universals - The grue paradox - The logic of induction as explication - Personalist probability - Bayesian confirmation theory - Universal generalizations - Finiteness, laws and causality - Theory as analogy - Simplicity - Maxwell's logic of analogy - A realist interpretation of science.

Abstract/Sommario: Investigations in the realm of mathematical logic - A general method for obtaining local theorems in group theory - Representations of models - Quasiprimitive classes of abstract algebras - Subdirect products of models - Derived operations and predicates - Classes of models with an operation of generation - Defining relations in categories - The structural characterization of certain classes of algebras - Certain classes of models - Model correspondences - Regular products of models - ...; [Leggi tutto...] Investigations in the realm of mathematical logic - A general method for obtaining local theorems in group theory - Representations of models - Quasiprimitive classes of abstract algebras - Subdirect products of models - Derived operations and predicates - Classes of models with an operation of generation - Defining relations in categories - The structural characterization of certain classes of algebras - Certain classes of models - Model correspondences - Regular products of models - Small models - Free solvable groups - A correspondence between rings and groups - The undecidability of the elementary theories of certain fields - Constructive algebras - The undecidability of the elementary theory of finite groups - Elementary properties of linear groups - The effective inseparability of the set of valid sentences from the set of finitely refutable sentences in several elementary theories - Closely related models and recursively perfect algebras - Axiomatizable classes of locally free algebras of various types - Recursive abelian groups - Sets with complete numbering - Problems in the theory of classes of models - Toward a theory of computable families of objects - Positive and negative numbering - Identical relations in varieties of quasigroups - Iterative algebras and post varieties - A few remarks on quasivarieties of algebraic systems - Multiplication of classes of algebraic system - Universally axiomatizable subclasses of locally finite classes of models - Problems on the border between algebra and logic.