Logic-ml October 2013

18 participants
25 discussions

10/25(金) Matthias Schirn 博士講演会 Hilbert and Wittgenstein on the Consistency of Mathematical Theories
by 秋吉亮太 21 Oct '13

21 Oct '13

10/25(金) Matthias Schirn 博士講演会「Hilbert and Wittgenstein on the Consistency of Mathematical Theories」のお知らせ次のような講演会を予定していますので案内させていただきます。講演者： Matthias Schirn (Munich Center for Mathematical Philosophy (LMU, Munich)) 講演題目： HILBERT AND WITTGENSTEIN ON THE CONSISTENCY OF MATHEMATICAL THEORIES (＊発表言語は英語) ディスカッションコーディネータ：岡田光弘（慶應義塾大学哲学専攻）開催日時：2013年10月25日（金）17:00-18:30 Date: October 25, 2013 (Fri) 17:00-18:30 開催場所：慶應義塾大学三田キャンパス東館4階セミナー室 Place: Seminar Room, 4F of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html 参加方法：事前登録不要・参加費無料共催：慶應義塾大学「論理と感性」のグローバルリサーチセンター慶應義塾大学「思考と行動判断」の研究拠点 ――――――――――――――――――――――――――――――――――――――――――― お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp

1 0

Talk by Masahiko Sato, 14 Nov. Thu 11:00-
by Shinya Katsumata 18 Oct '13

18 Oct '13

京都大学数理解析研究所の勝股です。 11月14日11:00から、佐藤雅彦京都大学名誉教授に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 14 Nov, 2013 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Professor Emeritus Masahiko Sato Title: Viewing lambda terms through maps (Joint work with Randy Pollack, Helmut Schwichtenberg and Takafumi Sakurai) Abstract: In this talk we introduce the notion of map, which is a notation for the set of occurrences of a symbol in a syntactic expression such as a formula or a lambda-term. We use binary trees over 0 and 1 as maps, but some well-formedness conditions are required. We develop a representation of lambda terms using maps. The representation is concrete (inductively definable) and canonical (one representative per lambda-term). We define substitution for our map representation, and prove the representation is in substitution preserving isomorphism with both nominal logic lambda-terms and de~Bruijn nameless terms. These proofs are mechanically checked in Isabelle/HOL and Minlog respectively. The map representation has good properties. Substitution does not require adjustment of binding information: neither alpha-conversion of the body being substituted into, nor de Bruijn lifting of the term being implanted. We have a natural proof of the substitution lemma of lambda calculus that requires no fresh names, or index manipulation. Using the notion of map we study conventional raw lambda$syntax. E.g. we give, and prove correct, a decision procedure for alpha-equivalence of raw lambda terms that does not require fresh names.

1 0

チュートリアル "Vagueness and Fuzzy Logic" のお知らせ
by Shunsuke Yatabe 15 Oct '13

15 Oct '13

