The provability problem in intuitionistic propositional second-order logic with existential quantifier and implication (∃,→) is proved to be undecidable in presence of free type variables (constants). This contrasts with the result that inutitionistic propositional second-order logic with existential quantifier, conjunction and negation is decidable.

Previous research has demonstrated that reversing the contrast of the eye region, which includes the eyebrows, affects the N170 ERP. To selectively assess the impact of just the eyes, the present study evaluated the N170 in response to reversing contrast polarity of just the iris and sclera in upright and inverted face stimuli. Contrast reversal of the eyes increased the amplitude of the N170 for upright faces, but not for inverted faces, suggesting that the contrast of eyes is an important (...) contributor to the N170 ERP. (shrink)

Diese Studie bietet eine pragmatistische Deutung von Erkenntnis. Durch eine detaillierte Analyse im Kontext von Sprachphilosophie und Philosophie des Geistes legt der Autor dar, warum Wissen seinen Ursprung im Konnen hat. Denn bei genauer Betrachtung beschreiben die Bedingungen fur Wissen letztlich eine praktische Kompetenz. Durch die Verknupfung einer normativen Pragmatik mit einer inferentiellen Semantik macht der Autor deutlich, warum es einer solchen Kompetenz bedarf, um Uberzeugungen uberhaupt erst haben und rechtfertigen zu konnen. Im Rahmen eines Deflationismus zeigt er dagegen, dass (...) Wahrheit keine notwendige Bedingung fur Wissen, sondern vielmehr ein Mittel der Zustimmung und der Verallgemeinerung ist.". (shrink)