posted by user: ipratt || 3356 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

ACL 2019   57th Annual Meeting of the Association for Computational Linguistics
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
IJNLC 2018   International Journal on Natural Language Computing
IULP 2019   3rd International Workshop on User-Oriented Logic Paradigms
NLPIR--Ei and Scopus 2019   2019 3rd International Conference on Natural Language Processing and Information Retrieval (NLPIR 2019)--Ei Compendex and Scopus
ALC 2019   The Sixteenth Asian Logic Conference
EMNLP-IJCNLP 2019   Conference on Empirical Methods in Natural Language Processing & International Joint Conference on Natural Language Processing 2019
NLPIR--Ei Compendex and Scopus 2019   2019 3rd International Conference on Natural Language Processing and Information Retrieval (NLPIR 2019)--Ei Compendex and Scopus
CL-MISRNLP 2020   Special Issue of Computational Linguistics: Multilingual and Interlingual Semantic Representations for Natural Language Processing
NAACL Demos 2019   2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics - Demonstrations