Gantry and bridge cranes neuro-fuzzy control by using neural-like structures of geometric transformations

Fuzzy logic is based on the use of natural language such as ‘far or close’, ‘cold or hot’ and etc. Its application range is very wide, from household appliances to the management of complex industrial processes. Many modern management tasks cannot be simply solved by classical methods because of the very great complexity of mathematical models. However, mathematical transformations are required for using the fuzzy logic theory on a computer and give a possibility to convert linguistic variables to their numerical value in the computer and vice versa. In this paper a gantry and bridge crane control system for managing carts swinging during transporting a load with high accuracy positioning during movement is presented. T-Controller fuzzy inference system as a base for crane management system is described and its main advantages in comparison with traditional systems are delineated. Schema of simplified crane model is introduced

G\"odel's Notre Dame Course

This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to G\"odel and general proof theory, one can find a brief summary of G\"odel's notes for the Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here.Comment: 18 pages. minor additions, arXiv admin note: text overlap with arXiv:1604.0307

The Case for Teaching Syllogistic Logic to Philosophy Students

Reprinted in Gil, Lancho & Manzano (eds) Proceedings of the Second International Congress on Tools for Teaching Logic. (2006: ISBN84-690-0348-8) 81-86.Syllogistic logic is a superseded theory, so why bother to teach it? In fact, it has many benefits for general philosophy students. Some are virtues of syllogistic logic alone; others arise from the contrast between syllogistic and mathematical logics. Syllogistic is a better vehicle for teaching general notions such as validity and soundness. Its several techniques for checking validity allows students to distinguish validity from the procedures to check for it. It supports students’ readings of historical philosophical texts. The contrast with mathematical logics supports meta-logical discussion and reduces alienation as students find that some great dead logicians share their intuitions. In any case, syllogistic logic is not intellectually dead. The work of Blanché and Béziau demonstrates this.Peer reviewe

Critical Foundations of the Contextual Theory of Mind

The contextual mind is found attested in various usages of the term complement, in the background of Kant. The difficulties of Kant's intuitionism are taken up through Quine, but referential opacity is resolved as semantic presence in lived context. A further critique of rationalist linguistics is developed from Jakobson, showing generic functions in thought supporting abstraction, binding and thereby semantic categories. Thus Bolzano's influential philosophy of mathematics and science gives way to a critical view of the ancient heritage acknowledged by Plato.\ud \u

The Biopolitical Economy of Anti-Essentialism

If we are to understand the nature of the relationship between a culture and its economy it is necessary to trace out the logic that informs the apparently disparate currents that make up that culture and its economy. There are any number of loci by reference to which this relationship might be discerned, but none are so important or profound, or for that matter so telling, than our body. Following on from two previous articles this essay approaches the subject by way of Foucault’s understanding of the ‘biopolitical’.[1] Through the issues of sexuality and eugenics we see how the logic informing early modern liberal philosophy worked itself out, coming to its full realisation in what is today referred to as ‘anti-essentialism’. The rise of anti-essentialism is concomitant with, if not identical with, the rise of capitalism proper. Anti-essentialism, both as a cultural and economic phenomena, is necessary for the rise to global dominance of capitalism. Although anti-essentialism is often thought of in terms of postmodernism and performance theory something of its logic was understood in the early modern period. And it was so by way of opposition to the growing defence and acceptance of free-market economics, which acceptance went hand in glove with a free market in credit and debt, which is to say in the liberalisation of anti-usury laws

Doing and Showing

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.Comment: 54 pages, 2 figure

Community and law: identifying the locus of law in community

"Community and law approach" provides an illuminating insight into alternative legal orderings within a social unit. The comprehensiveness of legal systems within a community or a social unit, provides a suitable basis for a structural framework of alternative legal systems or Legal Pluralism, which is missing in the discourse on Legal Pluralism. "Identifying the locus of law within a community", provides us with an indication on how autopoetic a legal system can be within a social unit, taking into account the social rootedness of legal norms