Tổng quan luận án

Luận án tiến sĩ The discursive coding of software: A study of the relationship between stability and change (Mã hóa diễn ngôn của phần mềm: Nghiên cứu về mối quan hệ giữa tính ổn định và sự biến đổi) do Jennifer Helene Maher thực hiện năm 2006 tại Đại học Bang Iowa (Iowa State University), chuyên ngành Tu từ học và Giao tiếp Chuyên nghiệp (Rhetoric and Professional Communication), dưới sự hướng dẫn của Giáo sư David Russell cùng hội đồng gồm Carl Herndl, Dorothy Winsor, Diane Price Herndl và David Schweingruber.

+-----------------------------------------------------------------------------------+
| THÔNG TIN TỔNG QUAN VỀ LUẬN ÁN                                                    |
+---------------------+-------------------------------------------------------------+
| Tác giả             | Jennifer Helene Maher                                       |
| Năm hoàn thành      | 2006                                                        |
| Cơ sở đào tạo       | Đại học Bang Iowa (Iowa State University), Hoa Kỳ            |
| Chuyên ngành        | Tu từ học và Giao tiếp Chuyên nghiệp                        |
| Giáo sư hướng dẫn   | David Russell (Chủ tịch Hội đồng)                           |
| Thành viên hội đồng | Carl Herndl, Dorothy Winsor, Diane Price Herndl, D. Schweingruber |
| Hướng tiếp cận      | Định tính (Phân tích diễn ngôn, thể loại và hệ tư tưởng)     |
+---------------------+-------------------------------------------------------------+

Tính cấp thiết và khoảng trống nghiên cứu

Trong xã hội mạng của Kỷ nguyên Thông tin, phần mềm hiện diện trong mọi hạ tầng vận hành đời sống thường nhật—từ điện thoại di động, máy tính cá nhân, thiết bị y tế đến tàu ngầm hạt nhân và hệ thống định vị quân sự. Tác giả dẫn chứng những hậu quả thực tế khi phần mềm gặp trục trặc: sự cố cấu hình thiết bị xạ trị Therac-25 giai đoạn 1985–1987 làm tử vong ít nhất 5 bệnh nhân (Leveson & Turner); lỗi phần mềm đồng hồ điều khiển khiến hệ thống tên lửa Patriot tại Dhahran không chặn được tên lửa Scud ngày 25/02/1991 làm 28 binh sĩ thiệt mạng (Báo cáo của Văn phòng Kế toán Chính phủ Hoa Kỳ - GAO); hay thiệt hại thường niên ước tính 59,5 tỷ USD đối với nền kinh tế Hoa Kỳ do lỗi phần mềm (Báo cáo Viện Tiêu chuẩn và Kỹ thuật Quốc gia - NIST năm 2002).

Tuy nhiên, phần mềm vận hành một cách vô hình sau các biểu tượng giao diện người dùng. Sự vô hình này trao cho văn hóa lập trình phần mềm (software programming culture) một quyền lực biểu tượng (symbolic power theo Pierre Bourdieu), khiến công chúng thừa nhận thế độc lập và tính trung lập kỹ thuật của người tạo ra mã lệnh mà không nhận thức được việc bản thân bị điều chỉnh (Lessig, 1999).

Khoảng trống nghiên cứu được chỉ ra:

  • Trong ngành tu từ học và giao tiếp chuyên nghiệp, các nghiên cứu truyền thống về phần mềm chủ yếu theo khuynh hướng công cụ luận (instrumentalist approach), tập trung vào cải thiện hiệu quả tài liệu hướng dẫn hoặc quy trình thiết kế lấy người dùng làm trung tâm nhằm tăng tính khả dụng.
  • Mặc dù đã có "bước chuyển phê phán" (critical turn) trong ngành nhằm khảo sát tính chính trị của công nghệ, các công trình trước đó chưa cung cấp một khung phân tích toàn diện để giải mã các thực hành diễn ngôn vĩ mô và vi mô mà qua đó các hệ tư tưởng được mã hóa vào phần mềm.

