In different subfields of philosophy, focus on actual human practices has been an important albeit still somewhat non-mainstream approach in recent decades. But so far, no such practice-based turn has yet taken place within the philosophy of logic. In the first part of the paper, I delineate what a practice-based philosophy of logic would could look like, insisting in particular on why it can be relevant and how it is to be undertaken. In the second part, I illustrate the proposed practice-based approach by means of a case-study: the role played by formal languages in logic, in particular in the practices of logicians.
|Published (Last):||24 January 2005|
|PDF File Size:||4.59 Mb|
|ePub File Size:||7.86 Mb|
|Price:||Free* [*Free Regsitration Required]|
This book is dedicated to Professor Selim G. Akl to honour his groundbreaking research achievements in computer science over four decades. The book is an intellectually stimulating excursion into emergent computing paradigms, architectures and implementations. The book is a unique combination of vibrant essays which inspires scientists and engineers to exploit natural phenomena in designs of computing architectures of the future.
Enumerated BSP Automata. Parallel Sorting for GPUs. Connectivity Preserving Network Transformers. On Vague Computers. Adrian-Horia Dediu, Joana M. Vehicular Clouds: Ubiquitous Computing on Wheels. Computational Approaches to Epigenetic Drug Discovery.
Emese E. Somogyvari, Selim G. Akl, Louise M. Naif Y. Physical Maze Solvers. Back Matter Pages Unconventional Computing Selim G. Editors and affiliations. Buy options.
The seminar usually takes place on Tuesday at 2 p. It is of course open to anyone interested. If you want to give a talk or propose a speaker, please contact. Friday, October 19 Descriptive distributed complexity.
Effective Methods in Algebraic Geometry