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

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

FacebookTwitterLinkedInGoogle

Link: http://www.studialogica.org/
 
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 http://www.studialogica.org/), 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 (ipratt@cs.man.ac.uk), with the file of the paper as an
attachment.

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

TextGraphs 2024   Call for Papers: 17th Workshop on Graph-based Natural Language Processing (TextGraphs@ACL 2024)
IJP2P 2024   International Journal of Peer-to-Peer networks
ECNLPIR 2024   2024 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2024)
ADEIJ 2024   Advances in Engineering: an International Journal
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
IJCSITY 2024   International Journal of Computational Science and Information Technology
FLLM 2024   The 2nd International Conference on Foundation and Large Language Models
LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
CONCUR 2024   International Conference on Concurrency Theory