Mục tiêu và câu hỏi nghiên cứu

Mục tiêu của luận án là vạch trần tiến trình mã hóa diễn ngôn của phần mềm (discursive coding of software), phân tích cách thức các thực hành xã hội của văn hóa lập trình định hình ý nghĩa của phần mềm ngoài chuỗi ký tự nhị phân 0 và 1, qua đó mở ra khả năng tham gia và nâng cao năng lực số phê phán cho người dùng phổ thông.

Luận án xác lập 3 câu hỏi nghiên cứu (được đánh số theo văn bản):

  1. Các hệ tư tưởng chính trị nào được mã hóa trong phần mềm? (What are the political ideologies encoded in software?)
  2. Những thực hành xã hội nào giúp các hệ tư tưởng này vận hành trong văn hóa lập trình phần mềm? (What are the social practices by which these ideologies function in the software programming culture?)
  3. Các phương thức nào giúp người dùng phổ thông phát triển năng lực số mang tính phê phán đối với phần mềm? (What are the means by which laypersons can develop a critical literacy of software?)

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Mạng lưới diễn ngôn bằng ngôn ngữ tự nhiên, các văn bản quy phạm, tự sự lịch sử và thỏa thuận cấp phép bản quyền do các nhóm cộng đồng thuộc văn hóa lập trình phần mềm tạo ra.
  • Phạm vi thời gian: Giai đoạn 30 năm (1975–2005), mốc khởi đầu từ tháng 01/1975 khi bộ kit vi máy tính Altair 8800 ra mắt trên tạp chí Popular Electronics đến tháng 12/2005 xoay quanh thời điểm diễn ra vụ kiện bản quyền hệ điều hành UNIX giữa Tập đoàn SCO và IBM.
  • Phạm vi không gian/ngữ cảnh: Không định vị theo ranh giới địa lý vật lý hay một tổ chức đơn lẻ, mà xác định trong không gian mạng xã hội và các mạng lưới diễn ngôn của cộng đồng lập trình máy tính cá nhân.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu trước trong tài liệu

Tác giả phân loại và điểm lại các hướng tiếp cận học thuật liên quan:

  1. Nghiên cứu công cụ luận và tài liệu hướng dẫn kỹ thuật:

    • Các tác giả như Walters và Beck (1992), Barker (1990), Pierson cùng cộng sự, Liebhaber (2002), Selber cùng cộng sự (1996) tập trung vào cải thiện cấu trúc lập luận và tính thuyết phục của tài liệu hướng dẫn phần mềm.
    • Mirel và Olsen (1998) đề xuất đào tạo kỹ năng viết cho sinh viên kỹ thuật phần mềm để áp dụng quy trình thiết kế lấy người dùng làm trung tâm (user-centered design).
    • Tác giả luận án đánh giá: Các nghiên cứu này hữu ích về mặt chức năng nhưng bỏ qua bối cảnh kiến tạo ý nghĩa và hệ tư tưởng ẩn sau phần mềm.
  2. Bước chuyển phê phán trong nghiên cứu tu từ học và công nghệ:

    • Selfe và Selfe (1994) kêu gọi đào tạo sinh viên trở thành "nhà phê bình công nghệ" (technology critics) thông qua phân tích giao diện máy tính.
    • Lay (1996) khảo sát vai trò của bản sắc giới và sự khác biệt trong văn hóa lập trình.
    • Selber (2004) phân biệt giữa năng lực chức năng (functional literacy) và năng lực phê phán (critical literacy), khuyến khích sinh viên đặt dấu hỏi về các hệ tư tưởng nguyên trạng (status quo).
    • Johnson-Eilola (1997), Sullivan và Porter (1993, 1997), Salvo (2002), Herndl (1996), Ranney (2000) tiếp cận công nghệ thông qua các mối quan hệ quyền lực và bối cảnh thể chế.
  3. Lý thuyết phê phán phần mềm và nghiên cứu văn hóa:

    • Winner (1978, 1988) với luận điểm về tính quyết định xã hội đối với kỹ thuật (social determination of the technical).
    • Lessig (1999) với khái niệm "code talk" và luận điểm phần mềm quy định hành vi xã hội.
    • Manovich (2001) với "lý thuyết phần mềm" (software theory) và Fuller (2003) với "phê phán phần mềm" (software criticism).
    • Các khảo cứu văn hóa phần mềm theo địa lý hẹp: Wiegers (1996) tại Eastman Kodak; Raijlich cùng cộng sự (2001) về phần mềm di sản; Kling và Carmel về tính bá quyền của văn hóa phần mềm Hoa Kỳ.
    • Các nghiên cứu văn hóa dựa trên diễn ngôn trực tuyến: Baym (1995) về Usenet; Elliot và Scacchi (2003) về cộng đồng GNUe; Eric Raymond (1999) về văn hóa hacker.

