{"id":61,"date":"2022-05-19T13:18:54","date_gmt":"2022-05-19T13:18:54","guid":{"rendered":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/?page_id=61"},"modified":"2025-10-30T14:17:39","modified_gmt":"2025-10-30T14:17:39","slug":"spl","status":"publish","type":"page","link":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/","title":{"rendered":"Sociedade Portuguesa de L\u00f3gica"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<p class=\"has-medium-font-size\">Objetivos da Sociedade Portuguesa de L\u00f3gica SPL<\/p>\n\n\n\n<p> A Sociedade Portuguesa de L\u00f3gica SPL tem como fim contribuir para a divulga\u00e7\u00e3o da l\u00f3gica em Portugal, desde a l\u00f3gica matem\u00e1tica at\u00e9 \u00e0 l\u00f3gica filos\u00f3fica assim como l\u00f3gica para a intelig\u00eancia artificial e a teoria da computa\u00e7\u00e3o, e promover a colabora\u00e7\u00e3o multidisciplinar entre os interessados. <\/p>\n\n\n\n<p class=\"has-medium-font-size\">Hist\u00f3ria<\/p>\n\n\n\n<p>A Sociedade Portuguesa de L\u00f3gica SPL foi criada em 2022 no Dia Mundial da L\u00f3gica, dia 14 de janeiro. Os s\u00f3cios fundadores foram Ant\u00f3nio Zilh\u00e3o, Cristina Sernadas, Fernando Ferreira, Francisco Dion\u00edsio, In\u00eas Lynce, Jos\u00e9 Esp\u00edrito Santo, Lu\u00eds Caires, Manuel Martins, Olga Pombo, Paula Gouveia, Paulo de Sousa Mendes, Reinhard Kahle e Vasco Vasconcelos (ver <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/foto\/\" target=\"_blank\">fotografia da constitui\u00e7\u00e3o da SPL<\/a>).<\/p>\n\n\n\n<p class=\"has-medium-font-size\">Atividades<\/p>\n\n\n\n<p>A Sociedade Portuguesa de L\u00f3gica  organiza o <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/coloquio\/\" target=\"_blank\">Col\u00f3quio de L\u00f3gica<\/a>  e a confer\u00eancia <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/conferencia\" target=\"_blank\">&#8220;Days in Logic&#8221;<\/a> .<\/p>\n\n\n\n<p class=\"has-medium-font-size\">S\u00f3cios<\/p>\n\n\n\n<p>Para fazer-se s\u00f3cio dever\u00e1 enviar um email para&nbsp;<a href=\"mailto:secretariadoSPL@math.tecnico.ulisboa.pt\">secretariadoSPL@math.tecnico.ulisboa.pt<\/a>. A quota anual \u00e9 de 20 euros (5 euros no caso de estudantes).<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Objetivos da Sociedade Portuguesa de L\u00f3gica SPL A Sociedade Portuguesa de L\u00f3gica SPL tem como fim contribuir para a divulga\u00e7\u00e3o da l\u00f3gica em Portugal, desde a l\u00f3gica matem\u00e1tica at\u00e9 \u00e0 l\u00f3gica filos\u00f3fica assim como l\u00f3gica para a intelig\u00eancia artificial e a teoria da computa\u00e7\u00e3o, e promover a colabora\u00e7\u00e3o multidisciplinar entre os interessados. Hist\u00f3ria A Sociedade &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/\"> <span class=\"screen-reader-text\">Sociedade Portuguesa de L\u00f3gica<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/61"}],"collection":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/comments?post=61"}],"version-history":[{"count":47,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/61\/revisions"}],"predecessor-version":[{"id":932,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/61\/revisions\/932"}],"wp:attachment":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/media?parent=61"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}