Soilless crops are commonly used in rooftop agriculture because they easily adapt to building constraints. However, acceptance of the produce derived from this system may be controversial. This paper evaluates consumers’ acceptance of food from RA in Mediterranean cities, focusing on the quality of the product, production system, and consumers’ motivations. We surveyed 238 respondents on the UAB university campus as potential consumers. The survey was distributed via an Internet-link that was provided along with a sample of tomatoes from RA. (...) The results showed that most people approved the quality of RA products and perceived them to be local and fresh. The respondents exhibited acceptance of soilless-produced tomatoes and considered them to be environmentally better than conventionally produced ones. Cluster analysis revealed that consumers with high income levels and a university education had a better perception of the quality and proposed a higher price for RA products, but no difference was found regarding their environmental perception of this products. Moreover, people who possessed more information about the product also had a higher perception of the quality and production system and would pay more for them. The main concerns of consumers were related to food safety and the social impact of RA. Additional research is needed to improve the sustainability of RA, and the applied measures should be communicated to potential consumers to enhance their acceptance and success. (shrink)

En raison du lien direct et conventionnel entre le signifiant et le référent qui caractérise la catégorie du nom propre, celle-ci est affranchie de contraintes linguistiques visibles permettant sa délimitation. L’hétérogénéité résultant de cette particularité augmente lorsqu’il est considéré que cette dernière n’est pas incompatible avec une opérativité sémantique sous-jacente du signifiant, tant que cette opérativité n’interfère pas dans la désignation du référent et que la fonction de la dénomination est l’identification de celui-ci au sein d’une classe. Dans l’objectif d’attribuer (...) une cohérence à l’organisation interne de cette catégorie, nous proposons d’appréhender la diversité de ses membres par le biais d’une approche graduelle et bipolaire dans laquelle l’opposition nom propre vs nom commun est centrale. Cette approche a été transposée à deux des caractéristiques qui ont une incidence sur la typicalité des noms propres : la forme et la fonction sémantico-référentielle sous-jacente du signifiant. La structuration des occurrences de la transcription de l’émission C dans l’Air par ce biais est l’occasion de présenter les particularités de cette approche graduelle et bipolaire, ainsi que ses écueils et avantages. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

The way of coding letter position has been extensively assessed during the recognition of native words, leading to the development of a new generation of models that assume more flexible letter position coding schemes compared to classical computational models such as the interactive activation model. However, determining whether similar letter position encoding mechanisms occur during the bilingual word recognition has been largely less explored despite its implications for the leading model of bilingual word recognition as it assumes the input-coding scheme (...) of the IA model. In this study, we aimed to examine this issue through the manipulation of the position of the deviant letter of cognate words. Two experiments were conducted with Catalan–Spanish bilinguals and their respective monolingual controls. The results revealed a differential processing for the first letter in comparison to the other letters as well as modulations as a function of language cue, suggesting amendments to the input-coding scheme of the multilink model. (shrink)

De Bie et al. (2023) introduces a framework to conceptualize ethical issues based on four different domains, but the problem lies in the domains being falsely bounded. Apart from the step from doma...

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

The aim of this article is to discuss and illustrate the grammaticalization process and the polysemic and polyfunctional nature of the Spanish and Catalan markers la verdad and la veritat, from an original objectified referential meaning of the forms to a highly subjectified procedural meaning of the markers. The pragmatic meaning of these markers stems from the loss of semantic features and the different uses that they can adopt in a variety of syntactic and pragmatic contexts, where their subjective, evaluative, (...) and intensifying modal dimensions are fully manifested. In lexical terms, they are noun phrases that can take variable and invariable forms. In morphological terms, the variable form is inflected in number and has a referential value, whereas the invariable form, prosodically extraposed, or followed by a verbal predicate when working as pragmatic marker, is always uninflected and is polyfunctional, with a procedural value. When followed by a verbal predicate, la verdad and la veritat acquire a structural dimension, besides their modal illocutionary one, being used as boundary markers that separate description of facts from first person evaluation, in a monologued stretch of discourse. In an interactional context, the marker frequently prefaces counter expectations. In order to show its grammaticalization process, I will discuss and exemplify their role as evidential marker with a truth-attesting value, epistemic modality markers used to introduce the speaker’s attitude to the content of the proposition or to the addressee in the context of an utterance, intensifiers or boosters used to modify the illocutionary force of a speech act, and discourse boundary markers used to delimit real-world facts from personal opinion. In order to account for their polysemic and polyfunctional dimensions, I will propose salient meanings and prototypical functions. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

This article explores the role that markers play in the pragmatic discourse structure of Catalan and English oral narratives. It is argued that their meaning is directly related to the sort of coherence relation that they establish with preceding and following propositions and discourse segments, centring the discussion on four discourse structures/components: ideational, rhetorical, sequential and inferential. The aim is to show the textual form-pragmatic function relationship by means of specific lexical units placed at specific parts of the narrative. The (...) hypothesis held in this article is that pragmatic markers help in the organization of narrative segments and that their semanticopragmatic traits make them appropriate for their use in specific segments. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

The article went deeper into Richard Rorty’s texts that address the self as “a set of beliefs and desires.” In an imbrication of philosophy with psychoanalysis, Rorty’s hermeneutics accompanies the critique of psychoanalysis regarding the self-centralization from Metaphysical tradition, one of the strategies of self-redescription. The other strategy is aesthetic redescription. This redescription is based on understanding the psychic world as an encounter of “beliefs and desires” as “quasi-people.” The thread of our argument is the articulation of psychoanalysis with the (...) concept of “hegemony.” This reflexive line occurs due to the agonist and conflicting context of internal alterity from the “interpersonal” relationship between conscious and unconscious, rediscovering the self. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

Trata-se de um artigo de viés ensaístico que tenta apontar a impressão de que a instituição escolar habita uma densa crise existencial. A suposição que norteia essa reflexão visa à crise na educação escolar como uma aparência que costuma continuar velada na maior parte dos discursos críticos acerca da escolarização atual: o afastamento do sentido humano ontológico-social e do significado da experiência que relacionam professor-estudante. A investigação nesta atividade será realizada a partir de conceito recentemente desenvolvido, o absurdar-se, em uma (...) tentativa de aplicação desse conceito nas nossas experiências em escolas, nas quais atuamos como psicólogo da educação. (shrink)

RESENHA: COMBLIN, José. O Espírito Santo e a tradição de Jesus . São Paulo: Nhanduti, 2012.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)