Khoảng trống luận án giải quyết

Hầu hết các nghiên cứu tu từ học trước đây chỉ khảo sát ngữ cảnh ở mức cục bộ (lớp học, doanh nghiệp, một thể loại văn bản đơn lẻ). Luận án của Maher lấp đầy khoảng trống bằng cách xây dựng một mô hình nghiên cứu vĩ mô kết hợp vi mô về văn hóa lập trình phần mềm, xem xét sự tương tác biện chứng giữa cấu trúc ổn định và sự thay đổi hệ tư tưởng thông qua mạng lưới diễn ngôn trong suốt 3 thập kỷ.


Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết nền tảng

Luận án tiếp thu và phê phán ba lý thuyết thực hành (theories of practice) chủ đạo nhằm vượt qua thuyết nhị nguyên Descartes (khách quan luận / chủ quan luận, cấu trúc / tác nhân):

+----------------------------------------------------------------------------------------------------+
| CÁC LÝ THUYẾT THỰC HÀNH VÀ PHÊ PHÁN TRONG LUẬN ÁN                                                  |
+----------------------------+-----------------------------------+-----------------------------------+
| Lý thuyết                  | Khái niệm cốt lõi                 | Phê phán của luận án              |
+----------------------------+-----------------------------------+-----------------------------------+
| Thuyết cấu trúc hóa        | Tính hai mặt của cấu trúc         | Có nguy cơ làm mờ ranh giới hoặc  |
| (Structuration Theory -    | (Duality of structure); quy tắc   | thiên về chủ nghĩa chủ đích       |
| Anthony Giddens)           | và nguồn lực (Rules and resources)| (intentionalism, Thrift, Archer)  |
+----------------------------+-----------------------------------+-----------------------------------+
| Thuyết khớp nối            | Vòng tuần hoàn văn hóa (Circuit of| Thường thu hẹp vào hai khâu sản   |
| (Articulation Theory -     | culture); ngữ cảnh hóa triệt để   | xuất - tiêu dùng, bỏ quên khả     |
| Stuart Hall, Grossberg)    | (Radical contextualism)           | năng trao quyền (Grossberg)       |
+----------------------------+-----------------------------------+-----------------------------------+
| Chủ nghĩa cấu trúc kiến tạo| Trường (Field); Tập quán (Habitus)| Khái niệm habitus quá đồng nhất,  |
| (Constructivist            | Quyền lực biểu tượng              | hạn chế khả năng giải thích sự    |
| Structuralism - Bourdieu)  | (Symbolic power)                  | kháng cự và đổi mới (Butler, Sewell)|
+----------------------------+-----------------------------------+-----------------------------------+

Ngoài ra, luận án dựa trên lý thuyết diễn ngôn của Michel Foucault (1972, 1979) về "các hệ hình diễn ngôn" (discursive formations), "các quy tắc hình thành" (rules of formation), và bản chất quyền lực dạng mạng lưới (net-like organization).

Khung phân tích Không - Thời gian (The Spatio-Temporal Framework)

