I. The function of models in the empirical sciencesII. Structure and purpose: conditions of a structural nature which models should satisfy in order to accomplish their function.III. Generalisation and specialisation of the classical definition of model, in view of the above requirements:the algebraic model conceptthe semantic model conceptthe syntactical model conceptIV. Attempt towards reunification: the concept of model on a pragmatic basis.

The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...) facie unrelated deductive contexts in which Addition fails and attempt to harmonise them by developing a computational interpretation of conceptivist logics. (shrink)

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical representative of one division. (...) In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)

The notion of “projective aesthetics” is considered in this paper for the first time as a variant of the recourse to praxis that characterizes contemporary aesthetics and its “aesthetic involvement”. Projective aesthetics involves the use of methodologies of a new type: “schizoanalysis”, “conceptivism” and “projectivism”. The emphasis is put on the principle of “rhizome” and on the features of so-called “culturonics”, a way of thinking “through projects” in the cultural sphere. Projective aesthetics implies a way of philosophizing about art (...) and aesthetics which is defined by a functional orientation in terms of a process of aestheticization and artification, and, accordingly, of projectivity. The connection between projective aesthetics and the peculiarities of modern communicative aesthetics is also examined, together with the need for creating a philosophical glossary of artistry and modern art, meant as a relevant project for aesthetics. In the text, a special place is also given to a number of projects implemented in the process of teaching philosophical aesthetics, as related to beauty as well as with the direct participation of students in filling out the contents of the above-mentioned glossary. (shrink)