posted by user: ipratt || 3265 views || tracked by 6 users: [display]

Logic and Natural Language 2010 : Call for papers: special Issue of Studia Logica on Logic and Natural Language


When N/A
Where N/A
Submission Deadline Oct 4, 2010
Notification Due Mar 7, 2011
Final Version Due Apr 8, 2011
Categories    natural language   logic   syntax   semantics

Call For Papers

Call for papers: special Issue of Studia Logica on

Logic and Natural Language (Note Extended Deadline)

Perhaps the most fundamental characteristic of the twentieth century revolution in mathematical logic is the central role assumed by formal, rather than natural, languages. For the founding fathers of the new logic, natural language was a barrier to progress---one to be swept aside by the new, logically perspicuous syntax of the Predicate Calculus. This dissociation of formal logic from natural language was subsequently compounded by the rise of theoretical linguistics, which---notwithstanding its early stress on the relationship between grammar formalisms and models of computation---developed in relative isolation from mathematical logic. Only towards the end of the twentieth century did work on the relationship between natural and formal languages begin to gather pace. Two convergent trends can be discerned. The first is a growing realization that the characteristics of natural languages that most clearly differentiate them from formal languages---oddly restricted expressive power, redundancy, vagueness, ambiguity---are themselves worthy objects of logical study. The second is an ever livelier interest among formal linguists in logical aspects
of grammar---a development which is itself a manifestation of the deepening relationship between logic and the theory of computation.

Today, researchers in Logic, Linguistics, Philosophy and Computer Science face a constellation of questions on the relationship between natural language and logic. What logical resources are required to articulate formal grammars of various sorts? What formal systems best account for the logical relations between sentences in natural
language? What light can formalization of natural language shed on the difficulty of language-processing tasks? How does the treatment of quantification (time, modality) in natural and formal languages differ?

Studia Logica invites contributions to a special issue on "Logic and Natural Language", edited by Nissim Francez (Technion, Haifa) and Ian Pratt-Hartmann (University of Manchester). It is envisaged that the issue will comprise papers in two broad areas: (i) the use of logical techniques in the presentation and analysis of grammar formalisms; (ii) investigation of the logical characteristics (expressiveness, complexity, proof-theory) of natural language. We specifically, though not exclusively, invite submissions on the following topics:

- Logical analyses of NL syntax and semantics (e.g. model-theoretic
syntax, type-logical grammars, abstract categorial grammars)
- The connection between NL, substructural logics and higher-order logics
- Type-theory and NL
- Logics for non-indicative sentences (questions, commands, ...)
- Dynamic logics for discourse
- Logics of plurality (plural predication, plural quantification)
- Logics of ambiguity
- Modal, temporal and spatial logics in NL
- Complexity-and proof-theoretic analysis of fragments of NLs
- Logics capturing valid NL arguments ("natural logics"),
- Criticism of traditional mathematical logic based on arguments
originating from NL
- Modern formalization of Classical and Mediaeval logics.

Submitted papers should not exceed 25 pages (including bibliography), formatted according to the Studia Logica LaTeX style (for detailed instructions, see, and should be accompanied by a title page containing the following information: paper title, authors' names, email address and telephone number of the contact author, a short abstract and up to five keywords. Authors' names should not appear on the paper itself. Only electronic submissions will be accepted. The authors should send an email with subject "Studia Logica Special Issue on Logic and Language" to the issue editors (, with the file of the paper as an

The Editor in Chief has recently announced that Studia Logica been included at the beginning of this year into the reference list journals of the Mathematical Reviews. This means that papers published in Studia Logica starting from 2000 are now being seen by the citation system of the Mathematical Reviews.

(Extended) Deadline for submission of manuscripts to the issue editors:
4th October, 2010.

Related Resources

NAACL-HLT 2019   Annual Conference of the North American Chapter of the Association for Computational Linguistics
IJCSITY 2018   International Journal of Computational Science and Information Technology
MLNLP-EI/Scopus 2018   2018 International Conference on Machine Learning and Natural Language Processing (MLNLP 2018)
ACITY 2018   8th International Conference on Advances in Computing and Information Technology
NLE-DL 2018   Natural Language Engineering Special Issue on Informing Neural Architectures for NLP with Linguistic and Background Knowledge
SLIE 2019   Special Track Semantics, Logics, Information extraction and AI
RecNLP 2019   The AAAI 2019 Workshop on Recommender Systems and Natural Language Processing
KRR@SAC 2019   KRR@SAC 2019 : Knowledge Representation and Reasoning (track of the 34th ACM/SIGAPP Symposium On Applied Computing)
CL-MISRNLP 2020   Special Issue of Computational Linguistics: Multilingual and Interlingual Semantic Representations for Natural Language Processing
MMEDIA 2019   The Eleventh International Conference on Advances in Multimedia