Để khắc phục khiếm khuyết của các lý thuyết trên, tác giả phát triển Khung không - thời gian:

  • Chiều thời gian (Time): Dựa trên lý thuyết định hướng thời gian của Emirbayer và Mische (1998), chia làm 3 chiều kích:
    1. Tính lặp lại (Iteration): Định hướng quá khứ, các thói quen và thực hành được tái kích hoạt thường nhật.
    2. Tính phóng chiếu (Projectivity): Định hướng tương lai, các tự sự và tưởng tượng về trật tự xã hội mới.
    3. Tính đánh giá thực hành (Practical evaluation): Định hướng hiện tại, các phán đoán ngữ cảnh và hành động cân nhắc chiến lược.
  • Chiều không gian (Space): Dựa trên định vị xã hội và lý thuyết về các bản sắc trong xã hội mạng của Manuel Castells (1997): Bản sắc hợp thức hóa (Legitimizing identity), Bản sắc kháng cự (Resistance identity), và Bản sắc dự án (Project identity).
+-----------------------------------------------------------------------------------+
| KHUNG PHÂN TÍCH KHÔNG - THỜI GIAN VÀ PHƯƠNG PHÁP NGHIÊN CỨU                       |
+--------------------+------------------------+-------------------------------------+
| Chiều kích thời gian| Khái niệm thao tác hóa | Phương pháp áp dụng                 |
+--------------------+------------------------+-------------------------------------+
| Quá khứ            | Tính lặp lại           | Phân tích lịch sử và tổng hợp       |
| (Iteration)        | (Iterative practices)  | tài liệu văn hóa lập trình          |
+--------------------+------------------------+-------------------------------------+
| Tương lai          | Tính phóng chiếu       | Phân tích hệ tư tưởng và phân tích  |
| (Projectivity)     | (Ideological narratives)| tự sự qua các văn bản tuyên ngôn    |
+--------------------+------------------------+-------------------------------------+
| Hiện tại           | Tính đánh giá thực hành| Phân tích thể loại                  |
| (Practical eval.)  | (Deliberative action)  | (Genre analysis) thỏa thuận cấp phép|
+--------------------+------------------------+-------------------------------------+

Phương pháp nghiên cứu và nguồn ngữ liệu

Luận án là công trình nghiên cứu hoàn toàn định tính, sử dụng các phương pháp:

  1. Phân tích lịch sử và tổng hợp tài liệu: Khảo sát các tài liệu lịch sử máy tính từ 1940 đến 2005.
  2. Phân tích hệ tư tưởng và tự sự: Phân tích các bức thư ngỏ, tuyên ngôn, bài viết của các cá nhân đại diện.
  3. Phân tích thể loại tu từ: Khảo sát cấu trúc văn bản pháp lý và giấy phép bản quyền.

Nguồn tư liệu thực tế được khảo sát:

  • Bản tin câu lạc bộ Homebrew Computer Club (từ số 1 ngày 05/03/1976 tại Menlo Park, California).
  • Bức thư ngỏ gửi người đam mê máy tính (An Open Letter to Hobbyists) của Bill Gates năm 1976.
  • Tuyên ngôn GNU (The GNU Manifesto) và các bài viết của Richard Stallman (1983, 1985, 2001).
  • Các bài viết, thông điệp diễn đàn và bài phát biểu của Linus Torvalds và Eric Raymond.
  • Tài liệu triết lý mã nguồn chia sẻ của Microsoft (Shared Source Philosophy, 2001–2002).
  • Hồ sơ pháp lý các vụ kiện: United States of America vs. Microsoft Corporation (1998) và Caldera Systems Inc. (SCO) vs. International Business Machines Corporation (IBM) (2003–2004).
  • Văn bản 3 loại giấy phép: Thỏa thuận cấp phép người dùng cuối (EULA), Giấy phép Công cộng GNU (GNU GPL), và Định nghĩa Mã nguồn Mở (OSD).

Nội dung chính theo từng chương

Chapter One: The Discursive Coding of Software