みなさま（重複して受け取られた場合はご容赦ください）今年の１0月に東京で開催される LENLS 10 (Logic and Engineering of Natural Language Semantics 10) 国際ワークショップのチュートリアル・コースとして、以下を開催することとなりました。このチュートリアルは、LENLS参加登録者に限らず、興味をお持ちの方はどなたでもご参加いただけます。皆様のご参加をお待ちしております。矢田部俊介（西日本旅客鉄道／京都大学） Tutorial Lecture: ================= On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University. Lecturer: Nicholas J.J. Smith (The University of Sydney) Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor) (http://www.ocha.ac.jp/en/access/index.html) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Vagueness and Fuzzy Logic Abstract -------- The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting). I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism). II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth. III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches. IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given. V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness.

1 0

WoLLIC 2014 - 1st Call for Papers
by 小野寛晰 13 Oct '13

13 Oct '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

[お知らせ] キャンパス停電のためのML休止
by Atsushi Igarashi 12 Oct '13

12 Oct '13

logic-ml, kisoron-ml, jssst-ppl 購読のみなさま，管理人の五十嵐です． 10/14(月)に予定されている京大キャンパス内の停電のため， MLを運用しているサーバを 10/12(金) 夕方〜 10/15(火) 午前まで落とします．やや長期間の休止でご不便をおかけいたしますが，よろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Talk by Venanzio Capretta, Thursday next week (Oct 17)
by Ichiro Hasuo 10 Oct '13

10 Oct '13

Dear all, Thursday next week we have Venanzio Capretta from University of Nottingham visiting us in U Tokyo and making a talk on infinite datastructures (related: (co)algebra and (co)induction). No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Thu 17 October 2013, 17:00-18:00 Venanzio Capretta (U. Nottingham), THE CONSTRUCTION OF INFINITY *理学部7号館2階 214教室* （いつもの1階の部屋ではありません） Room 214, School of Science Bldg. No. 7 (Not the usual one on the ground floor) アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html Access: http://www-mmm.is.s.u-tokyo.ac.jp/ This talk is about the implementation and use of infinite data structures in computer science, specifically in constructive type theory. In the first part, I give some history and philosophy of the mathematical theories of infinity, illustrated with some puzzles. The second part is about solving equations on infinite streams: under what conditions does a recursive definition produce a unique function on streams? The third part is about a new kind data type, which I call "Wander Types". It allows the definition of non-well-founded structures with fine control on branching behaviour.

1 0

チュートリアルのお知らせ (Martin Ziegler氏、2013年10月１５日)
by Hideki Tsuiki 10 Oct '13

10 Oct '13

皆様 Darmstadt 工科大学の Martin Ziegler 教授が、１０月１４日から２週間京都に滞在されます。その間、何回かにわたって、計算可能性解析学に関するチュートリアル・レクチャーをして頂きます。初回は、１５日火曜日です。それ以降の予定は、その時にお伝えします。皆様のご参加をお待ちしております。日時： 10月14日（火曜）1:00 より場所：京都大学総合人間学部棟 1401 教室 (吉田南キャンパスに入って左側の建物の４Fです）講演者： Martin Ziegler 題目： Tutorial on Computability and Complexity in Analysis, Part I 立木

1 0

AiML 2014: 1st Call for Papers
by 小野寛晰 08 Oct '13

08 Oct '13

AiML-2014: 1ST CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2012 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ in due time. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS: TO BE ANNOUNCED LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014(a)easychair.org

1 0

Call for participation: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
by BEKKI Daisuke 07 Oct '13

07 Oct '13

（重複して受け取られた場合はご容赦ください） 10/26-28に東京で開催される LENLS 10 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 ※online registrationの〆切（10/10）が迫っておりますので、ご注意下さい。戸次大介（お茶の水女子大学／国立情報学研究所） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 10 (LENLS 10) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : October 26-28, 2013 Contact Person: Shunsuke Yatabe (West Japan Railway Company) Contact Email : lenls10[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Shunsuke Yatabe (West Japan Railway Company) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Nicholas J.J. Smith (the University of Sydney) - Richard Dietz (the University of Tokyo) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Important dates: ================ Deadline for onsite registration: October 10, 2013 Tutorial Lecture: October 26, 2013 LENLS10: October 27-28, 2013 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until **10th October 2013**. http://www.ai-gakkai.or.jp/jsai-isai/2013/#registration Program: ======== October 27th (Sun), 2013 ------------------------- 9:00-9:20:Reception and Coffee Break 9:20-9:30:Opening Remarks 9:30-11:30:Session 1 * Takeshi Yamada "On Dummett's Critique of Davidsonian Theory of Meaning" * Chi-Yen Liu and Linton Wang "From 3-valued semantics, Adams' thesis rises" * Hidenori Kurokawa "Hypersequent calculi for modal logics extending S4" * Yoshihiro Maruyama "Quantum Linguistics: From Philosophy of Language to Logic of Quantum Vagueness" 11:30-13:00:Lunch 13:00-14:30:Session 2 * Laurence Danlos, Philippe De Groote and Sylvain Pogodalla "A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars" * Daisuke Bekki "A Type-theoretic Approach to Double Negation Elimination in Anaphora" * Ribeka Tanaka, Yuki Nakano and Daisuke Bekki "Constructive Generalized Quantifiers Revisited" 14:30-14:45:Coffee break 14:45-16:15:Session 3 * David Etlin "Conditionals, Modals and Iteration" * Hanako Yamamoto and Daisuke Bekki "First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences" * Elia Zardini "If and Is" 16:15-16:45:Coffee break 16:45-17:45:Invited Talk 1 * Nicholas J.J. Smith "Vagueness, Counting and Cardinality" 17:45-18:15:Questions and Comments 19:00-:Banquet October 28th (Mon), 2013 ------------------------- 9:00-9:30:Reception 9:30-11:30:Session 1 * Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono and Noriko Arai "World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps be-tween knowledge resources and natural language texts" * Marc Vincent and Gre'goire Winterstein "Argumentative insights from an opinion classification task on a French corpus" * Bruno Mery, Richard Moot and Christian Retore "Plurals: individuals and sets in a richly typed semantics" * Yasuo Nakayama "Analyzing Speech Acts based on Dynamic Normative Logic" 11:30-13:00:Lunch 13:00-15:00:Session 2 * Yoshiki Mori and Hitomi Hirayama "Bare plurals in the left periphery in German and Italian" * Christopher Davis "Building Rhetorical Questions in Japanese" * Wataru Uegaki "Predicting the distribution of exhaustive inference in a QUD model" * Matthijs Westera "Exhaustivity through the maxim of relation" 15:00-15:15:Coffee break 15:15-16:45:Session 3 * Daniel Gutzmann "Compositional multidimensionality and the lexicon-semantics interface" * Nicholas Asher, Cedric Degremont and Antoine Venant "Semantic Similarity -- Extended Abstract" * Eric Mccready and Nicholas Asher "Discourse-level Politeness and Implicature" 16:45-17:00:Coffee break 17:00-18:00:Invited Talk 2 * Richard Dietz "The Possibility of Vagueness" 18:00-18:30:Questions and Comments Alternates ---------- * Jiri Marsik and Maxime Amblard "Integration of Multiple Constraints in ACG" * Mihaela Popa "Embedded irony, speech-acts, and the semantics/pragmatics distinction" * Satoru Suzuki "Averages, Comparisons, Contextual Definitions and Meaningfulness" Tutorial Lecture: ================= On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University. Lecturer: Nicholas J.J. Smith (The University of Sydney) Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor) (http://www.ocha.ac.jp/en/access/index.html) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Vagueness and Fuzzy Logic Abstract -------- The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting). I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism). II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth. III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches. IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given. V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness. Workshop Organizers/Program Committee: ====================================== - Shunsuke Yatabe (West Japan Railway Company) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Kei Yoshimoto (Tohoku University)

1 0

第48回 MLG 数理論理学研究集会のご案内
by Katsuhiko Sano 06 Oct '13

06 Oct '13

第48回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2013