Revisiting Dummett's Proof-Theoretic Justification Procedures

Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity

Peculiaridades léxicas en un inventario de bienes mirobrigense de 1632

Este artículo ofrece un estudio léxico basado en un inventario de bienes redactado en Ciudad Rodrigo (Salamanca) en el siglo XVII. En primer lugar se analizan los vocablos que presentan vacilación de vocales átonas /e,i/ (pinsión, bedriada) y /a,e/ (bernagal). Después se estudian los términos con vacilación consonántica /r,l/ (alanzada, bribia), con alteración consonántica (vago, brinbe, alfamar) y con otras variaciones (tredes, serbilla). En el último apartado se estudian vocablos derivados (cazulexa, desgranadera, enfriad[er]a) y compuestos (escusabaraxa) escasamente documentados.This article presents a lexical study of the vocabulary used in a goods inventory written in Ciudad Rodrigo (Salamanca) during the 17th century. Firstly we study terms with atonic vowels wavering /e,i/ (pinsión, bedriada) and /a,e/ (bernagal). Secondly we study terms with consonantic wavering /r,l/ (alanzada, bribia), with consonatic variation or alterations (vago, brinbe, alfamar) and with others variations (tredes, serbilla). In the last section, we analyze derivative terms (cazulexa, desgranadera, enfriad[er]a) and compound terms (escusabaraxa) which have not been previously sufficiently documented

Agustín Morales Alguacil y la cerámica granadina en el siglo XX

En número dedicado a: Granad

Acciones ofensivas a balón parado en el fútbol

El objetivo de este estudio fue analizar y comparar la realización de las principales acciones ofensivas a balón parado, ABP (penalti, córner, faltas frontales y faltas laterales) entre las dos máximas divisiones del fútbol español. Se analizaron 52 partidos de los cinco primeros equipos clasificados de primera y segunda división en la temporada 2014-2015. Se utilizó la metodología observacional, construyendo un instrumento ad hoc de observación (SOFEO-1) y registrando con el instrumento Lince v.1., lo que permitió estudiar la consecución en el juego ofensivo de estas acciones tecnicotácticas. Se procedió a un análisis estadístico descriptivo e inferencial de los resultados con el software SPSS 21.0, que fue complementado con la detección de patrones temporales T-Patterns mediante el software Theme 6.0. Se encontraron diferencias estadísticamente significativas (p<.05) en la realización de las ABP entre la primera y segunda división en: la estructura defensiva del rival, los movimientos de distracción ofensivos y la finalización de estas acciones. El análisis temporal de T-Patterns corroboró estos resultados y la poca efectividad de estas acciones ofensivas en ambas divisiones

Accions ofensives a pilota parada en el futbol

L’objectiu d’aquest estudi va ser analitzar i comparar la realització de les principals accions ofensives a pilota parada (APP) –penal, córner, faltes frontals i faltes laterals– entre les dues màximes divisions del futbol espanyol. Es van analitzar 52 partits dels cinc primers equips classificats de primera i segona divisió en la temporada 2014-2015. Es va utilitzar la metodologia observacional, construint un instrument ad hoc d’observació (SOFEO-1) i registrant amb amb l’instrument Lince v.1., la qual cosa va permetre estudiar la consecució en el joc ofensiu d’aquestes accions tecnicotàctiques. Es va procedir a una anàlisi estadística descriptiva i inferencial dels resultats amb el programari SPSS 21.0, que va ser complementat amb la detecció de patrons temporals T-Patterns mitjançant el programari Theme 6.0. Es van trobar diferències estadísticament significatives (p < .05) en la realització de les APP entre la primera i segona divisió en: l’estructura defensiva del rival, els moviments de distracció ofensius i la finalització d’aquestes accions. L’anàlisi temporal de T-Patterns va corroborar aquests resultats i la poca efectivitat d’aquestes accions ofensives en ambdues divisions