Chương mở đầu thiết lập cơ sở phân tích qua phần tóm lược lịch sử phần mềm qua các thập niên:

  • Thập niên 1940: Thẻ đục lỗ và băng giấy cho các phép tính toán học.
  • Thập niên 1950: Trình biên dịch, hợp ngữ, sự xuất hiện của ngôn ngữ cấp cao FORTRAN (IBM, 1957), ALGOL, hệ điều hành chia sẻ thời gian và sự ra đời của thuật ngữ "software" vào khoảng năm 1959 (Ceruzzi, 1998).
  • Thập niên 1960: Máy tính mini, giao diện người dùng đồ họa sơ khai, thuật ngữ "software engineering" (1968), và quyết định "tách rời" (unbundling) phần mềm khỏi phần cứng của IBM năm 1969 đưa phần mềm thành hàng hóa độc lập.
  • Thập niên 1970: Máy vi tính Altair 8800 (1975), Micro-Soft viết lại BASIC, các câu lạc bộ Homebrew Computer Club.
  • Thập niên 1980: MS-DOS (1980), máy tính IBM PC (1981), Stallman khởi xướng GNU Project (1983) và Free Software Foundation (1985), DNS (1984), giao thức HTTP và URL của Tim Berners-Lee (1989).
  • Thập niên 1990: Nhân Linux của Linus Torvalds (1991), hệ điều hành GNU/Linux (1992), Red Hat (1994), trình duyệt Netscape (1994) và Internet Explorer (1995), Phong trào Mã nguồn Mở (1997/1998), phán quyết chống độc quyền đối với Microsoft.

Chương này luận giải cách thức các đại diện văn hóa lập trình định nghĩa lại quyền tự do và quyền sở hữu trong xã hội mạng.

Chapter Two: Theory, Framework, and Methods

Chương này trình bày chi tiết ba nền tảng lý thuyết thực hành (Giddens, Hall/Grossberg, Bourdieu), phân tích các điểm hạn chế về mặt lý thuyết của từng trường phái, và xây dựng Khung phân tích Không - Thời gian. Tác giả xác lập phương pháp luận định tính, chỉ rõ tiêu chí lựa chọn ngữ liệu văn bản tương ứng với ba chiều kích thời gian: lặp lại (Chương 3), phóng chiếu (Chương 4 và 5), và đánh giá thực hành (Chương 6).

Chapter Three: The Reactivation of Iterative Social Practices

Chương Ba khảo sát các thực hành xã hội mang tính lặp lại định hình sự ổn định của văn hóa lập trình:

  • Lập trình như một dạng lao động tri thức (Knowledge Work): Lập trình viên thiết lập vị thế chuyên môn thông qua việc chia sẻ quy chuẩn mã nguồn và quy trình kỹ thuật.
  • Ngôn ngữ công cụ luận (Instrumentalist Talk): Thói quen thảo luận thuần túy về việc khắc phục lỗi kỹ thuật giúp che giấu tác động xã hội của mã lệnh.
  • Thực hành truyền bá (Discursive Practice of Evangelism): Việc sử dụng ngôn từ thuyết phục để vận động người dùng và lập trình viên khác chấp nhận một nền tảng hoặc ngôn ngữ lập trình.
  • Tạo lập sự khác biệt chức năng: Phân định giữa công nghệ phần mềm đã thiết lập vững chắc (established technology) và công nghệ phần mềm đột phá (disruptive technology), qua đó tái cấu trúc hành vi của toàn ngành.

Chapter Four: An Ideological Analysis Of the Encoding of Software

Chương Bốn phân tích 3 dòng tự sự hệ tư tưởng cạnh tranh thông qua các phát ngôn và bài viết của những nhân vật chủ chốt:

