Théorie de l'objet abstraitLa théorie de l'objet abstrait, aussi appelée théorie de l'abstrait, est une branche de la metaphysique relative aux objets abstraits et étudiée en physique hyper-dimensionnelle. Créée à l'origine par le métaphysicien Edward N. Zalta en 1999, la théorie est une expansion du platonisme mathématique. Celui qui étudie la théorie de l'objet abstrait est appelé un « théoricien de l'abstrait ». Abstract Objects: An Introduction to Axiomatic Metaphysics est le titre d'un texte d'Edward Zalta qui décrit la théorie de l'objet abstrait.
Bien et mal (philosophie)Dans les domaines religieux, éthique, philosophique et psychologique, « le bien et le mal » est un couple de concepts courant. Dans les cultures d'inspiration manichéenne ou abrahamique, le mal est généralement considéré comme l’opposé du bien, dans lequel le bien devrait prévaloir et le mal aurait vocation à être vaincu. Dans les cultures d'inspiration bouddhiste, le bien et le mal sont perçus comme une dualité antagoniste qui doit elle-même être surmontée en réalisant Śūnyatā, c'est-à-dire la reconnaissance du bien et du mal en tant que principes opposés mais complémentaires.
Par-delà le bien et le malPar-delà le bien et le mal. Prélude d'une philosophie de l'avenir (Jenseits von Gut und Böse - Vorspiel einer Philosophie der Zukunft) est une œuvre du philosophe allemand Friedrich Nietzsche, publiée en 1886. Le livre paraît après Ainsi parla Zarathoustra et avant la Généalogie de la morale, « qui complète et éclaire » Par-delà le bien et le mal. Il comporte une préface, neuf parties et un postlude, Du haut des monts, qui est un poème. Les neuf parties sont composées de 296 aphorismes, une forme que Nietzsche privilégie habituellement.
Higher-order abstract syntaxIn computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders. An abstract syntax is abstract because it is represented by mathematical objects that have certain structure by their very nature. For instance, in first-order abstract syntax (FOAS) trees, as commonly used in compilers, the tree structure implies the subexpression relation, meaning that no parentheses are required to disambiguate programs (as they are, in the concrete syntax).
