Dr. Lenski, Wolfgang
Universität
Studium der Mathematik, Physik und Philosophie an der Universität Stuttgart 1971 - 1974
Studium der Mathematik und Philosophie an der Universität Heidelberg 1974 - 1980
Wissenschaftl. Mitarbeiter am Unternehmen "Mathematische Logik" der Heidelberger Akademie der Wissenschaften
Wissenschaftl. Mitarbeiter am Lehrstuhl für Logik am Math. Institut der Univ. Heidelberg 1985-1989
Promotion 1989
Stellv. Leiter der Forschungsstelle "Mathematische Logik" der Heidelberger Akademie der Wissenschaften an der TU Kaiserslautern 1989-2004
Mitglied des FG Philosophie der TU Kaiserslautern seit 2005
Forschungsschwerpunkte
- Klassische Logik
- Platonistische Logik-Konzeptionen
- Begrifflichkeit und Grundlagen formaler Systeme
- Erkenntnistheorie
- Wissenskonzepte
- Informationsbegriff
- Dokumentation Logik
Herausgeberschaft
Mit-Herausgeber der Dokumentation zur Logik
Publikationen
- The Bibliography of Mathematical Logic.
Herausgegeben von der Dokumentationsstelle Logik am Fachgebiet Philosophie der TU Kaiserslautern in der Nachfolge des Unternehmens "Mathematische Logik" der Heidelberger Akademie der Wissenschaften (gemeinsam mit Wolfgang Neuser).
Available at http://www.math-logic.org - Sterben und Tod bei Hegel.
Gemeinsam mit Dietrich von Engelhardt und Wolfgang Neuser.
Königshausen & Neumann, Würzburg, 2015 - Wissenschaft und Natur. Studien zur Aktualität der Philosophiegeschichte. Wolfgang Neuser zum 60. Geburtstag.
Gemeinsam mit Klaus Wiegerling.
Traugott Bautz, Nordhausen, 2011, 458pp - Bewusstsein zwischen Natur und Geist.
Gemeinsam mit Wolfgang Neuser.
Königshausen & Neumann, Würzburg, 2010, 192pp
ISBN 978-3-8260-4350-5 - Logik als Grundlage von Wissenschaft.
Gemeinsam mit Wolfgang Neuser.
Universitätsverlag Winter, Heidelberg, 2010, 204pp
ISBN 978-3-8253-5710-8 - Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday.
Lecture Notes in Computer Science Vol. 3075, Springer-Verlag Heidelberg & New York 2004 - Information systems and data analysis. Proceedings of the 17th Annual Conference of the Gesellschaft für Klassifikation e.V.
Gemeinsam mit Hans-Hermann Bock und Michael M. Richter.
Springer-Verlag Heidelberg & New York 1994 - Ordered Abelian Groups in Logics with Ramsey Quantifiers.
Dissertation Univ. Heidelberg 1988, XIII+180pp - Ω-Bibliography of Mathematical Logic, Vol VI: Proof Theory and Constructive Mathematics.
Gemeinsam mit Dirk van Dalen, Jane Kister, Anne Troelstra und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, XLI+405pp - Ω-Bibliography of Mathematical Logic, Vol. V: Set Theory
Gemeinsam mit Andreas Blass und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, LI+791pp - Ω-Bibliography of Mathematical Logic, Vol. IV: Recursion Theory.
Gemeinsam mit Peter Hinman und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, XLV+697pp - Ω-Bibliography of Mathematical Logic, Vol. III: Model Theory.
Gemeinsam mit Heinz-Dieter Ebbinghaus und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, XLV+617pp - Ω-Bibliography of Mathematical Logic, Vol. II: Non-Classical Logics.
Gemeinsam mit Wolfgang Rautenberg und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, XXXVII+469pp - Ω-Bibliography of Mathematical Logic, Vol I: Classical logic.
Gemeinsam mit Wolfgang Rautenberg und Gert H. Müller.
Springer-Verlag: Heidelberg & New York, 1987, XXXIX+485pp Einfache Strukturen in elementaren Klassen .
Diplomarbeit Universität Heidelberg, 1979, 276pp
- Freiheit und Logik. Ein Letztbegründungsansatz in Hegels System.
In: Neuser, Wolfgang & Stekeler-Weithofer, Pirmin (Hrsg.): Idee, Geist, Freiheit. Königshausen & Neumann, Würzburg, 2017. S. 79-101. - Der Grund der Bewegung. Natur und Naturphilosophie bei Hegel.
In: Neuser, Wolfgang & Stekeler-Weithofer, Pirmin (Hrsg.): Natur und Geist. Königshausen & Neumann, Würzburg, 2016, S. 105-123. - Natur und Notwendigkeit. Eine systemische Sicht auf Hegels Naturphilosophie.
In: Neuser, Wolfgang & Lange, Steffen (Hrsg.): Natur zwischen Logik und Geschichte. Beiträge zu Hegels Naturphilosophie. Königshausen & Neumann, Würzburg, 2016, S. 27-42. - Morals, IT-Structures, and Society
in: Zweig, Katharina & Neuser, Wolfgang & Pipek, Volkmar & Rohde, Markus & Scholtes, Ingo (Hrsg.): Socioinformatics - The Social Impact of Interactions between Humans and IT. Springer Proceedings in Complexity, Springer-Verlag Heidelberg, 2014, S. 153-171. - Liegt Hegels Naturphilosophie eine parakonsistente Logik zugrunde?
In: Wolfgang Neuser und Sönke Roterberg (Hrsg.): Systemtheorie, Selbstorganisation und Dialektik. Königshausen & Neumann, Würzburg, 2012, S. 119-141. - Ленски, Вольфганг: Философия математики как анализ понятий.
М.И. Ненашев (ведущий):Круглый стол «Математика и реальность».
При редакции журнала «Вестник Вятского государственного гуманитарного университета» в январе 2011, S. 6-27.
[Lenski, W.: Filosofiya matematiki kak analiz ponyatiy.
In: Nenaschev, M.I. (vedushchiy): Kruglyj stol „Matematika i realnost’ “
Pri redakcii zhurnala “Vestnik Vyatskogo gosudarstvennogo gumanitarnogo universiteta” , No. 1 (1) Janvar’ 2011]
{Lenski, W.: Philosophie der Mathematik – eine begriffliche Annäherung.
In: Nenaschev, M.I. (Hrsg.): Round-table-Gespräch “Mathematik und Realität”. Vestnik Vyatskogo gosudarstvennogo gumanitarnogo universiteta, Vol. 1, No. 1, 2011, S. 20-21} - Die Wissensgesellschaft und ihre Manifestationen. Anmerkungen zu Strukturen eines Binnenverhältnisses.
In: Lenski, W. & Wiegerling, Klaus (Hrsg.): Wissenschaft und Natur. Studien zur Aktualität der Philosophiegeschichte. Wolfgang Neuser zum 60. Geburtstag.
Traugott Bautz, Nordhausen, 2011, S. 301-329 - Information: A Conceptual Investigation.
Information. Vol. 1, No. 2 (2010), S. 74-118. - Anmerkungen zum Begriff ‚Logik’ in Hegels Logik.
In: Lenski, W. & Neuser, W. (Hrsg.): Bewusstsein zwischen Natur und Geist. Königshausen & Neumann, Würzburg, 2010, S. 177-192 - Gewusstes und Geteiltes. Zur Rolle der Logik zwischen Wissen und Wissenschaft.
In: Lenski, W. & Neuser, W. (Hrsg.): Logik als Grundlage von Wissenschaft. Universitätsverlag Winter, Heidelberg, 2010, S. 89-141 - Menschen in der Bibliographie der mathematischen Logik.
In: Ditte Bandini & Ulrich Kronauer (Hrsg.): Früchte vom Baum des Wissens. Eine Festschrift der wissenschaftlichen Mitarbeiter.
Universitätsverlag Winter, Heidelberg, 2009, S. 71-83
ISBN 978-3-8253-5547-0 - Remarks on a Publication Based Concept of Information.
In: Hans Becker, Kari Stange, Bernd Wegner (eds.): New Developments in Electronic Publishing of Mathematics.
FIZ Karlsruhe 2004, S. 123-140 - Towards a theory of information.
In: Lenski, W. (ed.): Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday.
Lecture Notes in Computer Science Vol. 3075, Springer-Verlag Heidelberg & New York 2004, S. 77-105 - Bibliographien in der Informationsgesellschaft. Perspektiven der Forschungsstelle Mathematische Logik der Heidelberger Akademie der Wissenschaften. LIS-Report 2002-1, 13pp
- The TRIAL-SOLUTION approach to document re-use. Principles and Realization.
Gemeinsam mit Elisabeth Wette-Roch. In: Electronic Media in Mathematics EMM'01, CD-ROM issued by the Departamento de Matematica da Universidade de Coimbra, 2001, 2_3.pdf, 14pp - Meta-data for advanced structures of learning objects in mathematics.
Gemeinsam mit Elisabeth Wette-Roch. LIS-Report 2001-1, 39pp
Also available at www.math-logic.org/trial/metadata_vact.ps - Data and Meta-data in the Trial-Solution Project.
Gemeinsam mit Ingo Dahn et al..
Available at www.math-logic.org/trial/TS-IMS_V_1_1.pdf - Pragmatical Issues in Scientific Information Systems.
Gemeinsam mit Elisabeth Wette-Roch. In: B. Sanchez, N. Nada, A. Rashid, T. Arndt, M. Sanchez (eds.): Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics SCI2000. International Institute of Informatics and Systemics (IIIS), Orlando, 2000, S. 242-247. Also in CD-ROM of SCI2000, IIIS, 6pp. - Gleichheitsbegriffe in hoch-strukturierten Datenbanken.
In: H.P. Ohly, G. Rahmstorf, A. Sigel (eds.): Globalisierung und Wissensorganisation: Neue Aspekte für Wissen, Wissenschaft und Informationssysteme. Ergon Verlag Würzburg, 2000, S. 83-92 - Structured Phrases for Indexing and Retrieval of Research Topics.
Gemeinsam mit Elisabeth Wette-Roch. In: R. Decker, W. Gaul (eds.): Classification and Information Processing at the Turn of the Millenium. Springer-Verlag Heidelberg, 2000, S. 479-487 - Pragmatische Aspekte der Wissensmodellierung in wissenschaftlichen Informationssystemen.
Gemeinsam mit Elisabeth Wette-Roch. In: H.P. Ohly, G. Rahmstorf, A. Sigel (eds.): Globalisierung und Wissensorganisation: Neue Aspekte für Wissen, Wissenschaft und Informationssysteme. Ergon Verlag Würzburg, 2000, S. 363-374 - Der Strukturierungsansatz des Forschungsunternehmens 'Mathematische Logik' der Heidelberger Akademie der Wissenschaften. LIS-Report 98-1
- Foundational Aspects for Knowledge-Based Information Systems in Scientific Domains.
Gemeinsam mit Elisabeth Wette-Roch. In: R. Klar, O. Opitz (eds.): Classification and Knowledge Organization. Springer-Verlag 1997, S. 300-310 - Planning the Information Seeking Process in Heterogeneous Bibliography-Related Sources.
Gemeinsam mit César Carranza. In: Workshop KI-Techniken für intelligente Mensch-Maschine-Schnittstellen. 21. Deutsche Jahrestagung für Künstliche Intelligenz, KI-97. Im WWW unter: http://zeus.gmd.de/~pohl/KI97, 5pp - A Planning-Based Approach to Intelligent Information Retrieval in Text Databases.
Gemeinsam mit César Carranza. In: R. Klar, O. Opitz (eds.): Classification and Knowledge Organization. Springer-Verlag 1997, S. 313-323 - Foundational Aspects for Knowledge-based Information Systems in Scientific Domains. Gemeinsam mit Elisabeth Wette-Roch. LIS-Report 96-2
- A Planning-based Approach to Intelligent Information Retrieval in Text Databases. Gemeinsam mit César Carranza. LIS-Report 96-1
- A Method for the Detection of Sources in the Logic Information System LIS.
In: H.-H. Bock, W. Polasek (eds.): Data Analysis and Information Systems. Statistical and Conceptual Approaches. Springer-Verlag, Heidelberg 1996, S. 396-405 - Terminologie und Wissensrepräsentation in pragmatischer Sichtweise,
Gemeinsam mit Elisabeth Wette-Roch. In: H. Czap, P., Jaenecke, H.P., Ohly (eds.): Analogie in der Wissensrepräsentation. Case-Based Reasoning und Räumliche Modelle. INDEKS Verlag Frankfurt/M 1996, S. 147-159 - LIS/Thesaurus: Ein strukturierter Thesaurus für das Logik-Informationssystem LIS.
Gemeinsam mit Elisabeth Wette-Roch. XPS '95 Workshop, Kaiserslautern 1995, 7pp - Das Forschungsunternehmen "Bibliographie der Mathematischen Logik und verwandter Gebiete" der Forschungsstelle 'Mathematische Logik' der Heidelberger Akademie der Wissenschaften an der Universität Kaiserslautern (Russisch).
Gemeinsam mit Nikolai M. Nagornyj und Michael M. Richter. Zhurnal Vychislitel'noj Matematiki i Matematicheskoj Fisiki 35/2*318-319 (1995) - Decidability results for classes of ordered abelian groups in logics with Ramsey-quantifiers.
In: Mostowski,M. & Krynicki,M. & Szczerba,L.W. (eds.): Quantifiers: Logics, Models and Computation II. Kluwer Academic Publishers Dordrecht 1995, p. 139-168 - Consistency conditions for classification in LIS/Cl.
Gemeinsam mit Elisabeth Wette-Roch und Michael M. Richter. In: W. Gaul, D. Pfeifer (eds.): From Data to Knowledge. Theoretical and Practical Aspects of Classification, Data Analysis, and Knowledge Organization. Springer-Verlag Heidelberg 1995, p. 433-441 - Wissensrepräsentation und Sacherschließung in Literaturdatenbanken. Herausforderungen, Realisierungen und Perspektiven am Beispiel der Mathematischen Logik
In: H. Havekost, H.-J. Wätjen (eds.): Aufbau und Erschließung begrifflicher Datenbanken. BIS-Berlag Oldenburg 1995, S. 47-67 - Universally Generic Finitely Generated Ordered Abelian Groups.
Gemeinsam mit Ingo Dahn. Order 11 (1994), p. 77-84 - Universally Generic Finitely Generated Ordered Abelian Groups
Gemeinsam mit Ingo Dahn. In: Proceedings of the 8th Easter Conference on Model Theory; Dahn,B. & Wolter,H. (Hrg.), Seminarbericht Nr. 110, Sektion Mathematik, Humboldt-Universität Berlin, 1990, S. 39-45 - Universally Generic Ordered Abelian Groups with Two Generators.
Gemeinsam mit Ingo Dahn. In: Proceedings of the 7th Easter Conference on Model Theory; Dahn,B. & Wolter,H. (Hrg.), Seminarbericht Nr. 104, Sektion Mathematik, Humboldt-Universität Berlin, 1989, S. 75-80 - On Characterizations of Quantifier Eliminable Ordered Abelian Groups.
In: Proceedings of the 7th Easter Conference on Model Theory; Dahn,B. & Wolter,H. (Hrg.), Seminarbericht Nr. 104, Sektion Mathematik, Humboldt-Universität Berlin, 1989, S. 137-172 - Elimination of Quantifiers for the Theory of Archimedean Ordered Divisible Groups in a Logic with Ramsey Quantifiers.
In: Models and Sets. Proceedings of the Logic Colloquium Aachen '83, Part 1; Müller,G.H. & Richter,M.M. (Hrg.), Lecture Notes in Math. 1103, Springer-Verlag Heidelberg & New York, 1984, S. 261-280
- Vorwort. Gemeinsam mit Dietrich von Engelhardt & Wolfgang Neuser. In: Dietrich von Engelhardt & Wolfgang Neuser & Wolfgang Lenski (Hrsg.): Sterben und Tod bei Hegel. Königshausen & Neumann, Würzburg, 2015, S. 7-8
- The Concept of Knowledge and its Impact on IT-Structures and Society. In: Matthias Horbach (Hrsg.): INFORMATIK 2013. Informatik angepasst an Mensch, Organisation und Umwelt. Lecture Notes in Informatics (LNI) – Proceedings Series of the Gesellschaft für Informatik (GI), Bd. P-220. Gesellschaft für Informatik, Bonn, 2013, S. 1171-1172
- Einleitung. Gemeinsam mit Klaus Wiegerling. In: Lenski, W. & Wiegerling, Klaus (Hrsg.): Wissenschaft und Natur. Studien zur Aktualität der Philosophiegeschichte. Wolfgang Neuser zum 60. Geburtstag. Traugott Bautz, Nordhausen, 2011, S. 13-28
- Einführung. Gemeinsam mit Wolfgang Neuser. In: Lenski, W. & Neuser, W. (Hrsg.): Bewusstsein zwischen Natur und Geist. Königshausen & Neumann, Würzburg, 2010, S. 7-9
- Einführung. Gemeinsam mit Wolfgang Neuser. In: Lenski, W. & Neuser, W. (Hrsg.): Logik als Grundlage von Wissenschaft. Universitätsverlag Winter, Heidelberg, 2010, S. 1-5
- Ein integrativer Ansatz für die Verarbeitung inhaltlichen Wissens in LIS.
Gemeinsam mit Elisabeth Wette-Roch. In: 20th Annual Conference of the Gesellschaft für Klassifikation e.V., Freiburg 1996, Abstract Volume - Ein planungsbasierter Ansatz für Intelligentes Information Retrieval in Textdatenbanken.
Gemeinsam mit César Carranza. In: 20th Annual Conference of the Gesellschaft für Klassifikation e.V., Freiburg 1996, Abstract Volume - Klassifikation und Transformation von Datenstrukturen in LIS.
In: 19th Annual Conference of the Gesellschaft für Klassifikation e.V., Basel 1995, Abstract Volume - Automatic classification of papers in mathematical logic.
Gemeinsam mit Chris Wetzler. Technical Paper, TU Kaiserslautern - Konsistenzbedingungen für die Klassifikation in Literaturdatenbanken.
In: 18th Annual Conference of the Gesellschaft für Klassifikation e.V., Oldenburg 1994, Abstract Volume p. 132-133 - Klassifikation und Dokumentation in der Mathematischen Logik.
In: 17th Annual Conference of the Gesellschaft für Klassifikation e.V., Kaiserslautern 1993, Abstract Volume p. 104 - Order indiscernibles for formulas and types in classes of ordered abelian groups.
Journal of Symbolic Logic 58 (1993), S. 746 - A frame representation of term reduction concepts.
Gemeinsam mit Dieter Hartmann und Elisabeth Wette-Roch. Berichte der Forschungsstelle Mathematische Logik der Heidelberger Akademie der Wissenschaften, Universität Kaiserslautern, 1993 - Order indiscernibles for formulas and types in classes of ordered abelian groups.
In: 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala 1991, Volume I: Logic, p. 37
Kontakt
Dr. Lenski, Wolfgang
Erwin-Schrödinger-Straße
Gebäude: 57
Raum: 576
67663 Kaiserslautern
Postfach: 3049
Tel.: +49 631 205-3355
Fax: +49 631 205-3821
E-Mail: lenski(at)rhrk.uni-kl.de