+----------------------------------------------------------------------------------------------------+
| BA DÒNG TỰ SỰ HỆ TƯ TƯỞNG TRONG VĂN HÓA LẬP TRÌNH PHẦN MỀM                                         |
+-------------------+----------------------------+--------------------------+------------------------+
| Tiêu chí          | Tự sự Doanh nghiệp         | Tự sự Lý tưởng           | Tự sự Thực dụng        |
|                   | (Entrepreneurial)          | (Idealistic)             | (Pragmatic)            |
+-------------------+----------------------------+--------------------------+------------------------+
| Đại diện tiêu biểu| Bill Gates (Microsoft)     | Richard Stallman (FSF)   | Linus Torvalds / E. Raymond|
+-------------------+----------------------------+--------------------------+------------------------+
| Quan niệm phần mềm| Hàng hóa kinh tế           | Đạo đức và quyền tự do   | Công cụ kỹ thuật       |
|                   | (Software as a Commodity)  | (Software as Morality)   | (Software as a Tool)   |
+-------------------+----------------------------+--------------------------+------------------------+
| Động lực phát triển| Lợi nhuận và chuyên nghiệp | Tự do chia sẻ tri thức và| Nâng cao chất lượng kỹ |
|                   | hóa người dùng sở thích    | quyền công dân kỹ thuật số| thuật và tính hiệu dụng|
+-------------------+----------------------------+--------------------------+------------------------+
  1. Tự sự Doanh nghiệp của Bill Gates: Khởi đầu từ An Open Letter to Hobbyists (1976), Gates biến việc sao chép phần mềm thành hành vi "trộm cắp", định hình phần mềm thành một tài sản độc quyền cần được bảo vệ bởi bản quyền nghiêm ngặt.
  2. Tự sự Lý tưởng của Richard Stallman: Xây dựng phong trào Phần mềm Tự do (Free Software Movement) dựa trên tiền đề đạo đức. Phần mềm độc quyền bị coi là phi đạo đức vì chia rẽ cộng đồng; quyền tự do truy cập, sửa đổi và phân phối mã nguồn là quyền tự do công dân.
  3. Tự sự Thực dụng của Linus Torvalds và Eric Raymond: Ra đời năm 1997/1998 nhằm tách biệt quy trình phát triển mã nguồn mở khỏi ngôn từ mang tính đạo đức của Stallman, nhìn nhận việc mở mã nguồn là mô hình phát triển phần mềm ưu việt giúp tạo ra công cụ tốt hơn.

Chapter Five: Imagining Software Through Identity in Competing Communities of the Software Programming Culture

Chương Năm mở rộng phân tích từ cấp độ tự sự cá nhân sang cấp độ bản sắc tập thể trong xã hội mạng theo khung lý thuyết của Castells:

  • Bản sắc Hợp thức hóa (Legitimizing Identity): Gắn liền với ngành công nghiệp phần mềm độc quyền (tiêu biểu là Microsoft), củng cố cấu trúc thị trường tư bản, quyền sở hữu trí tuệ truyền thống và quyền kiểm soát của doanh nghiệp.
  • Bản sắc Kháng cự (Resistance Identity): Đại diện bởi cộng đồng Phần mềm Tự do (FSF) và Mã nguồn Mở ban đầu, hình thành để chống lại sự thống trị của các tập đoàn phần mềm độc quyền.
  • Bản sắc Dự án (Project Identity): Cộng đồng Phần mềm Tự do định vị bản thân như một phong trào xã hội nhằm tái định hình toàn bộ chuẩn mực pháp lý và quan hệ sản xuất thông tin trong tương lai.

Chapter Six: Reconfiguring Copyright and Software Licensing Agreements as Strategic Deliberative Action

Chương Sáu phân tích thể loại (genre analysis) đối với các thỏa thuận cấp phép phần mềm như những hành động cân nhắc chiến lược ở hiện tại:

  • Thỏa thuận cấp phép vừa là phương tiện (medium), vừa là nguồn lực (resource) nhằm điều tiết việc sao chép, phân phối và sửa đổi mã nguồn.
  • EULA (End User License Agreement): Giấy phép độc quyền áp đặt các hạn chế tối đa lên người dùng, tước bỏ quyền kiểm tra và sửa đổi mã lệnh, coi người dùng là người mua quyền sử dụng có điều kiện.
  • GNU GPL (General Public License): Thiết lập cơ chế "Copyleft", sử dụng luật bản quyền để bảo đảm phần mềm và mọi phiên bản phái sinh luôn luôn tự do.
  • OSD (Open Source Definition): Hướng đến sự tích hợp linh hoạt với giới kinh doanh thương mại, cho phép phân phối lại mà không nhất thiết phải ràng buộc điều khoản copyleft nghiêm ngặt như GPL.

