Re: [Logica-l] Paradoxo da Independência Holandesa
> A França foi ou não foi colônia da Alemanha na época da II guerra? Fácil: não foi. -- David. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paradoxo da Independência Holandesa
Durante a Segunda Guerra, a França foi ocupada pela Alemanha, muito embora ainda continuasse existindo um governo francês, cujo ditador era o Marechal Pétain. Mas, isto os franceses admitem quando dizem que expulsaram os invasores alemães, que organizaram a resistência durante a dominação nazista, etc. Em 30 de novembro de 2012 13:07, David Deharbe escreveu: > > > A França foi ou não foi colônia da Alemanha na época da II guerra? > > Fácil: não foi. > > -- David. > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paradoxo da Independência Holandesa
Caro Júlio, Mas, não parece que os holandeses que rejeitam a noção histórica de que a Holanda não foi independente raciocinem em termos de ramificações. Na verdade, eles raciocinam numa espécie de ucronia ou de anacronia. Ou seja, eles olham para todos os estados de coisas/ eventos possíveis mas sem os organizar em árvores. Se eles organizassem os eventos em árvores, aceitando que os fatos passados são imutáveis, etc., eles aceitariam a ideia de que (imutavelmente) a Holanda não era independente antes da sua independência. Em 30 de novembro de 2012 08:45, Julio Lemos escreveu: > "Mas, se* é **possível* que antes a Holanda tenha sido não-independente, > então ser > independente não é necessário, mas contingente." > > Creio que "era possível"* *fosse mais adequado que "é possível" [que a > Holanda tenha sido não-independente]. Isso foi possível, mas não é mais. > Qualquer fato passado é imutável, portanto necessário, consequência do > modelo de ramificação somente para o futuro, com o passado linear. Ao menos > acredito que seja o modelo mais adequado para a história. > > Se a Holanda foi independente no passado, então é necessário que tenha > sido independente. Mas de fato ser independente *simpliciter* é > contingente. > > []s > Julio > > 2012/11/29 Tony Marmo > >> Mas, se é >> possível que antes a Holanda tenha sido não-independente, então ser >> independente não é necessário, mas contingente. >> > > > > -- > Julio Lemos, PhD > Formal Logic / Philosophy of Law > University of São Paulo > > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] IMLA 2013 -- EXTENDED DEADLINE
6th Workshop on Intuitionistic Modal Logic and Applications
https://sites.google.com/site/imodallogic2013/
April 7, 2013
** New deadline submission: December 10th **
Affiliated with the 4th World Congress on Universal Logic [UNILOG 2013]
http://uni-log.org/start4.html
Rio de Janeiro, Brazil
April 3-7, 2013
Constructive modal logics and type theories are of increasing foundational
and practical
relevance in computer science. Applications of constructive modal logics
are in type
disciplines for programming languages, meta-logics for reasoning about a
variety of
computational phenomena and explanatory frameworks in philosophical logic.
The workshop aims at developing and explaining theoretical and
methodological issues
centered around the question of how the proof-theoretic strengths of
constructive logics
can best be combined with the model-theoretic strengths of modal logics.
Practical issues
center around the question of which modal connectives with associated laws
or proof rules
capture computational phenomena accurately and at the right level of
abstraction.
In its sixth edition, the Workshop on Intuitionistic Modal Logic and
Applications will
take place in Rio de Janeiro at the feet of the Sugar Loaf at the military
school EsCEME.
Previous editions of this conference were held: as part of the 14th
Congress of Logic,
Methdology and Philosophy of Science, Nancy, France, 25 July, 2011, as part
of LiCS2008,
Pittsburgh, USA, as part of LiCS2005, Chicago, USA, of FLoC2002,
Copenhagen, Denmark and
as part of FLoC1999, Trento, Italy.
Topics of interest to this forum include, but are not limited to:
* Modal Logics
* Logical frameworks
* Proof theory
* Type theory
* Automated deduction
* Formal semantics of languages and systems
* Applications
IMLA 2013 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
preliminary research.
Submissions
Contributions should be written in English and submitted in the form
of full papers (with a maximum of 12 pages) or short papers (with
a maximum of 6 pages). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be prepared
in latex using EPTCS style. The submission should be in the form of a
PDF file uploaded to IMLA 2013 page at Easychair
https://www.easychair.org/conferences/?conf=imla2013
until the submission deadline in December 10th.
The workshop pre-proceedings will be handed-out at workshop registration.
At least one of the authors should register at the conference.
The paper presentation should be in English.
Important Dates
Paper submission deadline: December 10th, 2012
Author notification: December 15th, 2013
Workshop: April 7th, 2013
Scientific and Organizing Committee
* Valeria de Paiva (School of Computer Science, University of Birmingham,
UK)
* Mario Benevides (COPPE-IM, UFRJ)
* Elaine Pimentel (DMAT, UFMG)
* Vivek Nigam (DI, UFPb)
* Natasha Alechina (School of Computer Science, University of Nottingham)
* Gavin Bierman (Microsoft Research, UK)
* Frank Pfenning (Carnegie Mellon University, US)
* Michael Mendler (University of Bamberg, Germany)
The workshop occurs within the scope of the Marie Curie IRSES
project GeTFun ("Generalizations of Truth-Functionality").
--
Elaine.
Elaine Pimentel
Departamento de Matematicas
Universidad del Valle
Calle 13 No. 100 - 00 ; Edificio 320.
Ciudadela Universitaria Melendez
Cali, Colombia
https://sites.google.com/site/elainepimentel/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paradoxo da Independência Holandesa
On Nov 30, 2012, at 2:10 PM, Tony Marmo wrote: > Durante a Segunda Guerra, a França foi ocupada pela Alemanha, muito embora > ainda continuasse existindo um governo francês, cujo ditador era o Marechal > Pétain. Mas, isto os franceses admitem quando dizem que expulsaram os > invasores alemães, que organizaram a resistência durante a dominação nazista, > etc. Foi ocupada sim, colonizada não. Mais precisamente Alsacia e norte da Lorena foram anexados. O resto foi parcialmente ocupado de 1940 a 1942 (pela Alemanha e pela Itália) e totalmente ocupada entre 1942 e meados de 1944 quando começou a ser liberada pelos Aliados. Está em todos os manuais de história, inclusive os franceses. Att. -- David. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
