We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.

Quasi-set theory $\cal Q$ allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. $\cal Q$ was partially motivated by the problem of non-individuality in quantum mechanics. In this paper I discuss the range of explanatory power of $\cal Q$ for quantum phenomena which demand some notion of indistinguishability among quantum objects. My main focus is (...) on the double-slit experiment, a major physical phenomenon which was never modeled from a quasi-set-theoretic point of view. The double-slit experiment strongly motivates the concept of degrees of indistinguishability within a field-theoretic approach, and that notion is simply missing in $\cal Q$. Nevertheless, other physical situations may eventually demand a revision on quasi-set theory axioms, if someone intends to use it in the quantum realm for the purpose of a clear discussion about non-individuality. I use this opportunity to suggest another way to cope with identity in quantum theories. (shrink)

The structure of natural languages is usually studied from three major different but interconnected points of view: syntax, semantics, and pragmatics. If we consider that the main purpose of natural languages is communication, we should consider another dimension for languages, which deals with the influence of internal states of communicating individuals on meanings. Such a dimension we refer to as internalism. Within this context, internalism cannot be confused with psycholinguistics, in the same way pragmatics cannot be confused with sociolinguistics. In (...) particular, we argue, language is tied to its systematic use. This view leads us to a non-realist perspective on linguistics. We analyze the role of natural languages into dialogues, by comparing our proposal to the dialogical approach to logic, which considers a dialogue as a game. Within our approach, there is no way to guarantee that two parties involved in a dialogue are playing the same game, due to unavoidable differences in their respective internal states. Another contribution of this paper is to argue that semantics plays a more fundamental role than syntax in the cognitive acquisition of languages. (shrink)

We present an axiomatic framework for semantics that can be applied to natural and formal languages. Our main goal is to suggest a very simple mathematical model that describes fundamental cognitive aspects of the human brain and that can still be applied to artificial intelligence. One of our main results is a theorem that allows us to infer syntactical properties of a language out of its corresponding semantics. The role of pragmatics in semantics in our mathematical framework is also discussed.

I briefly discuss the epistemological role of quasi-set theory in mathematics and theoretical physics. Quasi-set theory is a first order theory, based on Zermelo-Fraenkel set theory with Urelemente. Nevertheless, quasi-set theory allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. Basically, quasi-set theory offers us some sort of logical apparatus for questioning the need for (...) identity in some branches of mathematics and theoretical physics. I also use this opportunity to discuss a misunderstanding about quasi-sets due mainly to Nicholas J. J. Smith, who argues, in a general way, that sense cannot be made of vague identity. (shrink)

We recently showed that it is possible to deal withcollections of indistinguishable elementary particles (in thecontext of quantum mechanics) in a set-theoretical framework, byusing hidden variables. We propose in the presentpaper another axiomatics for collections of indiscernibleswithout hidden variables, where hidden predicates are implicitlyassumed. We also discuss the possibility of a quasi-settheoretical picture for quantum theory. Quasi-set theory, basedon Zermelo-Fraenkel set theory, was developed for dealing withcollections of indistinguishable, but, not identical objects.

We recently showed that it is possible to deal withcollections of indistinguishable elementary particles (in thecontext of quantum mechanics) in a set-theoretical framework, byusing hidden variables. We propose in the presentpaper another axiomatics for collections of indiscernibleswithout hidden variables, where hidden predicates are implicitlyassumed. We also discuss the possibility of a quasi-settheoretical picture for quantum theory. Quasi-set theory, basedon Zermelo-Fraenkel set theory, was developed for dealing withcollections of indistinguishable, but, not identical objects.

Our main purpose here is to make some considerations about the definability of physical concepts like mass, force, time, space, spacetime, and so on. Our starting motivation is a collection of supposed definitions of closed system in the literature of physics and philosophy of physics. So, we discuss the problem of definitions in theoretical physics from the point of view of modern theories of definition. One of our main conclusions is that there are different kinds of definitions in physics that (...) demand different approaches. Within this context, we strongly advocate the use of the axiomatic method in order to discuss some issues concerning definitions. (shrink)

Quasi-set theory provides us a mathematical background for dealing with collections of indistinguishable elementary particles. In this paper, we show how to obtain the usual statistics (Maxwell–Boltzmann, Bose–Einstein, and Fermi–Dirac) into the scope of quasi-set theory. We also show that, in order to derive Maxwell–Boltzmann statistics, it is not necessary to assume that the particles are distinguishable or individuals. In other words, Maxwell–Boltzmann statistics is possible even in an ensamble of indistinguishable particles, at least from the theoretical point of view. (...) The main goal of this paper is to provide the mathematical grounds of a quasi-set theoretical framework for statistical mechanics. (shrink)