Chapter Seven: Toward a Digital Literacy

Chương kết luận tổng hợp các phát hiện để trả lời câu hỏi nghiên cứu thứ ba. Tác giả chỉ ra rằng hiểu biết về mã hóa diễn ngôn cho phép người dùng phổ thông vượt qua ranh giới khoảng cách số, chủ động chất vấn các hệ tư tưởng được cài cắm trong công cụ máy tính hàng ngày và phát triển năng lực số mang tính phê phán.


Kết quả và những đóng góp mới

Đóng góp về mặt lý luận

  1. Mở rộng phạm vi nghiên cứu tu từ học: Luận án chứng minh rằng phần mềm không chỉ là một công cụ kỹ thuật mà là một thực thể được mã hóa bằng diễn ngôn (discursively coded artifact), trong đó ngôn ngữ tự nhiên tham gia kiến tạo thực tại xã hội không kém gì ngôn ngữ máy.
  2. Xây dựng Khung phân tích Không - Thời gian: Kết hợp thành công các lý thuyết thực hành (Giddens, Bourdieu, Hall) với lý thuyết thời gian của Emirbayer & Mische và lý thuyết bản sắc xã hội mạng của Castells, cung cấp công cụ nghiên cứu đồng thời cấu trúc vĩ mô và hành động vi mô mà không rơi vào bẫy nhị nguyên.
  3. Lý thuyết hóa thể loại giấy phép: Luận án định vị giấy phép phần mềm (EULA, GPL, OSD) như một thể loại tu từ mang tính chiến lược, là không gian diễn ra sự giằng co giữa các ý thức hệ đối lập.

Đóng góp về mặt thực tiễn

  1. Nhận diện và hệ thống hóa 3 dòng ý thức hệ chính: Làm rõ cấu trúc lập luận của 3 luồng tư tưởng chi phối văn hóa lập trình: Hàng hóa (Gates), Đạo đức (Stallman), và Công cụ (Torvalds).
  2. Cung cấp cơ sở cho giáo dục năng lực số phê phán: Đưa ra phương pháp giải mã phần mềm giúp người học và người dùng thông thường nhìn thấy các giá trị chính trị ẩn giấu sau giao diện máy tính.

Kiến nghị và giải pháp đề xuất

  • Chuyển đổi định hướng đào tạo từ năng lực số chức năng (functional literacy - chỉ dạy cách sử dụng phần mềm hiệu quả) sang năng lực số phê phán (critical digital literacy).
  • Khuyến khích người dùng tham gia vào các cuộc đối thoại công cộng về bản quyền, giấy phép phần mềm và quyền kiểm soát hạ tầng số.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Luận án giới hạn ngữ liệu ở các văn bản công khai, tài liệu lưu trữ, thỏa thuận pháp lý và tuyên ngôn của các đại diện nổi bật trong cộng đồng lập trình máy tính cá nhân tại Hoa Kỳ giai đoạn 1975–2005; chưa khảo sát các tương tác giao tiếp trực tiếp tại các công ty phần mềm ngoài Hoa Kỳ. Vụ kiện SCO v. IBM tại thời điểm hoàn thành luận án (2006) vẫn chưa có phán quyết cuối cùng nên chỉ được phân tích như một sự kiện diễn ngôn đang tiếp diễn.
  • Hướng nghiên cứu tiếp: Mở rộng khung phân tích không - thời gian để khảo sát các thể loại diễn ngôn mới nổi trong văn hóa lập trình mạng ngang hàng, điện toán đám mây và các biến đổi pháp lý tiếp theo của luật sở hữu trí tuệ số.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên sâu cho các nhóm đối tượng:

  • Nghiên cứu sinh và giảng viên ngành Tu từ học, Giao tiếp Chuyên nghiệp và Xã hội học Truyền thông: Tham khảo khung lý thuyết Không - Thời gian (Chương 2) và phương pháp phân tích thể loại văn bản pháp lý (Chương 6).
  • Nhà nghiên cứu Khoa học và Công nghệ (STS) cùng Lý thuyết Phần mềm: Tham khảo bức tranh lịch sử tư tưởng và sự phân hóa bản sắc trong văn hóa lập trình PC (Chương 4 và 5).
  • Nhà hoạch định chính sách công nghệ và chuyên gia pháp lý: Tham khảo phân tích về tính hai mặt của giấy phép phần mềm EULA, GPL và OSD trong việc điều chỉnh quan hệ xã hội số.

Câu hỏi thường gặp

1. "Mã hóa diễn ngôn của phần mềm" (Discursive coding of software) theo định nghĩa của tác giả là gì?
Đó là quá trình mà thông qua ngôn ngữ tự nhiên và các thực hành văn hóa, những người phát triển và quản lý phần mềm gán ý nghĩa xã hội, chính trị và hệ tư tưởng cho mã lệnh máy tính. Phần mềm không chỉ điều khiển phần cứng bằng số 0 và 1 mà còn mã hóa các hành vi xã hội và định vị người dùng trong đời sống thực tế.

2. Điểm khác biệt cốt lõi giữa hệ tư tưởng của Bill Gates và Richard Stallman trong luận án là gì?
Bill Gates xây dựng tự sự doanh nghiệp, xem phần mềm là hàng hóa kinh tế gắn liền với quyền sở hữu độc quyền và lợi nhuận tài chính. Ngược lại, Richard Stallman xây dựng tự sự lý tưởng, xem phần mềm là vấn đề đạo đức và tự do xã hội, trong đó việc chia sẻ và sửa đổi mã nguồn là quyền công dân căn bản.

3. Tại sao phong trào Mã nguồn Mở (Open Source) lại tách ra khỏi phong trào Phần mềm Tự do (Free Software) vào năm 1997/1998?
Theo phân tích tại Chương 4, một nhóm lập trình viên không đồng tình với ngôn từ mang nặng tính đạo đức của Stallman. Họ chọn thuật ngữ "Open Source" để xây dựng một tự sự thực dụng, tập trung vào lợi ích kỹ thuật và hiệu quả kinh doanh nhằm thu hút các doanh nghiệp thương mại.

4. Khung phân tích Không - Thời gian của tác giả vận hành như thế nào?
Khung này tích hợp chiều thời gian gồm 3 định hướng (lặp lại ở quá khứ, phóng chiếu ở tương lai, đánh giá thực hành ở hiện tại) và chiều không gian gồm các vị thế bản sắc xã hội mạng (hợp thức hóa, kháng cự, dự án) để phân tích sự cân bằng giữa tính ổn định và sự biến đổi trong văn hóa phần mềm.

5. Giấy phép phần mềm (EULA, GPL, OSD) đóng vai trò gì trong văn hóa lập trình?
Theo Chương 6, các giấy phép này vận hành như thể loại tu từ mang tính chiến lược, vừa là phương tiện quy định quyền sao chép, phân phối và sửa đổi mã nguồn, vừa là nguồn lực để các cộng đồng lập trình áp đặt và hiện thực hóa các niềm tin hệ tư tưởng của mình lên người sử dụng.


Kết luận

Luận án của Jennifer Helene Maher đã giải mã thành công tính chất chính trị và hệ tư tưởng ẩn sau vẻ ngoài trung lập của công nghệ phần mềm. Bằng việc thiết lập Khung phân tích Không - Thời gian dựa trên các lý thuyết thực hành và phân tích mạng lưới diễn ngôn từ năm 1975 đến 2005, công trình đã làm sáng tỏ cơ chế giằng co giữa tính ổn định và sự thay đổi trong văn hóa lập trình. Luận án khẳng định rằng việc phát triển năng lực số mang tính phê phán là điều kiện tiên quyết để người dùng phổ thông không bị thụ động điều chỉnh bởi mã lệnh mà có thể chủ động tham gia vào xã hội kỹ thuật số.