Main.HomePage History
Hide minor edits - Show changes to output
Changed lines 23-24 from:
* International Council of Scientific Unions ([[https://www.icsu.org|ICSU]])
to:
* International Council of Scientific Unions ([[https://www.icsu.org|ICSU]])
* Sociedade Brasileira para o Progresso da Ciência ([[http://sbpcnet.org.br|SBPC]])
* Sociedade Brasileira para o Progresso da Ciência ([[http://sbpcnet.org.br|SBPC]])
Deleted lines 1-12:
'''[+[[https://docs.google.com/forms/d/e/1FAIpQLSfaHS7wlu0THjRgTO-vs01X10HbrunYZ34Q-WohKnPmwjlJmg/viewform?usp=sf_link|Census]] of the brazilian logic community+]'''\\\
The Brazilian Logic Society (SBL) invites the community for a census.
The goal is to update the records on old and new members to help identify needs and potentialities of the community for future actions.
An immediate effect of their participation in this census is the inclusion in the official SBL mailing list (socios@sbl.org.br), an open list to the entire community for official notes and bulletins from SBL.
This is not a discussion list (unlike logica-l), but a list for communications (the list will not be open to members' posts).
If you have any questions, please contact us at [[mailto:contato@sbl.org.br|contato@sbl.org.br]].
The census form is available [[https://docs.google.com/forms/d/e/1FAIpQLSfaHS7wlu0THjRgTO-vs01X10HbrunYZ34Q-WohKnPmwjlJmg/viewform?usp=sf_link|here]].
'''[+[[Main/Notes|Condolence note]] for Prof. Oswaldo Porchat Pereira (in Portuguese)+]'''\\\
Changed lines 18-19 from:
on logic and its applications, stimulating researches and contributing to the improvement of this field in science.
to:
on logic and its applications, stimulating research and contributing to the improvement of this field in science.
Changed line 25 from:
* To publish scientific and bulletins with contributions of logicians;
to:
* To publish scientific articles and bulletins with contributions of logicians;
Changed line 27 from:
* To maintain an specialized library;
to:
* To maintain a specialized library;
Added lines 2-11:
'''[+[[https://docs.google.com/forms/d/e/1FAIpQLSfaHS7wlu0THjRgTO-vs01X10HbrunYZ34Q-WohKnPmwjlJmg/viewform?usp=sf_link|Census]] of the brazilian logic community+]'''\\\
The Brazilian Logic Society (SBL) invites the community for a census.
The goal is to update the records on old and new members to help identify needs and potentialities of the community for future actions.
An immediate effect of their participation in this census is the inclusion in the official SBL mailing list (socios@sbl.org.br), an open list to the entire community for official notes and bulletins from SBL.
This is not a discussion list (unlike logica-l), but a list for communications (the list will not be open to members' posts).
If you have any questions, please contact us at [[mailto:contato@sbl.org.br|contato@sbl.org.br]].
The census form is available [[https://docs.google.com/forms/d/e/1FAIpQLSfaHS7wlu0THjRgTO-vs01X10HbrunYZ34Q-WohKnPmwjlJmg/viewform?usp=sf_link|here]].
Changed lines 3-5 from:
'''[+[[Main/Notes|Condolence note]] for Carolina Blasio da Silva (in Portuguese)+]'''\\\
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Open letter]] to MCTI about CNPq situation (in Portuguese)+]'''\\\
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Open letter]] to MCTI about CNPq situation
to:
'''[+[[Main/Notes|Condolence note]] for Prof. Oswaldo Porchat Pereira (in Portuguese)+]'''\\\
Added lines 2-3:
'''[+[[Main/Notes|Condolence note]] for Carolina Blasio da Silva (in Portuguese)+]'''\\\
Changed line 3 from:
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Carta aberta]] ao MCTI sobre a situação atual do CNPq+]'''\\\
to:
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Open letter]] to MCTI about CNPq situation (in Portuguese)+]'''\\\
Changed lines 5-20 from:
! Sociedade Brasileira de Lógica
A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.
A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.
! Objetivos
* Promover congressos, cursos, seminários, reuniões científicas e outras atividades análogas destinadas a difundir e desenvolver a lógica;
*Publicar revistas ou boletins contendo colaboração de lógicos nacionais e estrangeiros, a fim de divulgar suas atividades e os trabalhos de real valor relacionados com a lógica;
* Publicar obras sobre lógica ou suas aplicações, escritas por autores de reconhecida competência;
* Fomentar e manter intercâmbio com instituições científicas nacionais e estrangeiras;
* Organizar e manter uma biblioteca especializada;
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.
! Associações filiadas
A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.
A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on
! Objetivos
* Promover congressos, cursos, seminários, reuniões científicas e outras atividades análogas destinadas a difundir e desenvolver a lógica
*
* Publicar obras sobre lógica ou suas aplicações, escritas por autores de reconhecida competência;
* Fomentar e manter intercâmbio com instituições científicas nacionais e estrangeiras;
* Organizar e manter uma biblioteca especializada;
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.
! Associações filiadas
to:
! Brazilian Logic Society
The Brazilian Logic Society (SBL - acronym in Portuguese) aims to congregate logicians from all fields from Brazil and other countries, encourage and stimulate the interest
on logic and its applications, stimulating researches and contributing to the improvement of this field in science.
We keep a strong scientific relation with logicians and research groups from Latin America and with the Committee on Logic in Latin America of the Association for Symbolic Logic.
! Objectives
* To promote conferences, courses, seminars, workshops and similar activities to spread and develop logic;
* To publish scientific and bulletins with contributions of logicians;
* To promote the interchange with scientific institutions from all of the world;
* To maintain an specialized library;
* To foment the improvement of knowledge in logic.
! Affiliated associations
The Brazilian Logic Society (SBL - acronym in Portuguese) aims to congregate logicians from all fields from Brazil and other countries, encourage and stimulate the interest
on logic and its applications, stimulating researches and contributing to the improvement of this field in science.
We keep a strong scientific relation with logicians and research groups from Latin America and with the Committee on Logic in Latin America of the Association for Symbolic Logic.
! Objectives
* To promote conferences, courses, seminars, workshops and similar activities to spread and develop logic;
* To publish scientific and bulletins with contributions of logicians;
* To promote the interchange with scientific institutions from all of the world;
* To maintain an specialized library;
* To foment the improvement of knowledge in logic.
! Affiliated associations
Added line 22:
* Association for Symbolic Logic ([[http://www.aslonline.org|ASL]])
Changed lines 3-4 from:
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Carta aberta]] ao MCTI sobre a situação atual do CNPq+]'''
to:
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Carta aberta]] ao MCTI sobre a situação atual do CNPq+]'''\\\
! Sociedade Brasileira de Lógica
! Sociedade Brasileira de Lógica
Changed line 3 from:
to:
'''[+[[Attach:cartaSBL2MCTI2017.pdf|Carta aberta]] ao MCTI sobre a situação atual do CNPq+]'''
Added lines 2-4:
! [[Attach:cartaSBL2MCTI2017.pdf|Carta aberta]] ao MCTI sobre a situação atual do CNPq
Changed line 20 from:
* International Council of Scientific Unions (([[https://www.icsu.org|ICSU]])
to:
* International Council of Scientific Unions ([[https://www.icsu.org|ICSU]])
Changed lines 18-20 from:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions
to:
* International Union of History and Philosophy of Science ([[http://iuhps.net|IUHPST]])
* Division of Logic, Methodology and Philosophy of Science ([[http://www.dlmpst.org|DLMPST]])
* International Council of Scientific Unions (([[https://www.icsu.org|ICSU]])
* Division of Logic, Methodology and Philosophy of Science ([[http://www.dlmpst.org|DLMPST]])
* International Council of Scientific Unions (([[https://www.icsu.org|ICSU]])
Deleted line 9:
Deleted line 10:
Deleted line 11:
Deleted line 12:
Deleted line 13:
Changed line 7 from:
! Para atingir seus objetivos a SBL se propõe a:
to:
! Objetivos
Changed line 21 from:
! Associações filiadas:
to:
! Associações filiadas
Deleted lines 2-11:
! A SBL é filiada à:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions (ICSU)
! Objetivos da SBL
Changed lines 19-25 from:
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.
to:
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.
! Associações filiadas:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions
! Associações filiadas:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions
Changed lines 1-3 from:
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE).
!A SBL é filiada à:
!
to:
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Oswaldo Porchat Pereira.
! A SBL é filiada à:
! A SBL é filiada à:
Changed lines 1-12 from:
A local copy of PmWiki's
documentation has been installed along with the software
To continue setting up PmWiki, see [[PmWiki/initial setup tasks]].
The [[PmWiki/basic editing]] page describes how to create pages
in PmWiki. You can practice editing in the [[wiki sandbox]].
More information about PmWiki is available from http
to:
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE).
!A SBL é filiada à:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions (ICSU)
! Objetivos da SBL
A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.
A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.
! Para atingir seus objetivos a SBL se propõe a:
* Promover congressos, cursos, seminários, reuniões científicas e outras atividades análogas destinadas a difundir e desenvolver a lógica;
* Publicar revistas ou boletins contendo colaboração de lógicos nacionais e estrangeiros, a fim de divulgar suas atividades e os trabalhos de real valor relacionados com a lógica;
* Publicar obras sobre lógica ou suas aplicações, escritas por autores de reconhecida competência;
* Fomentar e manter intercâmbio com instituições científicas nacionais e estrangeiras;
* Organizar e manter uma biblioteca especializada;
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.
!A SBL é filiada à:
* International Union of History and Philosophy of Science
* Division of Logic, Methodology and Philosophy of Science
* International Council of Scientific Unions (ICSU)
! Objetivos da SBL
A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.
A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.
! Para atingir seus objetivos a SBL se propõe a:
* Promover congressos, cursos, seminários, reuniões científicas e outras atividades análogas destinadas a difundir e desenvolver a lógica;
* Publicar revistas ou boletins contendo colaboração de lógicos nacionais e estrangeiros, a fim de divulgar suas atividades e os trabalhos de real valor relacionados com a lógica;
* Publicar obras sobre lógica ou suas aplicações, escritas por autores de reconhecida competência;
* Fomentar e manter intercâmbio com instituições científicas nacionais e estrangeiras;
* Organizar e manter uma biblioteca especializada;
* Procurar auxiliar, de todas as formas, os interessados em aperfeiçoar seus conhecimentos lógicos, inclusive por meio de bolsas ou subsídios.