Clareiras de deciduidade: clareiras cíclicas em florestas tropicais

A new concept named gaps of deciduousness is introduced for the momentary annual bright places that appear under tropical and subtropical deciduous canopy trees when they are leafless, a cyclical kind of gap totally different from treefall gaps, whose importance in the regeneration ecology of these forests until now had not been discussed or evaluated. The aim of this article is to highlight the most significant aspects related to the concept of gaps of deciduousness and suggest the importance of developing studies to evaluate its relevance in the discussion of plant species coexistence and biodiversity maintenance in some tropical forests.Um novo conceito de clareiras de deciduidade é introduzido para os locais iluminados que surgem momentaneamente sob as copas de árvores decíduas do dossel de florestas tropicais e subtropicais, quando essas árvores estão sem folhas. Elas são um tipo de clareiras cíclicas totalmente diferente das clareiras formadas pela queda de árvores, cuja importância na ecologia da regeneração dessas florestas até agora não tinha sido avaliada ou discutida. O objetivo desse artigo é ressaltar os aspectos mais significantes relacionados com o conceito de clareiras de deciduidade e sugerir a importância de se desenvolverem estudos para avaliar sua relevância na discussão sobre a coexistência das espécies de plantas e a manutenção da biodiversidade em algumas florestas tropicais.FAPESPCNP

Quality and quantity: transitions in antimicrobial gland use for parasite defense

Parasites are a major force in evolution, and understanding how host life history affects parasite pressure and investment in disease resistance is a general problem in evolutionary biology. The threat of disease may be especially strong in social animals, and ants have evolved the unique metapleural gland (MG), which in many taxa produce antimicrobial compounds that have been argued to have been a key to their ecological success. However, the importance of the MG in the disease resistance of individual ants across ant taxa has not been examined directly. We investigate experimentally the importance of the MG for disease resistance in the fungus-growing ants, a group in which there is interspecific variation in MG size and which has distinct transitions in life history. We find that more derived taxa rely more on the MG for disease resistance than more basal taxa and that there are a series of evolutionary transitions in the quality, quantity, and usage of the MG secretions, which correlate with transitions in life history. These shifts show how even small clades can exhibit substantial transitions in disease resistance investment, demonstrating that host–parasite relationships can be very dynamic and that targeted experimental, as well as large-scale, comparative studies can be valuable for identifying evolutionary transitions

Severa complicación neurológica tras vertebroplastia percutánea

La vertebroplastia percutánea como tratamiento de las fracturas acuñamientos vertebrales osteoporóticos tras fracaso del tratamiento sintomático y ortopédico así como para el tratamiento de lesiones tumorales del caquis ha tomado un auge importante debido a los buenos resultados publicados y la baja tasa de complicaciones. Este hecho ha llevado a las casas comerciales a desarrollar productos específicos para esta técnica que simplifican su utilización y disminuyen en lo posible las dificultades técnicas del procedimiento así como sus complicaciones. A pesar de ello, en nuestra opinión es una técnica que requiere una alta demanda de entrenamiento y que puede dar lugar a graves complicaciones a pesar de que no existan prácticamente en la literatura complicaciones severas con la utilización de esta técnica. Presentamos un caso ocurrido en nuestra serie de una paraplejia completa no resuelta tras una vertebroplastia percutanea torácica para una fractura osteoporótica.The technique of percutaneous vertebroplasty for osteoporotic fractures and spine tumors was develop an important increase because there were a lot of publications with good results and low rate of complications. This fact was done a fast developing of instruments and new PMMA cements to simplify this technique and decreased the rate of complications. In our opinion the percutaneous vertebroplasty is a high demand technique and have a high potential of major neurological complications if it is not performed with use of appropriate safeguards, but the purpose of this article is not to condemn the technique because we have had a good results using it in this pathologies and the majority of publications have shown a high rate of excellent results

Inference Rules and the Meaning of the Logical Constants

The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic