Artiklar / Institutionen för filosofi, lingvistik och vetenskapsteori

Permanent URI for this collectionhttps://gupea-staging.ub.gu.se/handle/2077/23014

Browse

Recent Submissions

Now showing 1 - 7 of 7
  • No Thumbnail Available
    Item
    A Friedman–Sheard-style Theory for Classical Realisability
    (2025) Hayashi, Daichi; Leigh, Graham E.
    In Hayashi and Leigh (2024), the authors formulate classical number realisability for first-order arithmetic and a corresponding axiomatic system based on Krivine’s classical realisability interpretation. This paper presents a self-referential generalisation of previous results in the spirit of Friedman and Sheard (1987).
  • No Thumbnail Available
    Item
    On proofs in the Friedman–Sheard theory
    (2025-03-26) Pertun Broberg, Anton; Leigh, Graham E.
    We explore the proof theory of subsystems of the Friedman–Sheard axiomatic theory of truth FS given by restricting the use of the necessitation and co-necessitation rules. It is known that removing either rule completely (while keeping the other) does not diminish the arithmetic theorems. We present variations of this result for the non-arithmetic theorems of FS. In particular, it is proved that FS has the same consequences as the extension of its subtheory with only necessitation by either a single application of co-necessitation or the schema of transfinite induction up to the ordinal ϕ20.
  • No Thumbnail Available
    Item
    A metapredicative study of μ-arithmetics
    (2025-01-27) Afshari, Bahareh; Leigh, Graham E.
    We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.
  • No Thumbnail Available
    Item
    Distributional semantics for situated spatial language? Functional, geometric and perceptual perspectives
    (CSLI Publications, 2022) Kelleher, John D.; Dobnik, Simon; Department of Philosophy, Linguistics and Theory of Science
    Distributional semantics has been at the core of recent developments in deep learning work for natural language processing. This distributional semantics plus neural processing paradigm has resulted in significant improvements in state of the art results across a large number of tasks, including parsing, text classification, and machine translation. However, there are a number of areas of natural language processing research where this shift in paradigm has not resulted in significant improvements in system performance. One such area is in situated dialogue systems (such as those studied in the field of human-robot interaction), and in particular with respect to the processing of spatial references. This chapter examines why this lack of progress has occurred, through a review of existing research on grounding language in perception that is structured around three forms of semantic information available in situated dialogue: functional, geometric and perceptual. Through this review we identify which aspects of perceptual grounding distributional semantics naturally accommodates and which aspects it does not. Building on this insight we suggest avenues for future work that attempt to integrate distributional and non-distributional information in order to progress research in perceptual grounding of language, and discuss the broader implications of our findings for computational representations of natural language semantics.
  • No Thumbnail Available
    Item
    Africanizing scientific knowledge: the Multilateral Initiative on Malaria as a model?
    (2010-12-13) Ntoumi, Francine; Priebe, Gunilla; Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
    Abstract In November 2009, the fifth Pan African Malaria conference was held in Nairobi. Thirteen years after the founding initiative in Dakar, the first African Secretariat based in Africa (TANZANIA) organized this major event for the malaria community. Looking back, it has been a long way: changes in the research landscape, new funding opportunities came out and establishment of new partnerships between Europe, America and Africa. Goals identified in 1997 have not all been achieved because the critical mass of scientists has not been reached yet. However a new generation of African scientists have emerged through MIM/TDR funding and advocacy for more support remains on the agenda. Could it be rightly stated today that the MIM concept reflects the africanization of malaria research?
  • No Thumbnail Available
    Item
    Multimodal Corpora
    (Berlin: Mouton de Gruyter, 2008) Allwood, Jens
  • No Thumbnail Available
    Item
    Multimodal Intercultural Information and Communication Technology - A Framework for Designing and Evaluating Multimodal Intercultural Communicators
    (Springer, 2009) Allwood, Jens; Ahlsén, Elisabeth; University of Gothenburg. Department of Philosophy, Linguistics and Theory of Science; University of Gothenburg. SSKKII Interdisciplinary Center
    The paper presents a framework, combined with a checklist for designing and evaluating multimodal, intercultural ICT, especially when embodied artificial communicators are used as front ends for data bases, as digital assistants, as tutors in pedagogical programs or players in games etc. Such a framework is of increasing interest, since the use of ICT across cultural boundaries in combination with the use of ICT by persons with low literacy skills is rapidly increasing. This development presents new challenges for intercultural ICT. A desideratum for interculturally sensitive artificial communicators is a generic, exportable system for interactive communication with a number of parameters that can be set to capture intercultural variation in communication. This means a system for a Generic, Multimodal, Intercultural Communicator (a GMIC).