Categorical Logic Research Papers - Academia.edu (original) (raw)

This paper attempts a critical discourse analysis of Orwell's Animal Farm to highlight ploys of manipulation. Animal Farm, a satire on the Russian Revolution, is constructed of three stages: a) animal suffering from human exploitation; b)... more

This paper attempts a critical discourse analysis of Orwell's Animal Farm to highlight ploys of manipulation. Animal Farm, a satire on the Russian Revolution, is constructed of three stages: a) animal suffering from human exploitation; b) the expulsion of man and the establishment of democracy; and c) the gradual deterioration into a totalitarian state. The goals for which the animals have rebelled are soon mystified by the pigs, who claim to be the "brain workers" of the farm, take privileges while exploiting the "lower animals", and continuously modify the law of the farm to suit their purposes. A critical discourse analysis is carried out to elucidate the process of manipulation by analyzing such ploys as generic statements, modality, forms of reference and address, and rewording. Such an analysis aims at highlighting the tools of domination, the language of mystification and rationalization of inequality used by the pigs to undermine the lower animals' authority over their own judgment and keep them under control. Eventually the pigs represent all "the vices of man" for which the rebellion started: injustice and abuse of power. As many of the ploys used by the pigs are true to totalitarian states, a study of the discourse of manipulation should be helpful in raising consciousness essential to the establishment of real democracy.

Rather than reducing original terms and their complements to three terms so traditional rules of the syllogism apply, the paper proposes emended rules to assess the validity of arguments containing original terms and their negative... more

Rather than reducing original terms and their complements to three terms so traditional rules of the syllogism apply, the paper proposes emended rules to assess the validity of arguments containing original terms and their negative complements. It proposes further that the emended rule approach is superior to the traditional one both practically and theoretically.

This paper shows constructive alternatives for a couple of theorems that make simplicial sets a model of homotopy type theory. The constructive theories are valid in the exact completion of the category of assemblies. Ultimately this... more

This paper shows constructive alternatives for a couple of theorems that make simplicial sets a model of homotopy type theory. The constructive theories are valid in the exact completion of the category of assemblies. Ultimately this shows that simplicial PERs are a model of homotopy type theory.

This paper attempts a critical discourse analysis of Orwell's Animal Farm to highlight ploys of manipulation. Animal Farm, a satire on the Russian Revolution, is constructed of three stages: a) animal suffering from human... more

This paper attempts a critical discourse analysis of Orwell's Animal Farm to highlight ploys of manipulation. Animal Farm, a satire on the Russian Revolution, is constructed of three stages: a) animal suffering from human exploitation; b) the expulsion of man and the establishment of democracy; and c) the gradual deterioration into a totalitarian state. The goals for which the animals have rebelled are soon mystified by the pigs, who claim to be the "brain workers" of the farm, take privileges while exploiting the "lower animals", and continuously modify the law of the farm to suit their purposes. A critical discourse analysis is carried out to elucidate the process of manipulation by analyzing such ploys as generic statements, modality, forms of reference and address, and rewording. Such an analysis aims at highlighting the tools of domination, the language of mystification and rationalization of inequality used by the pigs to undermine the lower animals' authority over their own judgment and keep them under control. Eventually the pigs represent all "the vices of man" for which the rebellion started: injustice and abuse of power. As many of the ploys used by the pigs are true to totalitarian states, a study of the discourse of manipulation should be helpful in raising consciousness essential to the establishment of real democracy.

This is an expository paper illustrating the use of diagrams similar to Hasse diagrams for traditional formal logic. We believe this approach is significantly cleaner and simpler than Venn diagrams. This approach should be readily... more

This is an expository paper illustrating the use of diagrams similar to Hasse diagrams for traditional formal logic. We believe this approach is significantly cleaner and simpler than Venn diagrams. This approach should be readily accessible to students of a high school level or above. -- Revised 2018-10-26

Composing various powerset functors with the term monad gives rise to the concept of generalized terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the... more

Composing various powerset functors with the term monad gives rise to the concept of generalized terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the prerequisite for categorical unification in many-valued logic programming using an extended notion of terms. As constructions of monads involve complicated calculations with natural transformations, proofs are supported by a graphical approach that provides a useful tool for handling ...

Text of a talk given in 2000 aimed at providing an answer to the question whether there is any track of content in logical form. This paper suggests a positive answer but also that such content can be properly presented if we shift from... more

Text of a talk given in 2000 aimed at providing an answer to the question whether there is any track of content in logical form. This paper suggests a positive answer but also that such content can be properly presented if we shift from logical analysis as entertained by analytic philosophers to category-theoretic semantics.

The first comprehensive investigation of the general theory of objective knowledge in its most general mathematical sense. Note: this is distinguished from other coherence-style methods such as the Theory of Everything and Formula for... more

The first comprehensive investigation of the general theory of objective knowledge in its most general mathematical sense. Note: this is distinguished from other coherence-style methods such as the Theory of Everything and Formula for Solving Problems. These methods merely aim for coherent knowledge in one or more absolute degrees or something similar, and many are likely systematically similar to N. Coppedge's categorical deduction method, but some may be superior or involve more dimensions. It is thought that there is absolutely no contradiction between the various systems, as all fall under completely flawless logical assumptions if used correctly. Note: formulas are not given, but these numbers may suggest properties which give themselves to formulas by reference to the original objectivity method.

In this highly significant paper, I outline the implications of the critical methodology used in Demonstrations of Degree Absolutism: Zero-and-Four-Quarters Ontologies and objectively-coherent category theory in general (predominately in... more

In this highly significant paper, I outline the implications of the critical methodology used in Demonstrations of Degree Absolutism: Zero-and-Four-Quarters Ontologies and objectively-coherent category theory in general (predominately in the work of Nathan Coppedge).

In the genre of dimensional philosophy. Must-read.

First order languages express properties of entities and their relationships in rich models of heterogeneous network phenomena. Markov logic is a set of techniques for estimating the probabilities of truth values of such properties. This... more

First order languages express properties of entities and their relationships in rich models of heterogeneous network phenomena. Markov logic is a set of techniques for estimating the probabilities of truth values of such properties. This article generalizes Markov logic in order to allow nonclassical sets of truth values. The new methods directly support uncertainties in both data sources and values. The concepts and methods of categorical logic give precise guidelines for selecting sets of truth values based on the form of a network model. Applications to alias detection, cargo shipping, insurgency analysis, and other problems are given. Open problems include complexity analysis and parallelization of algorithms.

A sense of typologies for the first eight dimensions. Categorical sets describing (n-) dimensional universes coherently, ostensibly. I only go up to eight, because eight is the ideal number for confronting all major contradictions... more

A sense of typologies for the first eight dimensions. Categorical sets describing (n-) dimensional universes coherently, ostensibly. I only go up to eight, because eight is the ideal number for confronting all major contradictions contained within a category, e.g. it is highly compatible with the exceptional extension or evolution of a single category.

Analysis of two interpretations of reason and the method, with importance for daily life.